Gödel's Theorems and Zermelo's Axioms
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 17)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030522780, 9783030522797
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Completeness Theorem

2020 ◽  
pp. 53-64
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf
Keyword(s):  
Completeness Theorem

Semantics:Making Sense of the Symbols

2020 ◽  
pp. 35-44
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf

The Art of Proof

2020 ◽  
pp. 19-34
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf

Models of the Real Numbers

2020 ◽  
pp. 203-221
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf
Keyword(s):  
Real Numbers ◽  
The Real

The Axioms of Set Theory (ZFC)

2020 ◽  
pp. 153-171
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf
Keyword(s):  
Set Theory

Completeness of Presburger Arithmetic

2020 ◽  
pp. 137-149
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf
Keyword(s):  
Presburger Arithmetic

Syntax: The Grammar of Symbols

2020 ◽  
pp. 7-18
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf

Gӧdelisation of Peano Arithmetic

2020 ◽  
pp. 89-108
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf
Keyword(s):  
Peano Arithmetic

Arithmetic in Peano Arithmetic

2020 ◽  
pp. 79-88
Author(s):  
Lorenz Halbeisen ◽  
Regula Krapf
Keyword(s):  
Peano Arithmetic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document