Strong Reflection Principles and Large Cardinal Axioms
Pure and Applied Mathematics Journal
Volume 2, Issue 3, June 2013, Pages: 119-127
Received: May 18, 2013; Published: Jun. 10, 2013
Views 3404      Downloads 147
J. Foukzon, Israel Institute of Technology, Haifa, Israel
E. R Men’kova, LomonosovMoscowStateUniversity, Moscow, Russia
Article Tools
Follow on us
In this article an possible generalization of the Löb’s theorem is considered. We proved so-called uniform strong reflection principle corresponding to formal theories which has ω-models.Main result is: let κ be an inaccessible cardinal and H_κ is a set of all sets having hereditary size less than κ,then:"¬Con" ("ZFC+" ("V=" "H" _"κ" ) )
Löb'stheorem, Second Gödelincompleteness Theorem, Consistency, Formal System, Uniform Reflection Principles, Ω-Model Of ZFC, Standard Model Of ZFC, Inaccessible Cardinal, Weakly Compact Cardinal
To cite this article
J. Foukzon, E. R Men’kova, Strong Reflection Principles and Large Cardinal Axioms, Pure and Applied Mathematics Journal. Vol. 2, No. 3, 2013, pp. 119-127. doi: 10.11648/j.pamj.20130203.12
M. H. Löb, "Solution of a Problem of Leon Henkin," The Journal of Symbolic Logic, Vol. 20, No. 2, 1955, pp. 115-118.
C. Smorynski, "Handbook of Mathematical Logic," Edited by J. Barwise, North-Holland Publishing Company, 1977, p.1151.
T. Drucker, "Perspectives on the History of Mathematical Logic," Boston, Birkhauser, 2008, p.191.
A. Marcja, C. Toffalori, "A Guide to Classical and Modern Model Theory," Springer, 2003. 371 p. Series: Trends in Logic, Vol. 19.
F. W. Lawvere, C. Maurer, G. C. Wraith," Model Theory and Topoi." ISBN: 978-3-540-07164-8.
D. Marker, "Model Theory: an Introduction," Graduate Texts in Mathematics, Vol. 217, Springer 2002.
J.Foukzon,"GeneralizedLöb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms"
J. Foukzon, "An Possible Generalization of the Löb’s Theorem," AMS Sectional Meeting AMS Special Session. Spring Western Sectional Meeting University of Colorado Boulder, Boulder, CO 13-14 April 2013. Meeting # 1089.
P.Lindstrom, "First order predicate logic and generalized quantifiers",Theoria, Vol. 32, No.3. pp. 186-195, December 1966.
F.R. Drake," Set Theory: An Introduction to Large Car-dinal",Studies in Logic and the Foundations of Mathe-matics,V.76.(1974).ISBN 0-444-105-35-2
A.Kanamori, "The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings", (2003) Spriger ISBN 3-540-00384-3
A. Brovykin, "On order-types of models of arith-metic". Ph.D. thesis pp.109, University of Bir-mingham 2000.
W.V.O.,Quine, "New Foundation for Mathematical Logic,"American Mathematical Monthly,vol.44, {1937) pp.70-80.
R.B.Jensen,"On the consistency of a slight (?) mo-Dification of Quine’s‘New Foundation,’ "Synthese, vol.19 (1969),250-263.
M.R. Holmes,"The axiom of anti-foundation in Jensen’s ‘New Foundations with ur-elements,’" Bulletin de la SocieteMathematique de la Belgique, Series B
M.R. Holmes,"Elementary Set Theory with a Uni-Versal Set,"vol.10 of Cahiers du Centre de Logi- que, UniversiteCatholiquede Louvain Lovain-la-Neuve, Belgium,1998.
M.R. Holmes, "The Usual Model Construction for NFU Preserves Information," Notre Dame J. Formal Logic, Volume 53, Number 4 (2012), 571-580.
A. Enayat, "Automorphisms, MahloCardinals,and NFU," AMS Special Session. Nonstandard mod- els of Arithmetic and Set Theory. January 15-16 2003,Baltimore, Maryland.
R.M.Solovay,R.D.Arthan,J.Harrison,"The cosis-tency strengths of NFUB," Front for the arXiv, math/9707207 E.Mendelson, "Introduction to Mathematical Logic" ISBN-10:0412808307,ISBN-13:978-0412808302
Science Publishing Group
1 Rockefeller Plaza,
10th and 11th Floors,
New York, NY 10020
Tel: (001)347-983-5186