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

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

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

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_5 ◽

2020 ◽

pp. 53-64

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

Keyword(s):

Completeness Theorem

Semantics:Making Sense of the Symbols

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_3 ◽

2020 ◽

pp. 35-44

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

The Art of Proof

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_2 ◽

2020 ◽

pp. 19-34

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

Models of the Real Numbers

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_17 ◽

2020 ◽

pp. 203-221

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

Keyword(s):

Real Numbers ◽

The Real

The Axioms of Set Theory (ZFC)

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_13 ◽

2020 ◽

pp. 153-171

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

Keyword(s):

Set Theory

Completeness of Presburger Arithmetic

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_12 ◽

2020 ◽

pp. 137-149

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

Keyword(s):

Presburger Arithmetic

Syntax: The Grammar of Symbols

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_1 ◽

2020 ◽

pp. 7-18

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

Gӧdelisation of Peano Arithmetic

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_9 ◽

2020 ◽

pp. 89-108

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

Keyword(s):

Peano Arithmetic

Countable Models of Peano Arithmetic

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_7 ◽

2020 ◽

pp. 73-78

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

Keyword(s):

Peano Arithmetic ◽

Countable Models

Arithmetic in Peano Arithmetic

Gödel's Theorems and Zermelo's Axioms ◽

10.1007/978-3-030-52279-7_8 ◽

2020 ◽

pp. 79-88

Author(s):

Lorenz Halbeisen ◽

Regula Krapf

Keyword(s):

Peano Arithmetic