Abstract
In Part I, we formulate and examine some systems that have arisen in the study of the constructible hierarchy; we find numerous transitive models for them, among which are supertransitive models containing all ordinals that show that Devlin’s system BS lies strictly between Gandy’s systems PZ and BST’; and we use our models to show that BS fails to handle even the simplest rudimentary functions, and is thus inadequate for the use intended for it in Devlin’s treatise. In Part II we propose and study an enhancement of the underlying logic of these systems, build further models to show where the previous hierarchy of systems is preserved by our enhancement; and consider three systems that might serve Devlin’s purposes: one the enhancement of a version of BS, one a formulation of Gandy-Jensen set theory, and the third a subsystem common to those two. In Part III we give new proofs of results of Boffa by constructing three models in which, respectively, TCo, AxPair and AxSing fail; we give some sufficient conditions for a set not to belong to the rudimentary closure of another set, and thus answer a question of McAloon; and we comment on Gandy’s numerals and correct and sharpen other of his observations.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Maurice Boffa, Axiome et schéma de fondement dans le système de Zermelo, Bull. Acad. Polon. Sci. Sér. Math. Astron. Phys. 17 1969 113–5. MR 40 # 38.
Maurice Boffa, Axiom and scheme of foundation, Bull. Soc. Math. Belg. 22 (1970) 242–247; MR 45 #6618.
Maurice Boffa, L’axiome de la paire dans le système de Zermelo, Arch. Math. Logik Grundlagenforschung 15 (1972) 97–98. MR 47 #6486
Ch. Delhommé, Automaticité des ordinaux et des graphes homogènes (Automaticity of ordinals and of homogeneous graphs) C.R. Acad. Sci. Paris, Ser. I 339 pp. 5–10 (2004). (French with abridged English version)
K. Devlin, Constructibility, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1984.
A.J. Dodd, The Core Model, London Mathematical Society Lecture Note Series, 61, Cambridge University Press, 1982. MR 84a:03062.
J.E. Doner, A. Mostowski and A. Tarski, The elementary theory of well-ordering: a metamathematical study, in Logic Colloquium’ 77, eds. A. Macintyre, L. Pacholski, J. Paris, North-Holland Publishing Company, 1978, 1–54.
R.O. Gandy, Set-theoretic functions for elementary syntax, in Proceedings of Symposia in Pure Mathematics, 13, Part II, ed. T. Jech, American Mathematical Society, 1974, 103–126.
R.B. Jensen, Stufen der konstruktiblen Hierarchie. Habilitationsschrift, Bonn, 1968.
R.B. Jensen, The fine structure of the constructible hierarchy, with a section by Jack Silver, Annals of Mathematical Logic, 4 (1972) 229–308; erratum ibid 4 (1972) 443.
Jacqueline Lelong-Ferrand and Jean-Marie Arnaudiès, Cours de mathématiques, Tome 1, Algèbre, Editions Dunod, Paris; first edition 1971; often reprinted.
A.R.D. Mathias, Slim models of Zermelo Set Theory, Journal of Symbolic Logic 66 (2001) 487–496; MR 2003a:03076.
A.R.D. Mathias, The Strength of Mac Lane Set Theory, Annals of Pure and Applied Logic, 110 (2001) 107–234; MR 2002g:03105.
A.R.D. Mathias, A note on the schemes of replacement and collection, to appear in the Archive for Mathematical Logic.
A.R.D. Mathias, Rudimentary recursion, in preparation.
A.R.D. Mathias, Rudimentary forcing, in preparation.
A.R.D. Mathias, The banning of formal logic from a French national examination, in preparation.
R.M. Smullyan, Theory of formal systems, Ann. of Math. Studies, no, 3, Princeton University Press, Princeton N.J., 1940. MR 2, 66.
Johann Sonner, On sets with two elements, Arch. Math (Basel) 20 (1969) 225–7. MR 40 #36.
Lee Stanley, review of [Dev], Journal of Symbolic Logic 53 (1987) 864–8.
Andrzej M. Zarach, Replacement ↛ Collection, in Gödel’ 96, ed. Petr Hájek, (Springer Lecture Notes in Logic, Volume 6).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Birkhäuser Verlag Basel/Switzerland
About this chapter
Cite this chapter
Mathias, A.R.D. (2006). Weak Systems of Gandy, Jensen and Devlin. In: Bagaria, J., Todorcevic, S. (eds) Set Theory. Trends in Mathematics. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7692-9_6
Download citation
DOI: https://doi.org/10.1007/3-7643-7692-9_6
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7691-8
Online ISBN: 978-3-7643-7692-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)