×

Found 369 Documents (Results 1–100)

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).
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite

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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite

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
PDFBibTeX XMLCite

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
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software