{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:18Z","timestamp":1761611058371},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1996,6,1]],"date-time":"1996-06-01T00:00:00Z","timestamp":833587200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1007\/s001530050043","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:30:30Z","timestamp":1030260630000},"page":"225-261","source":"Crossref","is-referenced-by-count":7,"title":["Logic and probabilistic systems"],"prefix":"10.1007","volume":"35","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[]},{"given":"Giulia","family":"Simi","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Sorbi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"60350225153_CR1","volume-title":"Probability and Measure","author":"P. Billingsley","year":"1986","unstructured":"Billingsley, P.: Probability and Measure. New York: Wiley 1986"},{"key":"60350225153_CR2","doi-asserted-by":"crossref","first-page":"495","DOI":"10.2307\/2273587","volume":"47","author":"H. Gaifman","year":"1982","unstructured":"Gaifman, H., Snir, M.: Probabilities over rich languages, testing and randomness. J. Symb. Logic 47, 495\u2013548 (1982)","journal-title":"J. Symb. Logic"},{"key":"60350225153_CR3","doi-asserted-by":"crossref","first-page":"28","DOI":"10.2307\/2270580","volume":"30","author":"E.M. Gold","year":"1965","unstructured":"Gold, E.M.: Limiting recursion. J. Symb. Logic 30, 28\u201318 (1965)","journal-title":"J. Symb. Logic"},{"key":"60350225153_CR4","doi-asserted-by":"crossref","first-page":"515","DOI":"10.2307\/2271872","volume":"42","author":"P. H\u00e1jek","year":"1977","unstructured":"H\u00e1jek, P.: Experimental logics and \u03a0 3 0 theories. J. Symb. Logic 42, 515\u2013522 (1977)","journal-title":"J. Symb. Logic"},{"key":"60350225153_CR5","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF00262039","volume":"4","author":"R.G. Jeroslow","year":"1975","unstructured":"Jeroslow, R.G.: Experimental logics and \u03b4 2 0 theories. J. Philosoph. Logic 4, 253\u2013267 (1975)","journal-title":"J. Philosoph. Logic"},{"key":"60350225153_CR6","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1090\/S0002-9947-1968-0220595-7","volume":"131","author":"C.G. Jockush","year":"1968","unstructured":"Jockush, C.G.Jr.: Semirecursive sets and positive reducibility. Trans. Amer. Math. Soc. 131, 420\u2013436 (1968)","journal-title":"Trans. Amer. Math. Soc."},{"key":"60350225153_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF02414017","volume":"48","author":"R. Magari","year":"1974","unstructured":"Magari, R.: Su certe teorie non enumerabili. Ann. Mat. Pura Appl. 48, 119\u2013152 (1974)","journal-title":"Ann. Mat. Pura Appl."},{"key":"60350225153_CR8","doi-asserted-by":"crossref","first-page":"259","DOI":"10.4064\/fm-42-2-259-270","volume":"42","author":"A. Mostowski","year":"1957","unstructured":"Mostowski, A.: Examples of sets definable by means of two and three quantifiers. Fund. Math. 42, 259\u2013270 (1957)","journal-title":"Fund. Math."},{"key":"60350225153_CR9","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"H. Putnam","year":"1965","unstructured":"Putnam, H.: Trial and error predicates and the solution of a problem of mostowski. J. Symb. Logic 30, 49\u201357 (1965)","journal-title":"J. Symb. Logic"},{"key":"60350225153_CR10","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers","year":"1967","unstructured":"Rogers, H.Jr.: Theory of Recursive Functions and Effective Computability. New York: McGraw-Hill 1967"},{"key":"60350225153_CR11","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0049-237X(08)71672-0","volume-title":"Aspects of inductive logic","author":"D. Scott","year":"1966","unstructured":"Scott, D., Krauss, P.: Assigning probabilities to logical formulas. In: Hintikka, J., Suppes, P. (eds) Aspects of inductive logic, pp. 219\u2013264. Amsterdam: North-Holland 1966"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001530050043.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001530050043\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001530050043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:54:46Z","timestamp":1558626886000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s001530050043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["60350225153"],"URL":"https:\/\/doi.org\/10.1007\/s001530050043","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}