Question

Does Peano's axioms axiomize true arithmetic?

score 95 · Answer 1 · 2026-03-27 00:03:07

95

Views

Does Peano's axioms axiomize true arithmetic?

Published on 27 Mar 2026 - 0:03

score 80 · Answer 2 · 2026-03-25 06:06:27

80

Views

Showing existence of a non-standard model of arithmetic elementarily equivalent to standard model of arithmetic

Published on 25 Mar 2026 - 6:06

score 103 · Answer 3 · 2024-03-12 00:59:56

103

Views

Understanding Lowenheim-Skolem theorem and its consequences

Published on 12 Mar 2024 - 0:59

score 121 · Answer 4 · 2024-03-13 11:52:01

121

Views

Formalism of syntax in first order logic

Published on 13 Mar 2024 - 11:52

score 60 · Answer 5 · 2024-03-13 18:52:41

60

Views

Is every quasi-finite field algebraically closed?

Published on 13 Mar 2024 - 18:52

score 77 · Answer 6 · 2026-03-27 12:03:04

77

Views

Can we conclude that Peano's axioms consistent from soundness?

Published on 27 Mar 2026 - 12:03

score 494 · Answer 7 · 2026-03-29 11:07:03

494

Views

Statements which feel like they shouldn't be first-order expressible, but are

Published on 29 Mar 2026 - 11:07

score 144 · Answer 8 · 2026-03-29 21:40:44

144

Views

Consistency of Theory and Deduction Theorem

Published on 29 Mar 2026 - 21:40

score 110 · Answer 9 · 2024-03-17 12:27:21

110

Views

Formulae with symbol outside the language of a structure

Published on 17 Mar 2024 - 12:27

score 61 · Answer 10 · 2026-03-25 06:05:08

61

Views

Cardinalities of an extension to a theory

Published on 25 Mar 2026 - 6:05

score 47 · Answer 11 · 2026-03-25 06:09:17

47

Views

Quantifier elimination for Boolean algebras

Published on 25 Mar 2026 - 6:09

score 57 · Answer 12 · 2024-03-17 20:31:49

57

Views

Question Regrading Proof Of Ryll-Nardzewski Theorem of Model Theory.

Published on 17 Mar 2024 - 20:31

score 43 · Answer 13 · 2024-03-18 18:54:15

43

Views

Question regarding an implication of the compactness of $S_n(T)$ for countable and complete theory $T$.

Published on 18 Mar 2024 - 18:54

score 51 · Answer 14 · 2026-04-02 21:52:15

51

Views

Is the theory of Boolean algebras equal to the theory of Boole's algebra?

Published on 02 Apr 2026 - 21:52

score 31 · Answer 15 · 2024-03-19 21:21:44

31

Views

Changing the parameter in the formula defining a function (First order logic)

Published on 19 Mar 2024 - 21:21

List Question

Does Peano's axioms axiomize true arithmetic?

Showing existence of a non-standard model of arithmetic elementarily equivalent to standard model of arithmetic

Understanding Lowenheim-Skolem theorem and its consequences

Formalism of syntax in first order logic

Is every quasi-finite field algebraically closed?

Can we conclude that Peano's axioms consistent from soundness?

Statements which feel like they shouldn't be first-order expressible, but are

Consistency of Theory and Deduction Theorem

Formulae with symbol outside the language of a structure

Cardinalities of an extension to a theory

Quantifier elimination for Boolean algebras

Question Regrading Proof Of Ryll-Nardzewski Theorem of Model Theory.

Question regarding an implication of the compactness of $S_n(T)$ for countable and complete theory $T$.

Is the theory of Boolean algebras equal to the theory of Boole's algebra?

Changing the parameter in the formula defining a function (First order logic)

Trending Questions

Popular # Hahtags

Popular Questions