Introduction to Incompleteness

Serafim Batzoglou ()
Additional contact information
Serafim Batzoglou: Seer Inc.

in Springer Books from Springer

Date: 2024
ISBN: 978-3-031-64217-3
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Ch Chapter 1 Formal Axiomatic Systems

Serafim Batzoglou

Ch Chapter 10 Consistency of PA and ε 0 $$\varepsilon _0$$ Induction

Serafim Batzoglou

Ch Chapter 11 Set Theory

Serafim Batzoglou

Ch Chapter 12 Independence of CH: Forcing

Serafim Batzoglou

Ch Chapter 13 Independence of CH: Forcing CH $$\mathrm {CH}$$ and ¬ CH $$\lnot \mathrm {CH}$$

Serafim Batzoglou

Ch Chapter 2 Peano Arithmetic and Recursive Functions

Serafim Batzoglou

Ch Chapter 3 Gödel’s Incompleteness Theorems

Serafim Batzoglou

Ch Chapter 4 Structures, Models, and Satisfaction

Serafim Batzoglou

Ch Chapter 5 Completeness and Compactness Theorems

Serafim Batzoglou

Ch Chapter 6 Completeness and Peano Arithmetic

Serafim Batzoglou

Ch Chapter 7 The Lucas–Penrose Arguments (*)

Serafim Batzoglou

Ch Chapter 8 Incompleteness in Finite Combinatorics

Serafim Batzoglou

Ch Chapter 9 Ordinals and Cardinals

Serafim Batzoglou

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-3-031-64217-3

Ordering information: This item can be ordered from
http://www.springer.com/9783031642173

DOI: 10.1007/978-3-031-64217-3

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().