Abstract
Under the assumption that there exists an elementary embedding(henceforth abbreviated as and in particular under we prove a Coding Lemma for and find certain versions of it which are equivalent to strong regularity of cardinals below . We also prove that a stronger version of the Coding Lemma holds for a stationary set of ordinals below .
Similar content being viewed by others
References
Barwise, J.: Admissible Sets and Structures. Perspectives in Mathematical Logic. Springer-Verlag, Berlin Heidelberg, 1975
Becker, H.: More supercompact cardinals from AD. Handwritten Notes-7/24/90, 1990
Becker, H., Jackson, S.: Supercompactness within the projective hierarchy. Preprint, 1–12 (1998)
Appendix: Victoria Delfino Problems II. In: D.A~Martin A. Kechris and J. R Steel, (eds.), Cabal Seminar 81-85, volume 1333 of Lecture Notes in Mathematics, Springer-Verlag, 1988, p. 222
Devlin, K.J.: Constructibility. Perspectives in Mathematical Logic. Springer-Verlag, 1984
Jackson, S.: On λ-regular, cardinals. Handwritten Notes, 1990
Jech, T.: Set Theory. New York: Academic Press, 1978
Kunen, K.: Set Theory. Volume 102 of Studies in Logic and the Foundations of Mathematics. North Holland, 1980
Laver, R.: Implications between strong large cardinal axioms. Ann. Pure and App. Logic 90, 79–90 (1997)
Martin, D.A.: Infinite games. In: x, (ed.), Proceedings of the International Congress of Mathematicians, 271–273, 1978
Moschovakis, Y.N.: Descriptive Set Theory. Volume 100 of Studies in Logic and the Foundations of Mathematics. North Holland, 1980
Martin, D.A., Steel, J.: A proof of projective determinacy. J. Am. Math. Soc. 2, 71–125 (1989)
Rudominer., M.: Mouse sets. Ann. Pure Appl. Logic 87, 1–100 (1997)
Steel, J.R.: Scales in L(ℝ). In: Y. Moschovakis, D. Martin, and A. Kechris, (eds.), Cabal Seminar 79-81, volume 1019 of Lecture Notes in Mathematics, Springer Verlag, Berlin, 107–156 (1983)
Woodin, H.: An AD-like Axiom. Lecture notes written by George Kafkoulis, 1989
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): 03E55
Rights and permissions
About this article
Cite this article
Kafkoulis, G. Coding lemmata in L . Arch. Math. Logic 43, 193–213 (2004). https://doi.org/10.1007/s00153-003-0204-0
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-003-0204-0