Tzouvaras, Athanassios Typicality à la Russell in set theory. (English) Zbl 07556130 Notre Dame J. Formal Logic 63, No. 2, 185-196 (2022). MSC: 03E45 03E47 PDF BibTeX XML Cite \textit{A. Tzouvaras}, Notre Dame J. Formal Logic 63, No. 2, 185--196 (2022; Zbl 07556130) Full Text: DOI OpenURL
Jockwich, Santiago; Tarafder, Sourav; Venturi, Giorgio Ideal objects for set theory. (English) Zbl 07535473 J. Philos. Log. 51, No. 3, 583-602 (2022). MSC: 03-XX PDF BibTeX XML Cite \textit{S. Jockwich} et al., J. Philos. Log. 51, No. 3, 583--602 (2022; Zbl 07535473) Full Text: DOI OpenURL
Jockwich Martinez, Santiago Algebra-valued models for LP-set theory. (English) Zbl 1496.03199 Australas. J. Log. 18, No. 7, 657-687 (2021). MSC: 03E40 03E70 03B53 PDF BibTeX XML Cite \textit{S. Jockwich Martinez}, Australas. J. Log. 18, No. 7, 657--687 (2021; Zbl 1496.03199) Full Text: DOI OpenURL
Ozawa, Masanao Quantum set theory: transfer principle and De Morgan’s laws. (English) Zbl 1467.03016 Ann. Pure Appl. Logic 172, No. 4, Article ID 102938, 42 p. (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03E40 03E70 03E75 03G12 06C15 46L60 81P10 PDF BibTeX XML Cite \textit{M. Ozawa}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102938, 42 p. (2021; Zbl 1467.03016) Full Text: DOI arXiv OpenURL
Król, Jerzy; Asselmeyer-Maluga, Torsten Quantum mechanics, formalization and the cosmological constant problem. (English) Zbl 1490.81016 Found. Sci. 25, No. 4, 879-904 (2020). MSC: 81P10 03E35 83F05 PDF BibTeX XML Cite \textit{J. Król} and \textit{T. Asselmeyer-Maluga}, Found. Sci. 25, No. 4, 879--904 (2020; Zbl 1490.81016) Full Text: DOI OpenURL
Lin, Shou; Li, Jinjin; Cai, Zhangyong The establishment and development of star-Lindelöf spaces. (English) Zbl 1454.54002 Topology Appl. 283, Article ID 107341, 13 p. (2020). MSC: 54-02 54D20 54A25 PDF BibTeX XML Cite \textit{S. Lin} et al., Topology Appl. 283, Article ID 107341, 13 p. (2020; Zbl 1454.54002) Full Text: DOI OpenURL
Hodges, Wilfrid; Shelah, Saharon Naturality and definability. II. (English) Zbl 1446.03084 Cubo 21, No. 3, 9-27 (2019). MSC: 03E35 08A35 03E47 03C40 18A15 18A23 PDF BibTeX XML Cite \textit{W. Hodges} and \textit{S. Shelah}, Cubo 21, No. 3, 9--27 (2019; Zbl 1446.03084) Full Text: DOI arXiv OpenURL
Tachtsis, E. On the existence of permutations of infinite sets without fixed points in set theory without choice. (English) Zbl 1438.03016 Acta Math. Hung. 157, No. 2, 281-300 (2019). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E25 03E35 PDF BibTeX XML Cite \textit{E. Tachtsis}, Acta Math. Hung. 157, No. 2, 281--300 (2019; Zbl 1438.03016) Full Text: DOI OpenURL
Maddy, Penelope Set-theoretic foundations. (English) Zbl 1417.03086 Caicedo, Andrés Eduardo (ed.) et al., Foundations of mathematics. Logic at Harvard. Essays in honor of W. Hugh Woodin’s 60th birthday. Proceedings of the Logic at Harvard conference, Harvard University, Cambridge, MA, USA, March 27–29, 2015. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 690, 289-322 (2017). MSC: 03A05 00A30 03B30 18A15 PDF BibTeX XML Cite \textit{P. Maddy}, Contemp. Math. 690, 289--322 (2017; Zbl 1417.03086) Full Text: DOI Link OpenURL
Halimi, Brice Models as universes. (English) Zbl 1417.03236 Notre Dame J. Formal Logic 58, No. 1, 47-78 (2017). MSC: 03C62 03A05 03C55 03C70 03B45 PDF BibTeX XML Cite \textit{B. Halimi}, Notre Dame J. Formal Logic 58, No. 1, 47--78 (2017; Zbl 1417.03236) Full Text: DOI Link Backlinks: MO OpenURL
Kharazishvili, Alexander Absolute null subsets of the plane with bad orthogonal projections. (English) Zbl 1384.28003 Real Anal. Exch. 41(2015-2016), No. 1, 233-244 (2016). Reviewer: Ryszard Pawlak (Łódź) MSC: 28A05 PDF BibTeX XML Cite \textit{A. Kharazishvili}, Real Anal. Exch. 41, No. 1, 233--244 (2016; Zbl 1384.28003) Full Text: DOI Euclid OpenURL
Finkel, Olivier Infinite games specified by 2-tape automata. (English) Zbl 1422.03113 Ann. Pure Appl. Logic 167, No. 12, 1184-1212 (2016). MSC: 03E60 03E35 03D05 68Q45 68Q15 68Q17 03E15 PDF BibTeX XML Cite \textit{O. Finkel}, Ann. Pure Appl. Logic 167, No. 12, 1184--1212 (2016; Zbl 1422.03113) Full Text: DOI arXiv OpenURL
Pak, Hong Kyung On concept patterns of the number system. (Korean. English summary) Zbl 1401.97002 Proc. Jangjeon Math. Soc. 19, No. 1, 189-198 (2016). MSC: 97F50 01A05 PDF BibTeX XML Cite \textit{H. K. Pak}, Proc. Jangjeon Math. Soc. 19, No. 1, 189--198 (2016; Zbl 1401.97002) OpenURL
Boulabiar, Karim Lattice and algebra homomorphisms on \(C(X)\) in Zermelo-Fraenkel set theory. (English) Zbl 1420.54026 Quaest. Math. 38, No. 6, 835-839 (2015). MSC: 54C40 54C35 46E05 46E25 PDF BibTeX XML Cite \textit{K. Boulabiar}, Quaest. Math. 38, No. 6, 835--839 (2015; Zbl 1420.54026) Full Text: DOI OpenURL
Finkel, Olivier Incompleteness theorems, large cardinals, and automata over infinite words. (English) Zbl 1440.03056 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 222-233 (2015). MSC: 03D05 03E15 03E35 03E55 PDF BibTeX XML Cite \textit{O. Finkel}, Lect. Notes Comput. Sci. 9135, 222--233 (2015; Zbl 1440.03056) Full Text: DOI HAL OpenURL
Steel, John R. Gödel’s program. (English) Zbl 1358.03007 Kennedy, Juliette (ed.), Interpreting Gödel. Critical essays. Cambridge: Cambridge University Press (ISBN 978-1-107-00266-1/hbk; 978-0-511-75630-6/ebook). 153-179 (2014). MSC: 03-03 01A60 03E35 PDF BibTeX XML Cite \textit{J. R. Steel}, in: Interpreting Gödel. Critical essays. Cambridge: Cambridge University Press. 153--179 (2014; Zbl 1358.03007) OpenURL
Kennedy, Juliette Gödel’s 1946 Princeton bicentennial lecture: an appreciation. (English) Zbl 1358.03005 Kennedy, Juliette (ed.), Interpreting Gödel. Critical essays. Cambridge: Cambridge University Press (ISBN 978-1-107-00266-1/hbk; 978-0-511-75630-6/ebook). 109-130 (2014). MSC: 03-03 01A60 03E30 PDF BibTeX XML Cite \textit{J. Kennedy}, in: Interpreting Gödel. Critical essays. Cambridge: Cambridge University Press. 109--130 (2014; Zbl 1358.03005) OpenURL
Choban, Mitrofan M.; Kenderov, Petar S.; Revalski, Julian P. Variational principles in exotic topological spaces. (English) Zbl 1324.54052 C. R. Acad. Bulg. Sci. 67, No. 12, 1605-1610 (2014). Reviewer: Petar Popivanov (Sofia) MSC: 54E52 49J53 49J27 91A44 PDF BibTeX XML Cite \textit{M. M. Choban} et al., C. R. Acad. Bulg. Sci. 67, No. 12, 1605--1610 (2014; Zbl 1324.54052) OpenURL
Gitman, Victoria; Johnstone, Thomas A. On ground model definability. (English) Zbl 1358.03078 Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 205-227 (2014). MSC: 03E45 03E35 03E55 PDF BibTeX XML Cite \textit{V. Gitman} and \textit{T. A. Johnstone}, in: Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications. 205--227 (2014; Zbl 1358.03078) Full Text: arXiv OpenURL
Väänänen, Jouko Sort logic and foundations of mathematics. (English) Zbl 1321.03048 Chong, Chitat (ed.) et al., Infinity and truth. Based on talks given at the workshop, Singapore, July 25–29, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4571-03-6/hbk; 978-981-4571-05-0/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 25, 171-186 (2014). MSC: 03B60 PDF BibTeX XML Cite \textit{J. Väänänen}, Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 25, 171--186 (2014; Zbl 1321.03048) Full Text: DOI Link OpenURL
Farah, Ilijas Absoluteness, truth, and quotients. (English) Zbl 1321.03057 Chong, Chitat (ed.) et al., Infinity and truth. Based on talks given at the workshop, Singapore, July 25–29, 2011. Hackensack, NJ: World Scientific (ISBN 978-981-4571-03-6/hbk; 978-981-4571-05-0/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 25, 1-24 (2014). MSC: 03Exx 03F35 PDF BibTeX XML Cite \textit{I. Farah}, Lect. Notes Ser., Inst. Math. Sci., Natl. Univ. Singap. 25, 1--24 (2014; Zbl 1321.03057) Full Text: DOI OpenURL
Costin, Ovidiu; Friedman, Harvey M. Foundational aspects of singular integrals. (English) Zbl 1301.32006 J. Funct. Anal. 267, No. 12, 4732-4752 (2014). MSC: 32A55 03E15 03E25 03E35 03E75 PDF BibTeX XML Cite \textit{O. Costin} and \textit{H. M. Friedman}, J. Funct. Anal. 267, No. 12, 4732--4752 (2014; Zbl 1301.32006) Full Text: DOI arXiv OpenURL
Tzouvaras, Athanassios Large transitive models in local ZFC. (English) Zbl 1351.03046 Arch. Math. Logic 53, No. 3-4, 233-260 (2014). MSC: 03E70 03E30 03E55 03E65 PDF BibTeX XML Cite \textit{A. Tzouvaras}, Arch. Math. Logic 53, No. 3--4, 233--260 (2014; Zbl 1351.03046) Full Text: DOI OpenURL
Arrigoni, Tatiana; Friedman, Sy-David The hyperuniverse program. (English) Zbl 1307.03003 Bull. Symb. Log. 19, No. 1, 77-96 (2013). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03A05 03C52 03E30 03E65 03E55 PDF BibTeX XML Cite \textit{T. Arrigoni} and \textit{S.-D. Friedman}, Bull. Symb. Log. 19, No. 1, 77--96 (2013; Zbl 1307.03003) Full Text: DOI Euclid OpenURL
Verdee, Peter Strong, universal and provably non-trivial set theory by means of adaptive logic. (English) Zbl 1284.03240 Log. J. IGPL 21, No. 1, 108-125 (2013). MSC: 03E70 03B53 PDF BibTeX XML Cite \textit{P. Verdee}, Log. J. IGPL 21, No. 1, 108--125 (2013; Zbl 1284.03240) Full Text: DOI Link OpenURL
Smith, Richard J. Strictly convex norms, \(G_\delta\)-diagonals and non-Gruenhage spaces. (English) Zbl 1282.46015 Proc. Am. Math. Soc. 140, No. 9, 3117-3125 (2012). Reviewer: Barry Turett (Rochester) MSC: 46B03 46E15 54G12 PDF BibTeX XML Cite \textit{R. J. Smith}, Proc. Am. Math. Soc. 140, No. 9, 3117--3125 (2012; Zbl 1282.46015) Full Text: DOI OpenURL
Eklof, Paul C.; Fuchs, László; Shelah, Saharon Test groups for Whitehead groups. (English) Zbl 1273.20055 Rocky Mt. J. Math. 42, No. 6, 1863-1873 (2012). Reviewer: Lutz Strüngmann (Essen) MSC: 20K20 03E35 03E75 20K35 20K40 20A15 PDF BibTeX XML Cite \textit{P. C. Eklof} et al., Rocky Mt. J. Math. 42, No. 6, 1863--1873 (2012; Zbl 1273.20055) Full Text: DOI arXiv Euclid OpenURL
Keef, Patrick W. On subgroups of totally projective primary Abelian groups and direct sums of cyclic groups. (English) Zbl 1267.20075 Strüngmann, Lutz (ed.) et al., Groups and model theory. In honor of Rüdiger Göbel’s 70th birthday. Proceedings of the conference, conference center “Die Wolfsburg”, Mühlheim an der Ruhr, Germany, May 30–June 3, 2011. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-6923-9/pbk; 978-0-8218-9098-1/ebook). Contemporary Mathematics 576, 205-215 (2012). Reviewer: Todor Mollov (Plovdiv) MSC: 20K10 20K25 03E35 PDF BibTeX XML Cite \textit{P. W. Keef}, Contemp. Math. 576, 205--215 (2012; Zbl 1267.20075) OpenURL
Raghavan, Dilip A model with no strongly separable almost disjoint families. (English) Zbl 1270.03080 Isr. J. Math. 189, 39-53 (2012). Reviewer: Enrico Zoli (Firenze) MSC: 03E05 03E35 PDF BibTeX XML Cite \textit{D. Raghavan}, Isr. J. Math. 189, 39--53 (2012; Zbl 1270.03080) Full Text: DOI OpenURL
Kuznetsova, Yulia On continuity of measurable group representations and homomorphisms. (English) Zbl 1290.22002 Stud. Math. 210, No. 3, 197-208 (2012). Reviewer: Aubrey Wulfsohn (Coventry) MSC: 22D10 43A05 03E50 28A05 54H11 PDF BibTeX XML Cite \textit{Y. Kuznetsova}, Stud. Math. 210, No. 3, 197--208 (2012; Zbl 1290.22002) Full Text: DOI arXiv OpenURL
Sabok, Marcin Complexity of Ramsey null sets. (English) Zbl 1259.03062 Adv. Math. 230, No. 3, 1184-1195 (2012). Reviewer: Xianghui Shi (Beijing) MSC: 03E15 28A05 54H05 03E40 PDF BibTeX XML Cite \textit{M. Sabok}, Adv. Math. 230, No. 3, 1184--1195 (2012; Zbl 1259.03062) Full Text: DOI arXiv OpenURL
Dow, Alan; Vaughan, Jerry E. Ordinal remainders of classical \(\psi\)-spaces. (English) Zbl 1251.54027 Fundam. Math. 217, No. 1, 83-93 (2012). Reviewer: Vinod Kumar (Sirsa) MSC: 54D35 54C30 03E25 03E17 03E35 46E15 54D80 54G12 PDF BibTeX XML Cite \textit{A. Dow} and \textit{J. E. Vaughan}, Fundam. Math. 217, No. 1, 83--93 (2012; Zbl 1251.54027) Full Text: DOI OpenURL
Finkel, Olivier Some problems in automata theory which depend on the models of set theory. (English) Zbl 1232.68082 RAIRO, Theor. Inform. Appl. 45, No. 4, 383-397 (2011). MSC: 68Q45 68Q15 03D05 03D10 PDF BibTeX XML Cite \textit{O. Finkel}, RAIRO, Theor. Inform. Appl. 45, No. 4, 383--397 (2011; Zbl 1232.68082) Full Text: DOI arXiv EuDML OpenURL
Danchev, Peter V.; Keef, Patrick W. An application of set theory to \(\omega+n\)-totally \(p^{\omega+n}\)-projective primary Abelian groups. (English) Zbl 1247.20063 Mediterr. J. Math. 8, No. 4, 525-542 (2011). Reviewer: Lutz Strüngmann (Essen) MSC: 20K10 03E35 20K25 PDF BibTeX XML Cite \textit{P. V. Danchev} and \textit{P. W. Keef}, Mediterr. J. Math. 8, No. 4, 525--542 (2011; Zbl 1247.20063) Full Text: DOI OpenURL
Deiser, Oliver An axiomatic theory of well-orderings. (English) Zbl 1245.03071 Rev. Symb. Log. 4, No. 2, 186-204 (2011). Reviewer: Martin Weese (Potsdam) MSC: 03E30 PDF BibTeX XML Cite \textit{O. Deiser}, Rev. Symb. Log. 4, No. 2, 186--204 (2011; Zbl 1245.03071) Full Text: DOI OpenURL
Ferreirós, José On arbitrary sets and ZFC. (English) Zbl 1270.03088 Bull. Symb. Log. 17, No. 3, 361-393 (2011). MSC: 03E30 03E25 PDF BibTeX XML Cite \textit{J. Ferreirós}, Bull. Symb. Log. 17, No. 3, 361--393 (2011; Zbl 1270.03088) Full Text: DOI Link OpenURL
Schimmerling, Ernest A course on set theory. (English) Zbl 1227.03001 Cambridge: Cambridge University Press (ISBN 978-1-107-00817-5/hbk; 978-1-107-40048-1/pbk). x, 168 p. (2011). Reviewer: Martin Weese (Potsdam) MSC: 03-01 03E10 03E30 PDF BibTeX XML Cite \textit{E. Schimmerling}, A course on set theory. Cambridge: Cambridge University Press (2011; Zbl 1227.03001) OpenURL
Tzouvaras, Athanassios Erratum to: “Localizing the axioms”. (English) Zbl 1211.03066 Arch. Math. Logic 50, No. 3-4, 513 (2011). MSC: 03E70 03E30 03E35 03E55 PDF BibTeX XML Cite \textit{A. Tzouvaras}, Arch. Math. Logic 50, No. 3--4, 513 (2011; Zbl 1211.03066) Full Text: DOI OpenURL
Cascales, B.; Orihuela, J.; Tkachuk, V. V. Domination by second countable spaces and Lindelöf \(\Sigma \)-property. (English) Zbl 1213.54033 Topology Appl. 158, No. 2, 204-214 (2011). Reviewer: T. Thrivikraman (Nileshwar) MSC: 54D20 03E50 03E35 54C35 54E35 54A35 PDF BibTeX XML Cite \textit{B. Cascales} et al., Topology Appl. 158, No. 2, 204--214 (2011; Zbl 1213.54033) Full Text: DOI OpenURL
Carl, Merlin Alternative finestructural and computational approaches to constructibility. (English) Zbl 1280.03002 Bonn: Univ. Bonn, Mathematisch-Naturwissenschaftliche Fakultät (Diss.). 161 p. (2010). MSC: 03-02 03D10 03D60 03E45 03F15 PDF BibTeX XML Cite \textit{M. Carl}, Alternative finestructural and computational approaches to constructibility. Bonn: Univ. Bonn, Mathematisch-Naturwissenschaftliche Fakultät (Diss.) (2010; Zbl 1280.03002) Full Text: Link OpenURL
Finkel, Olivier Decision problems for recognizable languages of infinite pictures. (English) Zbl 1244.03052 Cégielski, Patrick (ed.), Studies in weak arithmetics. Stanford, CA: CSLI Publications; Créteil: Presses Universitaires du Pôle de Recherche et d’Enseignement Supérieur Paris-Est (ISBN 978-1-57586-602-4/pbk). CSLI Lecture Notes 196, 127-151 (2010). MSC: 03B25 03D05 03E15 03E35 68Q45 PDF BibTeX XML Cite \textit{O. Finkel}, CSLI Lect. Notes 196, 127--151 (2010; Zbl 1244.03052) Full Text: arXiv OpenURL
Gitman, Victoria; Hamkins, Joel David A natural model of the multiverse axioms. (English) Zbl 1214.03035 Notre Dame J. Formal Logic 51, No. 4, 475-484 (2010). MSC: 03E65 03C57 03C62 PDF BibTeX XML Cite \textit{V. Gitman} and \textit{J. D. Hamkins}, Notre Dame J. Formal Logic 51, No. 4, 475--484 (2010; Zbl 1214.03035) Full Text: DOI arXiv Backlinks: MO MO MO OpenURL
Tzouvaras, Athanassios Localizing the axioms. (English) Zbl 1192.03037 Arch. Math. Logic 49, No. 5, 571-601 (2010); erratum ibid. 50, No. 3-4, 513 (2011). MSC: 03E70 03E30 03E35 03E55 PDF BibTeX XML Cite \textit{A. Tzouvaras}, Arch. Math. Logic 49, No. 5, 571--601 (2010; Zbl 1192.03037) Full Text: DOI OpenURL
Holz, M.; Steffens, K.; Weitz, E. Introduction to cardinal arithmetic. Reprint of the 1999 original. (English) Zbl 1187.03037 Modern Birkhäuser Classics. Basel: Birkhäuser (ISBN 978-3-0346-0327-0/pbk). vi, 304 p. (2010). Reviewer: Lorenz Halbeisen (Bern) MSC: 03E10 03E04 03-02 PDF BibTeX XML Cite \textit{M. Holz} et al., Introduction to cardinal arithmetic. Reprint of the 1999 original. Basel: Birkhäuser (2010; Zbl 1187.03037) OpenURL
Tzouvaras, A. Combinatorics related to NF consistency. (English) Zbl 1203.03080 Crabbé, Marcel (ed.) et al., Proceedings of the 70th anniversary NF meeting in Cambridge. Commemorating the 70th year of the publication of Quine’s seminal paper “New foundations for mathematical logic”, Cambridge, UK, Mai 26–27, 2007. Louvain-la-Neuve: Academia-Bruylant (ISBN 978-2-87209-937-5/pbk). Cahiers du Centre de Logique 16, 109-136 (2009). MSC: 03E70 03E35 PDF BibTeX XML Cite \textit{A. Tzouvaras}, Cah. Cent. Log. 16, 109--136 (2009; Zbl 1203.03080) OpenURL
di Biase, Fausto True or false? A case in the study of harmonic functions. (English) Zbl 1193.31001 Topoi 28, No. 2, 143-160 (2009). MSC: 31-03 00A30 01A20 01A55 01A60 03E25 31A05 31A20 PDF BibTeX XML Cite \textit{F. di Biase}, Topoi 28, No. 2, 143--160 (2009; Zbl 1193.31001) Full Text: DOI OpenURL
Finkel, Olivier The complexity of infinite computations in models of set theory. (English) Zbl 1191.03034 Log. Methods Comput. Sci. 5, No. 4, Paper No. 4, 19 p. (2009). MSC: 03E15 03D05 03E35 PDF BibTeX XML Cite \textit{O. Finkel}, Log. Methods Comput. Sci. 5, No. 4, Paper No. 4, 19~p. (2009; Zbl 1191.03034) Full Text: DOI arXiv OpenURL
Wieczorek, Tina On foundational frames for formal modelling. Sets, \(\varepsilon\)-sets and a model of conception. (English) Zbl 1177.03058 Aachen: Shaker Verlag; Berlin: TU Berlin (Diss.) (ISBN 978-3-8322-8438-1/pbk). v, 143 p. (2009). MSC: 03E75 03B70 03-02 PDF BibTeX XML Cite \textit{T. Wieczorek}, On foundational frames for formal modelling. Sets, \(\varepsilon\)-sets and a model of conception. Aachen: Shaker Verlag; Berlin: TU Berlin (Diss.) (2009; Zbl 1177.03058) OpenURL
Strüngmann, Lutz On endomorphism rings of \(B_1\)-groups that are not \(B_2\)-groups. (English) Zbl 1187.20063 Proc. Am. Math. Soc. 137, No. 11, 3657-3668 (2009). Reviewer: Simion Sorin Breaz (Cluj-Napoca) MSC: 20K20 20K30 03E35 20K27 16S50 PDF BibTeX XML Cite \textit{L. Strüngmann}, Proc. Am. Math. Soc. 137, No. 11, 3657--3668 (2009; Zbl 1187.20063) Full Text: DOI OpenURL
Mildenberger, Heike; Shelah, Saharon Specializing Aronszajn trees and preserving some weak diamonds. (English) Zbl 1183.03033 J. Appl. Anal. 15, No. 1, 47-78 (2009). MSC: 03E05 03E17 03E35 PDF BibTeX XML Cite \textit{H. Mildenberger} and \textit{S. Shelah}, J. Appl. Anal. 15, No. 1, 47--78 (2009; Zbl 1183.03033) Full Text: DOI OpenURL
Park, Wi-Gon A note on extension of ZFC set theory associated with some sets. (English) Zbl 1183.03045 Far East J. Math. Sci. (FJMS) 34, No. 1, 129-140 (2009). MSC: 03E70 03E25 03E65 PDF BibTeX XML Cite \textit{W.-G. Park}, Far East J. Math. Sci. (FJMS) 34, No. 1, 129--140 (2009; Zbl 1183.03045) Full Text: Link OpenURL
Grue, Klaus A gentle introduction to map theory. (English) Zbl 1227.03067 Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 87-110 (2008). MSC: 03E70 PDF BibTeX XML Cite \textit{K. Grue}, Stud. Log. (Lond.) 14, 87--110 (2008; Zbl 1227.03067) OpenURL
Banks, J.; Cairns, G.; Jackson, M.; Jerie, M.; Nikolayevsky, Y.; Poole, T. On the definition of topology – a cautionary tale. (English) Zbl 1187.03052 Aust. Math. Soc. Gaz. 35, No. 3, 195-202 (2008). Reviewer: T. Thrivikraman (Nileshwar) MSC: 03H05 03E70 54A05 PDF BibTeX XML Cite \textit{J. Banks} et al., Aust. Math. Soc. Gaz. 35, No. 3, 195--202 (2008; Zbl 1187.03052) OpenURL
Incurvati, Luca Too naturalist and not naturalist enough: Reply to Horsten. (English) Zbl 1151.03002 Erkenntnis 69, No. 2, 261-274 (2008). MSC: 03A05 00A30 03E99 PDF BibTeX XML Cite \textit{L. Incurvati}, Erkenntnis 69, No. 2, 261--274 (2008; Zbl 1151.03002) Full Text: DOI OpenURL
Mycielski, Jan Observations on truth, consistency and lengths of proofs. (English) Zbl 1167.03005 Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 278-288 (2008). Reviewer: Chris Pincock (West Lafayette) MSC: 03A05 00A30 03E35 03F20 PDF BibTeX XML Cite \textit{J. Mycielski}, in: Andrzej Mostowski and foundational studies. Amsterdam: IOS Press. 278--288 (2008; Zbl 1167.03005) OpenURL
Zapletal, Jindřich Forcing idealized. (English) Zbl 1140.03030 Cambridge Tracts in Mathematics 174. Cambridge: Cambridge University Press (ISBN 978-0-521-87426-7/hbk). 314 p. (2008). Reviewer: Tomasz Natkaniec (Gdańsk) MSC: 03E15 03E40 03-02 PDF BibTeX XML Cite \textit{J. Zapletal}, Forcing idealized. Cambridge: Cambridge University Press (2008; Zbl 1140.03030) Backlinks: MO OpenURL
Shelah, S.; Strüngmann, L. The \(p\)-rank of \(\text{Ext}_{\mathbb Z}(G,\mathbb Z)\) in certain models of ZFC. (Russian, English) Zbl 1164.03014 Algebra Logika 46, No. 3, 369-397 (2007); translation in Algebra Logic 46, No. 3, 200-215 (2007). MSC: 03E35 03E75 20K20 20K35 PDF BibTeX XML Cite \textit{S. Shelah} and \textit{L. Strüngmann}, Algebra Logika 46, No. 3, 369--397 (2007; Zbl 1164.03014); translation in Algebra Logic 46, No. 3, 200--215 (2007) Full Text: DOI arXiv OpenURL
Elekes, Márton; Tóth, Árpád Covering locally compact groups by less than \(2^\omega\) many translates of a compact nullset. (English) Zbl 1120.22002 Fundam. Math. 193, No. 3, 243-257 (2007). Reviewer: Bernd O. Stratmann (St. Andrews) MSC: 22B05 28C10 03E17 28E15 03E35 22D05 22E15 PDF BibTeX XML Cite \textit{M. Elekes} and \textit{Á. Tóth}, Fundam. Math. 193, No. 3, 243--257 (2007; Zbl 1120.22002) Full Text: DOI arXiv OpenURL
Goldstern, Martin First-order predicate logic and Gödel’s completeness theorem. (Prädikatenlogik erster Stufe und der Gödelsche Vollständigkeitssatz.) (German) Zbl 1161.03001 Int. Math. Nachr., Wien 202, 1-14 (2006). Reviewer: Klaus D. Kiermeier (Berlin) MSC: 03-01 PDF BibTeX XML Cite \textit{M. Goldstern}, Int. Math. Nachr., Wien 202, 1--14 (2006; Zbl 1161.03001) OpenURL
Wiedijk, Freek Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. (English) Zbl 1114.03007 J. Appl. Log. 4, No. 4, 622-645 (2006). MSC: 03B35 68T15 PDF BibTeX XML Cite \textit{F. Wiedijk}, J. Appl. Log. 4, No. 4, 622--645 (2006; Zbl 1114.03007) Full Text: DOI OpenURL
Bellé, D.; Parlamento, F. Truth in \(V\) for \(\exists^*\forall\forall\)-sentences is decidable. (English) Zbl 1109.03057 J. Symb. Log. 71, No. 4, 1200-1222 (2006). MSC: 03E30 03B25 03C62 PDF BibTeX XML Cite \textit{D. Bellé} and \textit{F. Parlamento}, J. Symb. Log. 71, No. 4, 1200--1222 (2006; Zbl 1109.03057) Full Text: DOI OpenURL
Hrbacek, Karel Nonstandard objects in set theory. (English) Zbl 1121.03072 Cutland, Nigel J. (ed.) et al., Nonstandard methods and applications in mathematics. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-291-4/hbk; 1-56881-292-2/pbk). Lecture Notes in Logic 25, 80-120 (2006). Reviewer: Kiyoshi Iseki (Osaka) MSC: 03E70 03H05 PDF BibTeX XML Cite \textit{K. Hrbacek}, Lect. Notes Log. 25, 80--120 (2006; Zbl 1121.03072) OpenURL
Juhász, István; Soukup, Lajos; Szentmiklóssy, Zoltán \(\mathcal D\)-forced spaces: A new approach to resolvability. (English) Zbl 1101.54038 Topology Appl. 153, No. 11, 1800-1824 (2006). Reviewer: Paul J. Szeptycki (Toronto) MSC: 54G20 54A25 54A35 03E35 PDF BibTeX XML Cite \textit{I. Juhász} et al., Topology Appl. 153, No. 11, 1800--1824 (2006; Zbl 1101.54038) Full Text: DOI arXiv OpenURL
Herden, Daniel Uniquely transitive \(R\)-modules. (English) Zbl 1200.20035 Duisburg-Essen: Univ. Duisburg-Essen, Fachbereich für Mathematik (Diss.). 108 p. (2005). MSC: 20K20 20K30 20-02 03E55 03E75 13C05 PDF BibTeX XML Cite \textit{D. Herden}, Uniquely transitive \(R\)-modules. Duisburg-Essen: Univ. Duisburg-Essen, Fachbereich für Mathematik (Diss.) (2005; Zbl 1200.20035) Full Text: Link OpenURL
Miller, Arnold W. On relatively analytic and Borel subsets. (English) Zbl 1083.03045 J. Symb. Log. 70, No. 1, 346-352 (2005). Reviewer: Tomasz Natkaniec (Gdańsk) MSC: 03E15 03E17 03E35 03E50 PDF BibTeX XML Cite \textit{A. W. Miller}, J. Symb. Log. 70, No. 1, 346--352 (2005; Zbl 1083.03045) Full Text: DOI arXiv OpenURL
Balogh, Zoltan; Gruenhage, Gary Two more perfectly normal non-metrizable manifolds. (English) Zbl 1074.54007 Topology Appl. 151, No. 1-3, 260-272 (2005). Reviewer: Takemi Mizokami (Joetsu) MSC: 54D15 54A35 57N99 54E20 PDF BibTeX XML Cite \textit{Z. Balogh} and \textit{G. Gruenhage}, Topology Appl. 151, No. 1--3, 260--272 (2005; Zbl 1074.54007) Full Text: DOI OpenURL
Mycielski, Jan Russell’s paradox and Hilbert’s (much forgotten) view of set theory. (English) Zbl 1060.03017 Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 533-547 (2004). MSC: 03A05 03E35 03-03 PDF BibTeX XML Cite \textit{J. Mycielski}, De Gruyter Ser. Log. Appl. 6, 533--547 (2004; Zbl 1060.03017) OpenURL
Król, Jerzy Background independence in quantum gravity and forcing constructions. (English) Zbl 1063.83008 Found. Phys. 34, No. 3, 361-403 (2004). MSC: 83C45 03C25 03E40 81V17 81T13 57R55 03H10 PDF BibTeX XML Cite \textit{J. Król}, Found. Phys. 34, No. 3, 361--403 (2004; Zbl 1063.83008) Full Text: DOI OpenURL
Jané, Ignacio; Uzquiano, Gabriel Well- and non-well-founded Fregean extensions. (English) Zbl 1058.03054 J. Philos. Log. 33, No. 5, 437-465 (2004). MSC: 03E70 PDF BibTeX XML Cite \textit{I. Jané} and \textit{G. Uzquiano}, J. Philos. Log. 33, No. 5, 437--465 (2004; Zbl 1058.03054) Full Text: DOI OpenURL
da Costa, N. C. A.; Doria, F. A. On set theory as a foundation for computer science. (English) Zbl 1051.03043 Bull. Sect. Log., Univ. Łódź, Dep. Log. 33, No. 1, 33-40 (2004). MSC: 03E75 03B70 03D20 03D10 03D35 PDF BibTeX XML Cite \textit{N. C. A. da Costa} and \textit{F. A. Doria}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 33, No. 1, 33--40 (2004; Zbl 1051.03043) OpenURL
Shelah, Saharon; Fuchs, Laszlo On a non-vanishing Ext. (English) Zbl 1073.13005 Rend. Semin. Mat. Univ. Padova 109, 235-239 (2003). Reviewer: Yoichi Aoyama (Shimane) MSC: 13C12 13F30 13G05 13L05 PDF BibTeX XML Cite \textit{S. Shelah} and \textit{L. Fuchs}, Rend. Semin. Mat. Univ. Padova 109, 235--239 (2003; Zbl 1073.13005) Full Text: arXiv EuDML OpenURL
Morris, Sidney A. The topology of compact groups. (English) Zbl 1062.22006 Topol. Proc. 27, No. 2, 545-558 (2003). MSC: 22C05 PDF BibTeX XML Cite \textit{S. A. Morris}, Topol. Proc. 27, No. 2, 545--558 (2003; Zbl 1062.22006) OpenURL
Miller, Arnold W. A MAD Q-set. (English) Zbl 1044.03038 Fundam. Math. 178, No. 3, 271-281 (2003). MSC: 03E35 PDF BibTeX XML Cite \textit{A. W. Miller}, Fundam. Math. 178, No. 3, 271--281 (2003; Zbl 1044.03038) Full Text: DOI arXiv Link OpenURL
Löwe, Benedikt A second glance at non-restrictiveness. (English) Zbl 1045.03040 Philos. Math. (3) 11, No. 3, 323-331 (2003). Reviewer: Elliott Mendelson (MR 2004i:03074) MSC: 03E35 03E65 03A05 PDF BibTeX XML Cite \textit{B. Löwe}, Philos. Math. (3) 11, No. 3, 323--331 (2003; Zbl 1045.03040) Full Text: DOI OpenURL
Król, Jerzy Set theoretical forcing in quantum mechanics and AdS/CFT correspondence. (English) Zbl 1029.81061 Int. J. Theor. Phys. 42, No. 5, 921-935 (2003). MSC: 81T40 81T60 81T20 81R40 81P10 PDF BibTeX XML Cite \textit{J. Król}, Int. J. Theor. Phys. 42, No. 5, 921--935 (2003; Zbl 1029.81061) Full Text: arXiv OpenURL
Friedman, Harvey M. Three-quantifier sentences. (English) Zbl 1020.03044 Fundam. Math. 177, No. 3, 213-240 (2003). MSC: 03E30 03B25 PDF BibTeX XML Cite \textit{H. M. Friedman}, Fundam. Math. 177, No. 3, 213--240 (2003; Zbl 1020.03044) Full Text: DOI OpenURL
Friedman, Harvey M. Primitive independence results. (English) Zbl 1029.03039 J. Math. Log. 3, No. 1, 67-83 (2003). MSC: 03E35 03E55 PDF BibTeX XML Cite \textit{H. M. Friedman}, J. Math. Log. 3, No. 1, 67--83 (2003; Zbl 1029.03039) Full Text: DOI OpenURL
Shelah, Saharon; Strüngmann, Lutz It is consistent with ZFC that \(B_1\)-groups are not \(B_2\). (English) Zbl 1027.20030 Forum Math. 15, No. 4, 507-524 (2003). Reviewer: C.Vinsonhaler (Storrs) MSC: 20K20 03E35 PDF BibTeX XML Cite \textit{S. Shelah} and \textit{L. Strüngmann}, Forum Math. 15, No. 4, 507--524 (2003; Zbl 1027.20030) Full Text: DOI OpenURL
Kurilić, Miloš S. Changing cofinalities and collapsing cardinals in models of set theory. (English) Zbl 1018.03041 Ann. Pure Appl. Logic 120, No. 1-3, 225-236 (2003). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E35 03E40 03C62 PDF BibTeX XML Cite \textit{M. S. Kurilić}, Ann. Pure Appl. Logic 120, No. 1--3, 225--236 (2003; Zbl 1018.03041) Full Text: DOI OpenURL
Shelah, Saharon More constructions for Boolean algebras. (English) Zbl 1023.03043 Arch. Math. Logic 41, No. 5, 401-441 (2002). MSC: 03E04 06E05 03E35 PDF BibTeX XML Cite \textit{S. Shelah}, Arch. Math. Logic 41, No. 5, 401--441 (2002; Zbl 1023.03043) Full Text: DOI arXiv OpenURL
Shakhmatov, Dmitri Convergence in the presence of algebraic structure. (English) Zbl 1029.54003 Hušek, Miroslav (ed.) et al., Recent progress in general topology II. Based on the Prague topological symposium, Prague, Czech Republic, August 19-25, 2001. Amsterdam: Elsevier. 463-484 (2002). Reviewer: Roman Frič (Košice) MSC: 54A20 54H11 54-02 54A25 54A35 PDF BibTeX XML Cite \textit{D. Shakhmatov}, in: Recent progress in general topology II. Based on the Prague topological symposium, Prague, Czech Republic, August 19--25, 2001. Amsterdam: Elsevier. 463--484 (2002; Zbl 1029.54003) OpenURL
Friedman, Sy D. Cantor’s set theory from a modern point of view. (English) Zbl 1027.03038 Jahresber. Dtsch. Math.-Ver. 104, No. 4, 165-170 (2002). Reviewer: E.Harzheim (Köln) MSC: 03E15 03-03 03E35 03E45 03E55 PDF BibTeX XML Cite \textit{S. D. Friedman}, Jahresber. Dtsch. Math.-Ver. 104, No. 4, 165--170 (2002; Zbl 1027.03038) OpenURL
Etesi, Gábor Note on a reformulation of the strong cosmic censor conjecture based on computability. (English) Zbl 1001.83069 Phys. Lett., B 550, No. 1-2, 1-7 (2002). MSC: 83F05 PDF BibTeX XML Cite \textit{G. Etesi}, Phys. Lett., B 550, No. 1--2, 1--7 (2002; Zbl 1001.83069) Full Text: DOI arXiv OpenURL
Göbel, Rüdiger; Shelah, Saharon Constructing simple groups for localizations. (English) Zbl 1097.20031 Commun. Algebra 30, No. 2, 809-837 (2002). MSC: 20E32 20E36 20E22 PDF BibTeX XML Cite \textit{R. Göbel} and \textit{S. Shelah}, Commun. Algebra 30, No. 2, 809--837 (2002; Zbl 1097.20031) Full Text: DOI OpenURL
Shelah, Saharon Constructing Boolean algebras for cardinal invariants. (English) Zbl 1061.03047 Algebra Univers. 45, No. 4, 353-373 (2001). Reviewer: Ivan Chajda (Olomouc) MSC: 03E04 03E05 03E10 06E05 PDF BibTeX XML Cite \textit{S. Shelah}, Algebra Univers. 45, No. 4, 353--373 (2001; Zbl 1061.03047) Full Text: DOI arXiv OpenURL
Kanovej, V. G. Nonstandard set theory in \(\in\)-language. (English. Russian original) Zbl 1027.03051 Math. Notes 70, No. 1, 42-45 (2001); translation from Mat. Zametki 70, No. 1, 46-50 (2001). MSC: 03H05 03E70 PDF BibTeX XML Cite \textit{V. G. Kanovej}, Math. Notes 70, No. 1, 42--45 (2001; Zbl 1027.03051); translation from Mat. Zametki 70, No. 1, 46--50 (2001) Full Text: DOI OpenURL
Horsten, L. Platonistic formalism. (English) Zbl 0995.03006 Erkenntnis 54, No. 2, 173-194 (2001). Reviewer: Alejandro Garciadiego (México) MSC: 03A05 00A30 03E99 PDF BibTeX XML Cite \textit{L. Horsten}, Erkenntnis 54, No. 2, 173--194 (2001; Zbl 0995.03006) Full Text: DOI OpenURL
Eklof, Paul C.; Shelah, Saharon A non-reflexive Whitehead group. (English) Zbl 0973.20046 J. Pure Appl. Algebra 156, No. 2-3, 199-214 (2001). Reviewer: Grigore Călugăreanu (Cluj-Napoca) MSC: 20K35 03E35 03E75 20K20 03C60 03E50 13L05 PDF BibTeX XML Cite \textit{P. C. Eklof} and \textit{S. Shelah}, J. Pure Appl. Algebra 156, No. 2--3, 199--214 (2001; Zbl 0973.20046) Full Text: DOI arXiv OpenURL
Schmerl, James H. Elementary extensions of models of set theory. (English) Zbl 0964.03034 Arch. Math. Logic 39, No. 7, 509-514 (2000). MSC: 03C62 PDF BibTeX XML Cite \textit{J. H. Schmerl}, Arch. Math. Logic 39, No. 7, 509--514 (2000; Zbl 0964.03034) Full Text: DOI OpenURL
Mathias, A. R. D. Strong statements of analysis. (English) Zbl 1025.03052 Bull. Lond. Math. Soc. 32, No. 5, 513-526 (2000). MSC: 03E65 03E30 26A21 28A05 54H05 03E60 91A44 03E55 03E45 54E52 03E15 PDF BibTeX XML Cite \textit{A. R. D. Mathias}, Bull. Lond. Math. Soc. 32, No. 5, 513--526 (2000; Zbl 1025.03052) Full Text: DOI OpenURL
Groszek, Marcia Independence results from ZFC in computability theory: Some open problems. (English) Zbl 0962.03047 Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 171-179 (2000). MSC: 03E35 03D28 03D30 03E45 PDF BibTeX XML Cite \textit{M. Groszek}, Contemp. Math. 257, 171--179 (2000; Zbl 0962.03047) OpenURL
Shkarin, S. A. On effective linearly ordered sets of comparison functions. (English. Russian original) Zbl 0955.03051 Math. Notes 67, No. 4, 534-540 (2000); translation from Mat. Zametki 67, No. 4, 629-637 (2000). MSC: 03E35 30D99 PDF BibTeX XML Cite \textit{S. A. Shkarin}, Math. Notes 67, No. 4, 629--637 (2000; Zbl 0955.03051); translation from Mat. Zametki 67, No. 4, 629--637 (2000) Full Text: DOI OpenURL
Godefroy, Gilles Some application of Simons’ inequality. (English) Zbl 0953.46009 Serdica Math. J. 26, No. 1, 59-78 (2000). Reviewer: Peter Kendoerov (Sofia) MSC: 46B20 46B04 46B50 PDF BibTeX XML Cite \textit{G. Godefroy}, Serdica Math. J. 26, No. 1, 59--78 (2000; Zbl 0953.46009) Full Text: EuDML OpenURL
Miraglia, Pierluigi Finite mathematics and the justification of the axiom of choice. (English) Zbl 0963.03072 Philos. Math. (3) 8, No. 1, 9-25 (2000). Reviewer: Norbert Brunner (Wien) MSC: 03E25 03A05 PDF BibTeX XML Cite \textit{P. Miraglia}, Philos. Math. (3) 8, No. 1, 9--25 (2000; Zbl 0963.03072) Full Text: DOI OpenURL
Göbel, Rüdiger; Trlifaj, Jan Cotilting and a hierarchy of almost cotorsion groups. (English) Zbl 0947.20036 J. Algebra 224, No. 1, 110-122 (2000). Reviewer: Ph.Schultz (Perth) MSC: 20K20 20K30 20K40 16S50 PDF BibTeX XML Cite \textit{R. Göbel} and \textit{J. Trlifaj}, J. Algebra 224, No. 1, 110--122 (2000; Zbl 0947.20036) Full Text: DOI OpenURL
Villaveces, Andrés Heights of models of ZFC and the existence of end elementary extensions. II. (English) Zbl 0947.03055 J. Symb. Log. 64, No. 3, 1111-1124 (1999). MSC: 03C62 03E35 03E55 PDF BibTeX XML Cite \textit{A. Villaveces}, J. Symb. Log. 64, No. 3, 1111--1124 (1999; Zbl 0947.03055) Full Text: DOI arXiv OpenURL
Hajnal, András; Hamburger, Peter Set theory. Transl. from the Hungarian by Attila Máté. (English) Zbl 0934.03057 London Mathematical Society Student Texts. 48. Cambridge: Cambridge University Press. viii, 316 p. (1999). Reviewer: T.Natkaniec (Gdańsk) MSC: 03Exx 03-01 03E05 03-02 03E20 03E30 PDF BibTeX XML Cite \textit{A. Hajnal} and \textit{P. Hamburger}, Set theory. Transl. from the Hungarian by Attila Máté. Cambridge: Cambridge University Press (1999; Zbl 0934.03057) OpenURL
Lifsches, Shmuel; Shelah, Saharon Random graphs in the monadic theory of order. (English) Zbl 0935.03057 Arch. Math. Logic 38, No. 4-5, 273-312 (1999). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E35 05C80 PDF BibTeX XML Cite \textit{S. Lifsches} and \textit{S. Shelah}, Arch. Math. Logic 38, No. 4--5, 273--312 (1999; Zbl 0935.03057) Full Text: DOI arXiv OpenURL
Holz, M.; Steffens, K.; Weitz, E. Introduction to cardinal arithmetic. (English) Zbl 0930.03053 Birkhäuser Advanced Texts. Basel: Birkhäuser. vii, 304 p. (1999). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E10 03E04 03-02 PDF BibTeX XML Cite \textit{M. Holz} et al., Introduction to cardinal arithmetic. Basel: Birkhäuser (1999; Zbl 0930.03053) OpenURL
Villaveces, Andrés Heights of models of ZFC and the existence of end elementary extensions. (English) Zbl 0928.03045 Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 61-64 (1999). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C62 03E35 PDF BibTeX XML Cite \textit{A. Villaveces}, Lect. Notes Pure Appl. Math. 203, 61--64 (1999; Zbl 0928.03045) OpenURL