Question

What is the real meaning of Hilbert's axiom of completeness

score 2.4k · Answer 1 · 2014-05-25 03:03:09

2.4k

Views

What is the real meaning of Hilbert's axiom of completeness

Published on 25 May 2014 - 3:03

score 182 · Answer 2 · 2014-05-25 21:22:40

182

Views

Ultraproducts of models of ZFC

Published on 25 May 2014 - 21:22

score 823 · Answer 3 · 2014-05-27 23:03:45

823

Views

Every elementary submodel of $H(\aleph_1)$ is transitive

Published on 27 May 2014 - 23:03

score 103 · Answer 4 · 2014-05-30 03:47:47

103

Views

Examples of Jónsson Models

Published on 30 May 2014 - 3:47

score 212 · Answer 5 · 2014-05-31 09:01:16

212

Views

Absolute formula

Published on 31 May 2014 - 9:01

score 131 · Answer 6 · 2026-03-25 01:16:50

131

Views

Nonstandard models of PA with a decidable order relation.

Published on 25 Mar 2026 - 1:16

score 340 · Answer 7 · 2014-06-03 12:15:31

340

Views

Is first-order logic complete with respect to countable structures?

Published on 03 Jun 2014 - 12:15

score 274 · Answer 8 · 2014-06-04 15:54:34

274

Views

Show that $(V_\omega,\in) \models \mathrm{Power\ set}$

Published on 04 Jun 2014 - 15:54

score 67 · Answer 9 · 2014-06-04 17:37:57

67

Views

Prove that ⊨ is not symmetric

Published on 04 Jun 2014 - 17:37

score 283 · Answer 10 · 2014-06-04 18:11:29

283

Views

Are there any purely semantic proofs of the compactness theorem that don't use the full axiom of choice?

Published on 04 Jun 2014 - 18:11

score 339 · Answer 11 · 2014-06-05 13:19:19

339

Views

Elementary equivalence versus equivalence between the total theory in model theory

Published on 05 Jun 2014 - 13:19

score 179 · Answer 12 · 2014-06-06 21:00:37

179

Views

The differences between Model Theory and Computation Theory

Published on 06 Jun 2014 - 21:00

score 357 · Answer 13 · 2026-03-25 22:06:15

357

Views

How large or small can the gap in Shelah's main gap theorem be, up to consistency?

Published on 25 Mar 2026 - 22:06

score 180 · Answer 14 · 2014-06-09 10:37:54

180

Views

Absolute confusion! (A question about absolute sentences)

Published on 09 Jun 2014 - 10:37

score 317 · Answer 15 · 2014-06-09 15:20:17

317

Views

Existence of theories with exactly two countable models

Published on 09 Jun 2014 - 15:20

List Question

What is the real meaning of Hilbert's axiom of completeness

Ultraproducts of models of ZFC

Every elementary submodel of $H(\aleph_1)$ is transitive

Examples of Jónsson Models

Absolute formula

Nonstandard models of PA with a decidable order relation.

Is first-order logic complete with respect to countable structures?

Show that $(V_\omega,\in) \models \mathrm{Power\ set}$

Prove that ⊨ is not symmetric

Are there any purely semantic proofs of the compactness theorem that don't use the full axiom of choice?

Elementary equivalence versus equivalence between the total theory in model theory

The differences between Model Theory and Computation Theory

How large or small can the gap in Shelah's main gap theorem be, up to consistency?

Absolute confusion! (A question about absolute sentences)

Existence of theories with exactly two countable models

Trending Questions

Popular # Hahtags

Popular Questions