{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:34:31Z","timestamp":1728174871414},"reference-count":89,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":14164,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1975,6]]},"abstract":"This expository paper contains a list of 102 problems which, at the time of publication, are unsolved. These problems are distributed in four subdivisions of logic: model theory, proof theory and intuitionism, recursion theory, and set theory. They are written in the form of statements which we believe to be at least as likely as their negations. These should not be viewed as conjectures since, in some cases, we had no opinion as to which way the problem would go.<\/jats:p>In each case where we believe a problem did not originate with us, we made an effort to pinpoint a source. Often this was a difficult matter, based on subjective judgments. When we were unable to pinpoint a source, we left a question mark. No inference should be drawn concerning the beliefs of the originator of a problem as to which way it will go (lest the originator be us).<\/jats:p>The choice of these problems was based on five criteria. Firstly, we are only including problems which call for the truth value of a particular mathematical statement. A second criterion is the extent to which the concepts involved in the statements are concepts that are well known, well denned, and well understood, as well as having been extensively considered in the literature. A third criterion is the extent to which these problems have natural, simple and attractive formulations. A fourth criterion is the extent to which there is evidence that a real difficulty exists in finding a solution. Lastly and unavoidably, the extent to which these problems are connected with the author's research interests in mathematical logic.<\/jats:p>","DOI":"10.2307\/2271891","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T21:35:13Z","timestamp":1146951313000},"page":"113-129","source":"Crossref","is-referenced-by-count":129,"title":["One hundred and two problems in mathematical logic"],"prefix":"10.1017","volume":"40","author":[{"given":"Harvey","family":"Friedman","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200053664_ref044","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19680143002"},{"key":"S0022481200053664_ref042","unstructured":"Kunen K. , Inaccessibility properties of cardinals, Thesis, Stanford University, 1968, pp. 51\u201355."},{"key":"S0022481200053664_ref041","first-page":"307","article-title":"The axiom of choice and the class of hyperarithmetic functions","volume":"65","author":"Kreisel","year":"1962","journal-title":"Dutch Academy A"},{"key":"S0022481200053664_ref035","first-page":"293","volume":"38","author":"Jockusch","year":"1973","journal-title":"An application of \u03a340 determinacy to the degrees of unsolvability"},{"key":"S0022481200053664_ref031","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-19.1.1"},{"key":"S0022481200053664_ref028","first-page":"10","volume-title":"Recursive function theory newsletter","author":"Harrington","year":"1972"},{"key":"S0022481200053664_ref040","first-page":"23","article-title":"Quantification of number-theoretic functions","volume":"14","author":"Kleene","year":"1959","journal-title":"Compositie"},{"key":"S0022481200053664_ref029","volume-title":"Fundamenta Mathematicae","author":"Harrington"},{"key":"S0022481200053664_ref023","first-page":"5","volume-title":"The undecidable","author":"G\u00f6del","year":"1965"},{"key":"S0022481200053664_ref037","first-page":"66","volume":"36","author":"Jockusch","year":"1971","journal-title":"A minimal pair of \u03a010 classes"},{"key":"S0022481200053664_ref016","first-page":"405","volume":"38","author":"Friedman","year":"1973","journal-title":"Borel sets and hyperdegrees"},{"key":"S0022481200053664_ref045","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90007-1"},{"key":"S0022481200053664_ref020","volume-title":"Transactions of the American Mathematical Society","author":"Friedman"},{"key":"S0022481200053664_ref051","first-page":"216","volume":"36","author":"Malitz","year":"1971","journal-title":"Infinitary analogs of theorems from first order model theory"},{"key":"S0022481200053664_ref026","first-page":"22","volume":"39","author":"Gregory","year":"1974","journal-title":"Beth definability in infinitary languages"},{"key":"S0022481200053664_ref010","volume-title":"Why first order logic","author":"Friedman","year":"1970"},{"key":"S0022481200053664_ref032","unstructured":"Hutchinson J. , Models of set theories and their applications, Thesis, Stanford University, 1974."},{"key":"S0022481200053664_ref039","first-page":"82","volume-title":"Introduction to metamathematics","author":"Kleene","year":"1950"},{"key":"S0022481200053664_ref019","volume-title":"Fundamenta Mathematicae","author":"Friedman","year":"1974"},{"key":"S0022481200053664_ref008","volume-title":"Uncountable prepositional logic","author":"Friedman","year":"1968"},{"key":"S0022481200053664_ref083","doi-asserted-by":"publisher","DOI":"10.2307\/1970696"},{"key":"S0022481200053664_ref006","first-page":"303","volume-title":"Intuitionism and proof theory","author":"Feferman","year":"1970"},{"key":"S0022481200053664_ref007","unstructured":"Friedman H. , Subsystems of set theory and analysis, Chapter 2, Thesis, M.I.T., Cambridge, Mass., 1967."},{"key":"S0022481200053664_ref030","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1968-0244049-7"},{"key":"S0022481200053664_ref021","volume-title":"Proceedings of the American Mathematical Society","author":"Friedman"},{"key":"S0022481200053664_ref050","unstructured":"Magidor M. , Changing cofinality of cardinals (to appear)."},{"key":"S0022481200053664_ref036","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1970-0265154-X"},{"key":"S0022481200053664_ref001","first-page":"226","volume":"34","author":"Barwise","year":"1969","journal-title":"Infinitary logic and admissible sets"},{"key":"S0022481200053664_ref046","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1969.tb00356.x"},{"key":"S0022481200053664_ref009","first-page":"435","volume-title":"Intuitionism and proof theory","author":"Friedman","year":"1970"},{"key":"S0022481200053664_ref004","first-page":"70","volume-title":"The theory of models","author":"Ehrenfeucht","year":"1965"},{"key":"S0022481200053664_ref065","first-page":"661","volume":"37","author":"Paris","year":"1972","journal-title":"ZF \u22a6 \u03a340 determinateness"},{"key":"S0022481200053664_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066789"},{"key":"S0022481200053664_ref072","unstructured":"Sacks G. , Countable admissible ordinals and hyperdegrees (to appear)."},{"key":"S0022481200053664_ref025","unstructured":"Goodman N. , A realizability proof of my theorem, 02 1973 (unpublished)."},{"key":"S0022481200053664_ref002","doi-asserted-by":"publisher","DOI":"10.4064\/fm-79-2-101-106"},{"key":"S0022481200053664_ref003","volume-title":"Set theory and the continuum hypothesis","author":"Cohen","year":"1966"},{"key":"S0022481200053664_ref038","first-page":"157","volume-title":"Proceedings of the 4th ACM Symposium on Theory of Computing","author":"Jones","year":"1972"},{"key":"S0022481200053664_ref017","doi-asserted-by":"publisher","DOI":"10.1007\/BF02762675"},{"key":"S0022481200053664_ref047","doi-asserted-by":"publisher","DOI":"10.4064\/fm-57-3-253-272"},{"key":"S0022481200053664_ref013","volume-title":"On the \u0394 operation on semantic systems","author":"Friedman","year":"1972"},{"key":"S0022481200053664_ref014","first-page":"315","volume":"38","author":"Friedman","year":"1973","journal-title":"The consistency of classical set theory relative to a set theory with intuitionistic logic"},{"key":"S0022481200053664_ref012","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(71)90018-0"},{"key":"S0022481200053664_ref043","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-68-03513-8"},{"key":"S0022481200053664_ref034","first-page":"87","volume-title":"Mathematical logic and foundations of set theory","author":"Jensen","year":"1966"},{"key":"S0022481200053664_ref082","unstructured":"Soare R. , Automorphisms of the lattice of recursively enumerable sets, Part II: High degrees (to appear)."},{"key":"S0022481200053664_ref086","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1972-0286661-1"},{"key":"S0022481200053664_ref024","unstructured":"Goodman N. , Intuitionistic arithmetic as a theory of constructions, Thesis, Stanford University, 1968."},{"key":"S0022481200053664_ref073","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90004-6"},{"key":"S0022481200053664_ref022","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079683"},{"key":"S0022481200053664_ref048","first-page":"18","volume":"38","author":"MacIntyre","year":"1973","journal-title":"Minimal \u03b1-recursion theoretic degrees"},{"key":"S0022481200053664_ref049","unstructured":"Magidor M. , The first measurable cardinal can be strongly compact, 11 1972 (unpublished)."},{"key":"S0022481200053664_ref053","doi-asserted-by":"crossref","first-page":"287","DOI":"10.4064\/fm-66-3-287-291","article-title":"Measurable cardinals and analytic games","volume":"66","author":"Martin","year":"1970","journal-title":"Fundamenta Mathematicae"},{"key":"S0022481200053664_ref052","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1968-11995-0"},{"key":"S0022481200053664_ref088","first-page":"63","volume-title":"Mathematical logic and foundations of set theory","author":"Yates","year":"1966"},{"key":"S0022481200053664_ref054","volume-title":"A form of determinateness equivalent to the existence of 0#","author":"Martin","year":"1971"},{"key":"S0022481200053664_ref056","volume-title":"Analysis and \u03a340 games","author":"Martin","year":"1974"},{"key":"S0022481200053664_ref005","doi-asserted-by":"publisher","DOI":"10.4064\/fm-56-3-325-345"},{"key":"S0022481200053664_ref058","first-page":"258","volume":"33","author":"McKay","year":"1968","journal-title":"The decidability of certain intermediate prepositional logics"},{"key":"S0022481200053664_ref033","doi-asserted-by":"publisher","DOI":"10.1007\/BF00568059"},{"key":"S0022481200053664_ref061","doi-asserted-by":"publisher","DOI":"10.4064\/fm-49-2-205-232"},{"key":"S0022481200053664_ref059","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90017-4"},{"key":"S0022481200053664_ref060","first-page":"14","volume":"35","author":"Morley","year":"1970","journal-title":"The number of countable models"},{"key":"S0022481200053664_ref063","first-page":"206","volume-title":"Lecture Notes in Mathematics","volume":"337","author":"Myhill","year":"1973"},{"key":"S0022481200053664_ref064","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1973-0432416-X"},{"key":"S0022481200053664_ref078","doi-asserted-by":"publisher","DOI":"10.2307\/1970765"},{"key":"S0022481200053664_ref066","first-page":"5","article-title":"Changing measurable into accessible cardinals","volume":"68","author":"Prikry","year":"1970","journal-title":"Dissertationes Mathematicae. Rozprawy Matematyczne"},{"key":"S0022481200053664_ref067","unstructured":"Prikry K. , Unpublished manuscript, 06 1973."},{"key":"S0022481200053664_ref068","first-page":"87","volume":"1","author":"Rosser","year":"1936","journal-title":"Extensions of some theorems of G\u00f6del and Church"},{"key":"S0022481200053664_ref027","first-page":"132","volume-title":"The theory of models","author":"Hanf","year":"1965"},{"key":"S0022481200053664_ref062","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(70)90009-4"},{"key":"S0022481200053664_ref070","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71234-5"},{"key":"S0022481200053664_ref071","doi-asserted-by":"publisher","DOI":"10.1090\/pspum\/013.1\/0276079"},{"key":"S0022481200053664_ref018","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1974-0327521-9"},{"key":"S0022481200053664_ref074","unstructured":"Shelah S. , Generalized quantifiers and compact logic (to appear)."},{"key":"S0022481200053664_ref075","first-page":"25","volume-title":"Proceedings of a Symposium at Clermont Ferrand","author":"Shepherdson","year":"1961"},{"key":"S0022481200053664_ref057","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70846-2"},{"key":"S0022481200053664_ref076","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(72)90006-X"},{"key":"S0022481200053664_ref079","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1970.34.547"},{"key":"S0022481200053664_ref080","unstructured":"Simpson S. , Minimal covers and hyperdegrees (to appear)."},{"key":"S0022481200053664_ref081","volume-title":"Annals of Mathematics","author":"Soare"},{"key":"S0022481200053664_ref084","doi-asserted-by":"publisher","DOI":"10.2307\/1970860"},{"key":"S0022481200053664_ref085","doi-asserted-by":"publisher","DOI":"10.4064\/fm-41-2-203-271"},{"key":"S0022481200053664_ref011","doi-asserted-by":"publisher","DOI":"10.4064\/fm-72-1-79-95"},{"key":"S0022481200053664_ref087","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A decision method for elementary algebra and geometry","author":"Tarski","year":"1951"},{"key":"S0022481200053664_ref069","volume-title":"Annals of Mathematical Studies","author":"Sacks","year":"1963"},{"key":"S0022481200053664_ref089","first-page":"392","volume-title":"Lecture Notes in Mathematics","volume":"344","author":"Zucker","year":"1973"},{"key":"S0022481200053664_ref055","unstructured":"Martin D. A. , Projective sets and cardinal numbers: some questions related to the continuum problem (to appear)."},{"key":"S0022481200053664_ref077","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(71)90010-6"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200053664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T20:18:50Z","timestamp":1627330730000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200053664\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975,6]]},"references-count":89,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1975,6]]}},"alternative-id":["S0022481200053664"],"URL":"https:\/\/doi.org\/10.2307\/2271891","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975,6]]}}}