Question

Question on a proof of elementarily equivalent but not isomorphic

score 283 · Answer 1 · 2018-03-02 11:44:09

283

Views

Question on a proof of elementarily equivalent but not isomorphic

Published on 02 Mar 2018 - 11:44

score 69 · Answer 2 · 2026-03-25 01:20:35

69

Views

Open subgroup of $\mathrm{Aut}(M) \subseteq M^M$ where $M$ is an $L$-structure for a first order language $L$ and $M$ has discrete topology

Published on 25 Mar 2026 - 1:20

score 198 · Answer 3 · 2018-03-03 04:34:25

198

Views

Can a set of infinite groups be elementary class instead of elementary class in the wider sense?

Published on 03 Mar 2018 - 4:34

score 664 · Answer 4 · 2026-03-25 01:17:32

664

Views

Explanation of Skolem's Paradox in Enderton's book

Published on 25 Mar 2026 - 1:17

score 202 · Answer 5 · 2018-03-03 12:45:45

202

Views

A question on soundness and consistency of propositional logic

Published on 03 Mar 2018 - 12:45

score 565 · Answer 6 · 2018-03-03 15:49:28

565

Views

Two elementary equivalent $L$-structures of a first order language $L$ have the same cardinality if one of them is finite.

Published on 03 Mar 2018 - 15:49

score 413 · Answer 7 · 2018-03-03 16:18:30

413

Views

On the Baldwin-Lachlan theorem

Published on 03 Mar 2018 - 16:18

score 59 · Answer 8 · 2018-03-04 20:40:10

59

Views

Prove that $\forall x\subset M, \exists y\in M (x\subseteq y)$

Published on 04 Mar 2018 - 20:40

score 3.4k · Answer 9 · 2026-03-25 01:23:23

3.4k

Views

How can we know we're not accidentally talking about non-standard integers?

Published on 25 Mar 2026 - 1:23

score 57 · Answer 10 · 2026-03-24 13:12:50

57

Views

Is $K_{n-1}$ a $\Sigma_{n-1}$-elementary substruture of $K_n$

Published on 24 Mar 2026 - 13:12

score 1.1k · Answer 11 · 2026-03-24 22:06:29

1.1k

Views

Axiomatic system vs Formal System

Published on 24 Mar 2026 - 22:06

score 62 · Answer 12 · 2018-03-12 19:34:54

62

Views

Axioms and models: reinterpreting and solving a problem.

Published on 12 Mar 2018 - 19:34

score 68 · Answer 13 · 2018-03-12 20:01:51

68

Views

First order symbolic logic question regarding model/domain

Published on 12 Mar 2018 - 20:01

score 365 · Answer 14 · 2026-03-20 04:21:10

365

Views

Proof that the cofinality of the least worldly cardinal is $\omega$

Published on 20 Mar 2026 - 4:21

score 98 · Answer 15 · 2018-03-14 17:19:16

98

Views

Dense substructure of countable dense linear order without endpoints

Published on 14 Mar 2018 - 17:19

List Question

Question on a proof of elementarily equivalent but not isomorphic

Open subgroup of $\mathrm{Aut}(M) \subseteq M^M$ where $M$ is an $L$-structure for a first order language $L$ and $M$ has discrete topology

Can a set of infinite groups be elementary class instead of elementary class in the wider sense?

Explanation of Skolem's Paradox in Enderton's book

A question on soundness and consistency of propositional logic

Two elementary equivalent $L$-structures of a first order language $L$ have the same cardinality if one of them is finite.

On the Baldwin-Lachlan theorem

Prove that $\forall x\subset M, \exists y\in M (x\subseteq y)$

How can we know we're not accidentally talking about non-standard integers?

Is $K_{n-1}$ a $\Sigma_{n-1}$-elementary substruture of $K_n$

Axiomatic system vs Formal System

Axioms and models: reinterpreting and solving a problem.

First order symbolic logic question regarding model/domain

Proof that the cofinality of the least worldly cardinal is $\omega$

Dense substructure of countable dense linear order without endpoints

Trending Questions

Popular # Hahtags

Popular Questions