{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,7]],"date-time":"2024-04-07T09:11:36Z","timestamp":1712481096419},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2011,6,3]],"date-time":"2011-06-03T00:00:00Z","timestamp":1307059200000},"content-version":"unspecified","delay-in-days":2,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2011,6]]},"abstract":"<jats:p>In this paper we summarize some results about sets in Frege structures. The resulting set theory is discussed with respect to its historical and philosophical significance. This includes the treatment of diagonalization in the presence of a universal set.<\/jats:p>","DOI":"10.1017\/s1755020310000407","type":"journal-article","created":{"date-parts":[[2011,6,3]],"date-time":"2011-06-03T14:16:28Z","timestamp":1307110588000},"page":"205-218","source":"Crossref","is-referenced-by-count":2,"title":["THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES"],"prefix":"10.1017","volume":"4","author":[{"given":"REINHARD","family":"KAHLE","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2011,6,3]]},"reference":[{"key":"S1755020310000407_ref22","unstructured":"Kahle R. (2007). The Applicative Realm, Vol. 40 of Textos de Matem\u00e1tica. Departamento de Matem\u00e1tica, Universidade de Coimbra. Habilitationsschrift at the Fakult\u00e4t f\u00fcr Informations- und Kommunikationswissenschaften, Coimbra: Universit\u00e4t T\u00fcbingen ."},{"key":"S1755020310000407_ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(01)00006-6"},{"key":"S1755020310000407_ref13","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198514770.001.0001","volume-title":"Set Theory with a Universal Set: Exploring an Untyped Universe","author":"Forster","year":"1995"},{"key":"S1755020310000407_ref14","doi-asserted-by":"publisher","DOI":"10.2307\/2275671"},{"key":"S1755020310000407_ref15","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054195000135"},{"key":"S1755020310000407_ref7","first-page":"87","volume-title":"Algebra and Logic, Vol. 450 of Lecture Notes in Mathematics","author":"Feferman","year":"1975"},{"key":"S1755020310000407_ref20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011954206722"},{"key":"S1755020310000407_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(95)00028-3"},{"key":"S1755020310000407_ref30","unstructured":"Strahm T. (1996). On the proof theory of applicative theories. PhD Thesis, Institut f\u00fcr Informatik und angewandte Mathematik, Universit\u00e4t Bern."},{"key":"S1755020310000407_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9"},{"key":"S1755020310000407_ref26","doi-asserted-by":"publisher","DOI":"10.1006\/hmat.2001.2332"},{"key":"S1755020310000407_ref23","first-page":"53","volume-title":"L\u00f3gica e Filosofia da Ci\u00eancia, Vol. 2 of Colec\u00e7\u00e3o Documenta","author":"Kahle","year":"2009"},{"key":"S1755020310000407_ref17","doi-asserted-by":"publisher","DOI":"10.2307\/2275630"},{"key":"S1755020310000407_ref31","volume-title":"Constructivism in Mathematics","volume":"2","author":"Troelstra","year":"1988"},{"key":"S1755020310000407_ref8","first-page":"159","volume-title":"Logic Colloquium 78","author":"Feferman","year":"1979"},{"key":"S1755020310000407_ref19","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.5.683"},{"key":"S1755020310000407_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71252-7"},{"key":"S1755020310000407_ref1","volume-title":"Proceedings of the Symposiums on Mathematical Logic in Oulo 1974 and in Helsinki 1975","author":"Aczel","year":"1977"},{"key":"S1755020310000407_ref4","doi-asserted-by":"publisher","DOI":"10.2307\/2275216"},{"key":"S1755020310000407_ref5","volume-title":"Logical Frameworks for Truth and Abstraction, Vol. 135 of Studies in Logic and the Foundations of Mathematics","author":"Cantini","year":"1996"},{"key":"S1755020310000407_ref6","first-page":"297","volume-title":"Proceedings of the Tarski Symposium, Vol. XXV of Proceedings of Symposia in Pure Mathematics","author":"Church","year":"1974"},{"key":"S1755020310000407_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90013-4"},{"key":"S1755020310000407_ref11","first-page":"197","volume-title":"Mathematical Logic and theoretical computer science","author":"Flagg","year":"1987"},{"key":"S1755020310000407_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90040-6"},{"key":"S1755020310000407_ref16","volume-title":"Logische Principien des mathematischen Denkens","author":"Hilbert","year":"1905"},{"key":"S1755020310000407_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF02391553"},{"key":"S1755020310000407_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(02)00040-4"},{"key":"S1755020310000407_ref25","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200710053"},{"key":"S1755020310000407_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4153-7"},{"key":"S1755020310000407_ref29","first-page":"1","volume-title":"\u03bb-Calculus and Computer Science Theory, Vol. 37 of Lecture Notes in Computer Science","author":"Scott","year":"1975"},{"key":"S1755020310000407_ref28","volume-title":"Set Theory over Classes, Vol. 106 of Dissertationes Mathematicae","author":"Oberschelp","year":"1973"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020310000407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,7]],"date-time":"2024-04-07T08:41:07Z","timestamp":1712479267000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020310000407\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["S1755020310000407"],"URL":"https:\/\/doi.org\/10.1017\/s1755020310000407","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6]]}}}