Question

For types, is being definable is strictly stronger than being isolated?

score 503 · Answer 1 · 2013-12-17 12:55:49

503

Views

For types, is being definable is strictly stronger than being isolated?

Published on 17 Dec 2013 - 12:55

score 1.7k · Answer 2 · 2013-12-17 22:10:14

1.7k

Views

Elementary Submodels in Set Theory

Published on 17 Dec 2013 - 22:10

score 91 · Answer 3 · 2013-12-20 08:34:11

91

Views

Building sequence of axiomatizable classes that...

Published on 20 Dec 2013 - 8:34

score 210 · Answer 4 · 2026-04-03 08:14:13

210

Views

Order type of standard models of arithmetic

Published on 03 Apr 2026 - 8:14

score 92 · Answer 5 · 2013-12-22 08:03:26

92

Views

Lowering the power of infinite model

Published on 22 Dec 2013 - 8:03

score 57 · Answer 6 · 2013-12-22 18:16:45

57

Views

truth of a sentence to the linearly ordered set

Published on 22 Dec 2013 - 18:16

score 557 · Answer 7 · 2026-03-27 01:46:05

557

Views

Why is class of one-dimensional vector spaces not axiomatizable?

Published on 27 Mar 2026 - 1:46

score 243 · Answer 8 · 2013-12-24 14:21:31

243

Views

Prove the elementary equivalence of the two models

Published on 24 Dec 2013 - 14:21

score 291 · Answer 9 · 2026-03-26 11:05:25

291

Views

Do metatheoretic results carry between mutually interpretable theories?

Published on 26 Mar 2026 - 11:05

score 212 · Answer 10 · 2013-12-30 13:11:54

212

Views

Is there a reason to consider formulas with multiple quantifiers on the same variable?

Published on 30 Dec 2013 - 13:11

score 127 · Answer 11 · 2013-12-31 18:12:40

127

Views

Elementary submodels of $(V_{\omega},\in)$ are equal to it

Published on 31 Dec 2013 - 18:12

score 149 · Answer 12 · 2014-01-02 01:48:27

149

Views

Power set axiom

Published on 02 Jan 2014 - 1:48

score 173 · Answer 13 · 2014-01-04 04:23:25

173

Views

$(M, <) \equiv (\mathbb{Z}, <)$ and $(\mathbb{Q}, <)$ embeds into $(M, <)$

Published on 04 Jan 2014 - 4:23

score 139 · Answer 14 · 2014-01-04 09:28:27

139

Views

Embedding models of ZF into another model

Published on 04 Jan 2014 - 9:28

score 64 · Answer 15 · 2014-01-04 15:54:43

64

Views

Prove that $\Phi_{eq}$ has continuum many closed complete extensions.

Published on 04 Jan 2014 - 15:54

List Question

For types, is being definable is strictly stronger than being isolated?

Elementary Submodels in Set Theory

Building sequence of axiomatizable classes that...

Order type of standard models of arithmetic

Lowering the power of infinite model

truth of a sentence to the linearly ordered set

Why is class of one-dimensional vector spaces not axiomatizable?

Prove the elementary equivalence of the two models

Do metatheoretic results carry between mutually interpretable theories?

Is there a reason to consider formulas with multiple quantifiers on the same variable?

Elementary submodels of $(V_{\omega},\in)$ are equal to it

Power set axiom

$(M, <) \equiv (\mathbb{Z}, <)$ and $(\mathbb{Q}, <)$ embeds into $(M, <)$

Embedding models of ZF into another model

Prove that $\Phi_{eq}$ has continuum many closed complete extensions.

Trending Questions

Popular # Hahtags

Popular Questions