Question

Exercise IV.17 in Kunen (1980): Absolute in all transitive models of a finite set of ZF axioms implies $\Delta_1$

score 29 · Answer 1 · 2018-02-19 22:27:01

29

Views

Exercise IV.17 in Kunen (1980): Absolute in all transitive models of a finite set of ZF axioms implies $\Delta_1$

Published on 19 Feb 2018 - 22:27

score 36 · Answer 2 · 2018-02-20 07:31:49

36

Views

Short task in model theory / 1.st order logic

Published on 20 Feb 2018 - 7:31

score 1.1k · Answer 3 · 2026-03-22 05:24:18

1.1k

Views

If union of two theories is not consistent one of them implies a sentence which the other implies opposite of it

Published on 22 Mar 2026 - 5:24

score 84 · Answer 4 · 2018-02-21 00:12:46

84

Views

Connecting models of Set Theory in Jech's text with Model Theory (pages 161-167)

Published on 21 Feb 2018 - 0:12

score 63 · Answer 5 · 2018-02-21 03:10:12

63

Views

does a consistent closed theory in a finite languge, which is not finitely axiomatizable has an infinite model?

Published on 21 Feb 2018 - 3:10

score 161 · Answer 6 · 2018-02-21 19:41:49

161

Views

two finite models of complete orderings are elementary equivalent

Published on 21 Feb 2018 - 19:41

score 82 · Answer 7 · 2018-02-23 01:35:21

82

Views

Definable elements in a Fraïssé limit

Published on 23 Feb 2018 - 1:35

score 169 · Answer 8 · 2018-02-23 16:23:49

169

Views

Canonical expansion of a structure

Published on 23 Feb 2018 - 16:23

score 56 · Answer 9 · 2018-02-24 21:02:03

56

Views

Positive Theory

Published on 24 Feb 2018 - 21:02

score 247 · Answer 10 · 2018-02-26 15:22:35

247

Views

Is $\mathbb Q$ definable in $\bar {\mathbb Q}$ ?

Published on 26 Feb 2018 - 15:22

score 171 · Answer 11 · 2018-02-26 17:36:38

171

Views

Are $\mathbb C$ , $\mathbb C[X]$ definable in $\mathbb C[[X]]$?

Published on 26 Feb 2018 - 17:36

score 406 · Answer 12 · 2018-02-27 00:57:07

406

Views

Assuming ZF and the axiom of constructibility, $\alpha > \omega, V_\alpha = L_\alpha \iff \alpha = \aleph_\alpha$

Published on 27 Feb 2018 - 0:57

score 69 · Answer 13 · 2026-03-22 00:48:03

69

Views

Regularity in finitist models?

Published on 22 Mar 2026 - 0:48

score 71 · Answer 14 · 2018-02-28 16:12:18

71

Views

Conjugate of element in connected fMR group is indecomposable?

Published on 28 Feb 2018 - 16:12

score 84 · Answer 15 · 2018-02-28 17:02:33

84

Views

Hypotheses that imply total categoricity

Published on 28 Feb 2018 - 17:02

List Question

Exercise IV.17 in Kunen (1980): Absolute in all transitive models of a finite set of ZF axioms implies $\Delta_1$

Short task in model theory / 1.st order logic

If union of two theories is not consistent one of them implies a sentence which the other implies opposite of it

Connecting models of Set Theory in Jech's text with Model Theory (pages 161-167)

does a consistent closed theory in a finite languge, which is not finitely axiomatizable has an infinite model?

two finite models of complete orderings are elementary equivalent

Definable elements in a Fraïssé limit

Canonical expansion of a structure

Positive Theory

Is $\mathbb Q$ definable in $\bar {\mathbb Q}$ ?

Are $\mathbb C$ , $\mathbb C[X]$ definable in $\mathbb C[[X]]$?

Assuming ZF and the axiom of constructibility, $\alpha > \omega, V_\alpha = L_\alpha \iff \alpha = \aleph_\alpha$

Regularity in finitist models?

Conjugate of element in connected fMR group is indecomposable?

Hypotheses that imply total categoricity

Trending Questions

Popular # Hahtags

Popular Questions