×

Found 364 Documents (Results 1–100)

100
MathJax

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
Full Text: DOI HAL

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

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
Full Text: arXiv

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
Full Text: DOI Link

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
Full Text: DOI

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).
MSC:  20K10 20K25 03E35
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite
Full Text: arXiv

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

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

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

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).
PDF BibTeX XML Cite

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).
PDF BibTeX XML Cite

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).
MSC:  03C62 03E35
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software