Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-18T08:56:54.732Z Has data issue: false hasContentIssue false
  • English
  • Français

ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

Published online by Cambridge University Press:  01 August 2018

GERHARD JÄGER  and
SILVIA STEILA
GERHARD JÄGER
Affiliation:
INSTITUT FÜR INFORMATIK, UNIVERSITÄT BERN NEUBRÜCKSTRASSE 10, CH-3012 BERN, SWITZERLANDE-mail:jaeger@inf.unibe.ch
SILVIA STEILA
Affiliation:
INSTITUT FÜR INFORMATIK, UNIVERSITÄT BERN NEUBRÜCKSTRASSE 10, CH-3012 BERN, SWITZERLANDE-mail:steila@inf.unibe.ch
Get access Rights & Permissions [Opens in a new window]

Abstract

Starting points of this article are fixed point axioms for set-bounded monotone Σ1 definable operators in the context of Kripke–Platek set theory $KP$. We analyze their relationship to other principles such as maximal iterations, bounded proper injections, and Σ1 subset-bounded separation. One of our main results states that in $KP + (V\, = \,L)$ all these principles are equivalent to Σ1 separation.

Keywords

03E3003F0303F25Kripke–Platek set theoryset-bounded Σ1 operatorsfixed point axiomsbounded proper Σ1 injectionsΣ1 separation and Σ1 subset-bounded separation
Type
Articles
Information
The Journal of Symbolic Logic , Volume 83 , Issue 2 , June 2018 , pp. 642 - 668
Copyright
Copyright © The Association for Symbolic Logic 2018 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Barwise, J., Admissible Sets and Structures, Perspectives in Mathematical Logic, vol. 7, Springer, Berlin, 1975.CrossRefGoogle Scholar
Buchholz, W., Feferman, S., Pohlers, W., and Sieg, W., Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, Lecture Notes in Mathematics, vol. 897, Springer, Berlin, 1981.CrossRefGoogle Scholar
Curi, G., On Tarski’s fixed point theorem. Proceedings of the American Mathematical Society, vol. 143 (2015), no. 10, pp. 4439–4455.CrossRefGoogle Scholar
Feferman, S., Operational set theory and small large cardinals. Information and Computation, vol. 207 (2009), pp. 971–979.CrossRefGoogle Scholar
Fitting, M., Notes on the mathematical aspects of Kripke’s theory of truth. Notre Dame Journal of Formal Logic, vol. 27 (1986), no. 1, pp. 75–88.CrossRefGoogle Scholar
Jäger, G., Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natürlichen Zahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 (1982), no. 3–4, pp. 121–139.CrossRefGoogle Scholar
Jäger, G., On Feferman’s operational set theory $OST$. Annals of Pure and Applied Logic, vol. 150 (2007), no. 1–3, pp. 19–39.CrossRefGoogle Scholar
Jäger, G. and Steila, S., Fixed points of Σ1 operators and related principles in Kripke-Platek environments. Part II: adding axiom $\left( \beta \right)$, 2017, in preparation.Google Scholar
Kunen, K., Set Theory. An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland, Amsterdam, 1980.Google Scholar
Mathias, A. R. D., The strength of Mac Lane set theory. Annals of Pure and Applied Logic, vol. 110 (2001), no. 1, pp. 107–234.CrossRefGoogle Scholar
Moschovakis, Y. N., Elementary Induction on Abstract Structures, Studies in Logic and the Foundations of Mathematics, vol. 77, North-Holland, Amsterdam, 1974. (Reprinted by Dover Publications, 2008).Google Scholar
Moschovakis, Y. N., On non-monotone inductive definability. Fundamenta Mathematicae, vol. 82 (1974), no. 1, pp. 39–83.CrossRefGoogle Scholar
Rathjen, M., Monotone inductive definitions in explicit mathematics, this Journal, vol. 61 (1996), no. 1, pp. 125–146.Google Scholar
Rathjen, M., Explicit mathematics with the monotone fixed point principle, this Journal, vol. 63 (1998), no. 2, pp. 509–542.Google Scholar
Rathjen, M., Explicit mathematics with the monotone fixed point principle. II: Models, this Journal, vol. 64 (1999), no. 2, pp. 517–550.Google Scholar
Rathjen, M., Relativized ordinal analysis: The case of power Kripke-Platek set theory. Annals of Pure and Applied Logic, vol. 165 (2014), no. 1, pp. 316–339.CrossRefGoogle Scholar
Takahashi, M., .${{\rm{\tilde{\Delta }}}_1}$-definability in set theory, Conference in Mathematical Logic – London ’70 (Hodges, W., editor), Lecture Notes in Mathematics, vol. 255, Springer, Berlin, 1972, pp. 281–304.CrossRefGoogle Scholar
Tarski, A., A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, vol. 5 (1955), no. 2, pp. 285–309.CrossRefGoogle Scholar
Welch, P. D., Weak systems of determinacy and arithmetical quasi-inductive definitions, this Journal, vol. 76 (2011), no. 2, pp. 418–436.Google Scholar