Volume 4, Issue 1-1, January 2015, Page: 1-5
Consistency Results in Topology and Homotopy Theory
Jaykov Foukzon, Israel Institute of Technology, Department of Mathematics, Haifa, Israel
Received: Oct. 10, 2014;       Accepted: Oct. 22, 2014;       Published: Oct. 31, 2014
DOI: 10.11648/j.pamj.s.2015040101.11      View  3114      Downloads  129
Abstract
Main results is: (1) let κ be an inaccessible cardinal and Hk is a set of all sets having hereditary size less then κ, then Con(ZFC + (V = Hk )), (2) there is a Lindelöf T3 indestructible space of pseudocharacter ≤N1 and size N2 in L.
Keywords
Inner Model of ZFC, Inaccessible Cardinal, Weakly Compact Cardinal, Lindelöf Space, Indestructible Space, N1 Borel Conjecture
To cite this article
Jaykov Foukzon, Consistency Results in Topology and Homotopy Theory, Pure and Applied Mathematics Journal. Special Issue: Modern Combinatorial Set Theory and Large Cardinal Properties. Vol. 4, No. 1-1, 2015, pp. 1-5. doi: 10.11648/j.pamj.s.2015040101.11
Reference
[1]
M. H. Löb, Solution of a Problem of Leon Henkin. The Journal of Symbolic Logic 20 (2): 115-118.(1955)
[2]
C. Smorynski, Handbook of mathematical logic, Edited by J. Barwise. North-Holland Publishing Company, 1977
[3]
T. Drucker,Perspectives on the History of Mathematical Logic, Boston : Birkhauser, 2008.
[4]
A. Marcja, C. Toffalori, A guide to classical and modern model theory. Springer, 2003, 371 p. Series: Trends in Logic, Vol.19.
[5]
F. W. Lawvere, C. Maurer, G. C. Wraith, Model theory and topoi, ISBN: 978-3-540-07164-8
[6]
D. Marker, Model theory: an introduction.(Graduate Texts in Mathematics, Vol. 217). Springer 2002.
[7]
J. Foukzon, Generalized Löb's Theorem. http://arxiv.org/abs/1301.5340
[8]
J. Foukzon, An posible generalization of the Löb's theorem. AMS Sectional Meeting AMS Special Session.Spring Western Sectional Meeting University of Colorado Boulder, Boulder, CO April 13-14, 2013. Meeting #1089 http://www.ams.org/amsmtgs/2210_abstracts/1089-03-60.pdf
[9]
E. Mendelson, Introduction to Mathematical Logic, Edition: 4th,1997. ISBN-10: 0412808307
[10]
U. R. Schmerl, Iterated Reflection Principles and the ω-Rule.The Journal of Symbolic Logic, Vol. 47, No. 4, pp.721-733.
[11]
S. Feferman, Transfinite recursive progressions of axiomatic theories. Journal of Symbolic Logic 27:259-316.
[12]
S. Feferman,Systems of predicative analysis. Journal of Symbolic Logic 29:1-30.
[13]
S. Feferman, Reflecting on incompleteness. Journal of Symbolic Logic 56:1-49.
[14]
S. Feferman, C. Spector, Incompleteness along paths in progressions of theories. Journal of Symbolic Logic 27:383--390.
[15]
Kreisel, G. and A. Lévy, 1968. Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 14:97-142.
[16]
P.Lindstrom, "First order predicate logic and generalized quantifiers", Theoria, Vol. 32, No.3. pp. 186-195, December 1966.
[17]
F.R. Drake," Set Theory: An Introduction to Large Cardinal", Studies in Logic and the Foundations of Mathematics,V.76. (1974). ISBN 0-444-105-35-2
[18]
A. Kanamori, "The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (2003) Springer. ISBN 3-540-00384-3
[19]
W.V.O.,Quine, "New Foundation for Mathematical Logic," American Mathematical Monthly, vol. 44, (1937) pp. 70-80.
[20]
R.B.Jensen,"On the consistency of a slight (?) modification of Quine's 'New Foundation',"Synthese, vol.19 (1969),250-263.
[21]
M.R. Holmes,"The axiom of anti-foundation in Jensen's 'New Foundations with ur-elements,' " Bulletin de la Societe Mathematique de la Belgique, Series B.
[22]
M.R. Holmes, "Elementary Set Theory with a Universal Set," vol.10 of Cahiers du Centre de Logique, Universite Catholique de Louvain Lovain-la-Neuve, Belgium, 1998.
[23]
M.R. Holmes, "The Usual Model Construction for NFU Preserves Information," Notre Dame J. Formal Logic, Volume 53, Number 4 (2012), 571-580.
[24]
A. Enayat, "Automorphisms, Mahlo Cardinals,and NFU," AMS Special Session. Nonstandard models of Arithmetic and Set Theory. January 15-16 2003,Baltimore, Maryland.
[25]
R.M.Solovay, R.D. Arthan, J.Harrison, "The cosistency strengths of NFUB," Front for the arXiv,math/9707207
[26]
A. Brovykin, "On order-types of models of arithmetic". Ph.D. thesis pp.109, University of Birmingham 2000. http://logic.pdmi.ras.ru/~andrey/phd.pdf A.Brovykin,"Order-types of models of arithmetic and a connection with arithmetic saturation", Lobachevskii J. Math., 2004, Volume 16, Pages 3--15
[27]
P.J. Cohen, "Set Theory and the Continuum Hypothesis". ISBN: 9780486469218
[28]
F.D. Tall, On the cardinality of Lindelöf spaces with points G_δ , Topology and its Applications 63 (1995), 21--38.
[29]
R.R. Dias,F. D. Tall, Instituto de Matemática e Estatística Universidade de São Paulo,15-th Galway Topology Colloquium, Oxford, 2012.
[30]
J. Foukzon, Strong Reflection Principles and Large Cardinal Axioms. Fall Southeastern Sectional Meeting University of Louisville, Louisville, KY October 5-6, 2013 (Saturday - Sunday) Meeting #1092
[31]
J. Foukzon, Generalized Lob's Theorem. Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology,IX Iberoamerican Conference on Topology and its Applications 24-27 June, 2014 Almeria, Spain. Book of abstracts, p.66.
[32]
J. Foukzon, Generalized Löb's Theorem. Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology, International Conference on Topology and its Applications, July 3-7, 2014, Nafpaktos, Greece. Book of abstracts, p.81.
[33]
J. Foukzon, Generalized Lob's Theorem. Strong Reflection Principles and Large Cardinal Axioms. Consistency Results in Topology. http://arxiv.org/abs/1301.5340
[34]
F.D. Tall, Consistency results in topology, II: forcing and large cardinals (extended version), Topology Atlas: http://at.yorku.ca/p/a/a/o/08.htm
[35]
C.Casacubertaa, D.Scevenelsb, J. H. Smith, Implications of large-cardinal principles in homotopical localization, Advances in Mathematics 197 (2005) 120 – 139
[36]
D.G. Quillen, Homotopical Algebra, Lecture Notes in Mathematics, vol. 43, Springer, Berlin Heidelberg New York, 1967.
[37]
E. Dror Farjoun, Cellular Spaces, Null Spaces and Homotopy Localization, Lecture Notes in Math. vol. 1622, Springer-Verlag, Berlin Heidelberg New York, 1996.
[38]
C. Casacuberta, J. L. Rodr´ıguez, and D. Scevenels, Singly generated radicals associated with varieties of groups, in: Proceedings of Groups St Andrews 1997 in Bath, London Math. Soc. Lecture Note Ser. vol. 260, Cambridge University Press, Cambridge, 1999, 202–210.
[39]
T. Jech, Set Theory, Academic Press, New York, 1978.
[40]
D. Maharam. Problem 167. In D. Mauldin, editor, The Scottish Book, pages 240–243. Birkhauser, Boston, 1981.
[41]
Farah, Ilijas, and B. Veličković. "Von Neumann's Problem and Large Cardinals." Bulletin of the London Mathematical Society 38.6 (2006).
[42]
J. D. Hamkins and D. E. Seabold, Well-founded Boolean ultrapowers as large cardinal embeddings. http://arxiv.org/abs/1206.6075v1
Browse journals by subject