Question

Model of a language $L$ vs. model of a theory $T$ in $L$

score 78 · Answer 1 · 2012-11-23 11:52:18

78

Views

Model of a language $L$ vs. model of a theory $T$ in $L$

Published on 23 Nov 2012 - 11:52

score 231 · Answer 2 · 2012-11-24 18:21:45

231

Views

Proving that $\langle \omega, \in \rangle $ models empty set and extensionality

Published on 24 Nov 2012 - 18:21

score 63 · Answer 3 · 2026-04-11 15:20:06

63

Views

Does one restrict oneself when leaving out the inversion in the signature of groups?

Published on 11 Apr 2026 - 15:20

score 483 · Answer 4 · 2012-11-26 23:26:18

483

Views

Finding the exactly number of countable models of a theory

Published on 26 Nov 2012 - 23:26

score 366 · Answer 5 · 2026-04-07 04:49:00

366

Views

Is the negation of Gödel's completeness theorem consistent with $ZF$ without AC?

Published on 07 Apr 2026 - 4:49

score 1.5k · Answer 6 · 2026-04-13 01:40:54

1.5k

Views

Showing that the class of well ordered structures is not an elementary class

Published on 13 Apr 2026 - 1:40

score 339 · Answer 7 · 2026-04-12 09:15:52

339

Views

Is this theory $\kappa$-categorical when $\kappa$ is infinite and not $\le \aleph_0$?

Published on 12 Apr 2026 - 9:15

score 180 · Answer 8 · 2026-04-12 12:40:16

180

Views

Is $\mathbb N$ definable in $\mathbb C$?

Published on 12 Apr 2026 - 12:40

score 568 · Answer 9 · 2026-04-11 08:13:35

568

Views

Definable relations

Published on 11 Apr 2026 - 8:13

score 168 · Answer 10 · 2026-04-12 02:41:29

168

Views

A formula that is upwards absolute but not downwards absolute

Published on 12 Apr 2026 - 2:41

score 418 · Answer 11 · 2026-04-08 16:07:40

418

Views

Is Zermelo set theory finitely axiomatizable?

Published on 08 Apr 2026 - 16:07

score 1k · Answer 12 · 2012-12-03 17:33:28

1k

Views

Relation between algebraic geometry over a field of characteristic $0$ and that over $\mathbb{C}$

Published on 03 Dec 2012 - 17:33

score 255 · Answer 13 · 2026-04-11 15:34:13

255

Views

Feferman-Vaught theorem and Term Powers

Published on 11 Apr 2026 - 15:34

score 1.1k · Answer 14 · 2012-12-07 11:00:06

1.1k

Views

Automorphisms of saturated models

Published on 07 Dec 2012 - 11:00

score 842 · Answer 15 · 2026-04-12 07:59:02

842

Views

Quantifier Elimination

Published on 12 Apr 2026 - 7:59

List Question

Model of a language $L$ vs. model of a theory $T$ in $L$

Proving that $\langle \omega, \in \rangle $ models empty set and extensionality

Does one restrict oneself when leaving out the inversion in the signature of groups?

Finding the exactly number of countable models of a theory

Is the negation of Gödel's completeness theorem consistent with $ZF$ without AC?

Showing that the class of well ordered structures is not an elementary class

Is this theory $\kappa$-categorical when $\kappa$ is infinite and not $\le \aleph_0$?

Is $\mathbb N$ definable in $\mathbb C$?

Definable relations

A formula that is upwards absolute but not downwards absolute

Is Zermelo set theory finitely axiomatizable?

Relation between algebraic geometry over a field of characteristic $0$ and that over $\mathbb{C}$

Feferman-Vaught theorem and Term Powers

Automorphisms of saturated models

Quantifier Elimination

Trending Questions

Popular # Hahtags

Popular Questions