×

Found 79 Documents (Results 1–79)

Can mathematics be proved consistent? Gödel’s shorthand notes & lectures on incompleteness. (English) Zbl 1466.03001

Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-030-50875-3/hbk; 978-3-030-50878-4/pbk; 978-3-030-50876-0/ebook). ix, 263 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI

Generalized realizability for extensions of the language of arithmetic. (English. Russian original) Zbl 1454.03079

Mosc. Univ. Math. Bull. 74, No. 4, 167-170 (2019); translation from Vestn. Mosk. Univ., Ser. I 74, No. 4, 50-54 (2019).
MSC:  03F30 03F50 03F55
PDFBibTeX XMLCite
Full Text: DOI

Decidability in local and global fields. (English) Zbl 1458.11171

Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 45-59 (2018).
PDFBibTeX XMLCite
Full Text: DOI Link

Kripke models of transfinite provability logic. (English) Zbl 1301.03063

Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 185-199 (2012).
MSC:  03F45
PDFBibTeX XMLCite

Graph structure and monadic second-order logic. A language-theoretic approach. (English) Zbl 1257.68006

Encyclopedia of Mathematics and its Applications 138. Cambridge: Cambridge University Press (ISBN 978-0-521-89833-1/hbk). xiv, 728 p. (2012).
MSC:  68-02 03B15 03D05 05C85 05C90 68Q45 68R10
PDFBibTeX XMLCite

The impact of Gödel’s incompleteness theorems on mathematics. (English) Zbl 1288.03003

Baaz, Matthias (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth. Cambridge: Cambridge University Press (ISBN 978-0-521-76144-4/hbk). 3-25 (2011).
PDFBibTeX XMLCite

Tree languages defined in first-order logic with one quantifier alternation. (English) Zbl 1170.03019

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 233-245 (2008).
MSC:  03D05 03B25 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

An introduction to Gödel’s theorems. Reprint with corrections of the 2007 original. (English) Zbl 1154.03002

Cambridge Introductions to Philosophy. Cambridge: Cambridge University Press (ISBN 978-0-521-67453-9/pbk; 978-0-521-85784-0/hbk). xiv, 361 p. (2008).
PDFBibTeX XMLCite
Full Text: DOI

Proofnets for S5: sequents and circuits for modal logic. (English) Zbl 1146.03038

Dimitracopoulos, Costas (ed.) et al., Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28–August 3, 2005. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88425-9/hbk). Lecture Notes in Logic 28, 151-172 (2008).
MSC:  03F05 03B45 03F07
PDFBibTeX XMLCite

Generalized power Menger algebras and generalized non-deterministic hypersubstitutions. (English) Zbl 1107.08005

Dorfer, G. (ed.) et al., Proceedings of the 70th workshop on general algebra “70. Arbeitstagung Allgemeine Algebra”, Vienna, Austria, May 26–29, 2005. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0194-8/pbk). Contributions to General Algebra 17, 61-70 (2006).
PDFBibTeX XMLCite

Algebraic classifications of regular tree languages. (English) Zbl 1092.68060

Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 381-432 (2005).
MSC:  68Q70 08A70
PDFBibTeX XMLCite

Completeness of automaton mappings with respect to equivalence relations. (English) Zbl 1092.68057

Kudryavtsev, Valery B. et al., Structural theory of automata, semigroups, and universal algebra. Proceedings of the NATO Advanced Study Institute, Montreal, Quebec, Canada, July 7–18, 2003. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-3815-1/hbk; 1-4020-3817-8/e-book). NATO Science Series II: Mathematics, Physics and Chemistry 207, 77-108 (2005).
MSC:  68Q70
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software