Question

Does the logical system with the "there exist uncountably many"-quantifier satisfy a variant of upwards Löwenheim-Skolem

score 158 · Answer 1 · 2026-04-12 05:14:37

158

Views

Does the logical system with the "there exist uncountably many"-quantifier satisfy a variant of upwards Löwenheim-Skolem

Published on 12 Apr 2026 - 5:14

score 56 · Answer 2 · 2020-10-21 09:03:09

56

Views

Existence of an $\omega$-homogeneous elementary extension

Published on 21 Oct 2020 - 9:03

score 217 · Answer 3 · 2026-04-12 05:41:56

217

Views

Cardinality preservation under elementary extensions

Published on 12 Apr 2026 - 5:41

score 47 · Answer 4 · 2026-04-12 07:13:37

47

Views

Can the ordering of the rationals be defined from their field structure alone?

Published on 12 Apr 2026 - 7:13

score 36 · Answer 5 · 2026-04-10 12:56:41

36

Views

Basic question about automorphisms of structure $\mathbb{Z}_{adgp}$

Published on 10 Apr 2026 - 12:56

score 47 · Answer 6 · 2026-04-14 00:05:28

47

Views

Size of $Th_{\kappa\kappa}$.

Published on 14 Apr 2026 - 0:05

score 101 · Answer 7 · 2026-04-14 11:03:02

101

Views

Finitely generated pp-types in saturated modules

Published on 14 Apr 2026 - 11:03

score 270 · Answer 8 · 2026-04-14 05:18:32

270

Views

Are these "finite-ish" sets closed under union?

Published on 14 Apr 2026 - 5:18

score 100 · Answer 9 · 2026-04-14 08:25:22

100

Views

Show $(\mathbb{R},0,+,-)$ has infinitely many automorphisms

Published on 14 Apr 2026 - 8:25

score 147 · Answer 10 · 2026-04-14 07:39:01

147

Views

A subset of an universe is the universe of a substructure if and only if tis closed under terms

Published on 14 Apr 2026 - 7:39

score 242 · Answer 11 · 2026-04-13 18:40:06

242

Views

Show that a class of structures is existentially axiomatisable iff it is closed under taking superstructures

Published on 13 Apr 2026 - 18:40

score 210 · Answer 12 · 2026-04-12 17:18:45

210

Views

Describe finite structure up to isomorphism as model of two sentences.

Published on 12 Apr 2026 - 17:18

score 56 · Answer 13 · 2026-04-11 05:37:46

56

Views

given a language, show L-terms are polynomials with integer coefficients

Published on 11 Apr 2026 - 5:37

score 29 · Answer 14 · 2026-04-14 09:36:51

29

Views

What does it mean for a subset $A$ of the universe $M$ of an $L$-structure $N$ to be closed under $t^N$ for all $L$-terms $t = t(x_1, ..., x_n)$?

Published on 14 Apr 2026 - 9:36

score 146 · Answer 15 · 2026-04-07 20:20:45

146

Views

$\mathbb{Z}$ and $\mathbb{Z}\times \mathbb{Z}$ are not equivalent as abelian group models.

Published on 07 Apr 2026 - 20:20

List Question

Does the logical system with the "there exist uncountably many"-quantifier satisfy a variant of upwards Löwenheim-Skolem

Existence of an $\omega$-homogeneous elementary extension

Cardinality preservation under elementary extensions

Can the ordering of the rationals be defined from their field structure alone?

Basic question about automorphisms of structure $\mathbb{Z}_{adgp}$

Size of $Th_{\kappa\kappa}$.

Finitely generated pp-types in saturated modules

Are these "finite-ish" sets closed under union?

Show $(\mathbb{R},0,+,-)$ has infinitely many automorphisms

A subset of an universe is the universe of a substructure if and only if tis closed under terms

Show that a class of structures is existentially axiomatisable iff it is closed under taking superstructures

Describe finite structure up to isomorphism as model of two sentences.

given a language, show L-terms are polynomials with integer coefficients

What does it mean for a subset $A$ of the universe $M$ of an $L$-structure $N$ to be closed under $t^N$ for all $L$-terms $t = t(x_1, ..., x_n)$?

$\mathbb{Z}$ and $\mathbb{Z}\times \mathbb{Z}$ are not equivalent as abelian group models.

Trending Questions

Popular # Hahtags

Popular Questions