Question

Prove that the set of $\mathcal{L}$-terms has size $\max\{\aleph_0, \#\text{ of constant sym plus the $\#$ function sym}\}$.

score 120 · Answer 1 · 2014-01-04 16:16:01

120

Views

Prove that the set of $\mathcal{L}$-terms has size $\max\{\aleph_0, \#\text{ of constant sym plus the $\#$ function sym}\}$.

Published on 04 Jan 2014 - 16:16

score 196 · Answer 2 · 2026-03-27 23:00:48

196

Views

Questions on a sentence in ZFC asserting that ZFC has a model

Published on 27 Mar 2026 - 23:00

score 241 · Answer 3 · 2026-04-02 20:53:15

241

Views

Determining if a theory in first-order logic is decidable

Published on 02 Apr 2026 - 20:53

score 264 · Answer 4 · 2014-01-06 05:28:40

264

Views

every element of $V_{\omega}$ is definable

Published on 06 Jan 2014 - 5:28

score 64 · Answer 5 · 2026-04-07 17:09:05

64

Views

Examples of $\omega_{1}<\alpha<\omega_{2}$ definable

Published on 07 Apr 2026 - 17:09

score 426 · Answer 6 · 2026-04-08 17:28:30

426

Views

Does model theory extend to partial functions?

Published on 08 Apr 2026 - 17:28

score 427 · Answer 7 · 2026-03-28 13:42:17

427

Views

Pseudo-finite field vs Nonstandard finite field

Published on 28 Mar 2026 - 13:42

score 97 · Answer 8 · 2014-01-08 13:25:05

97

Views

Curve in $(\mathbb{R},<)$ going to infinity

Published on 08 Jan 2014 - 13:25

score 556 · Answer 9 · 2026-04-07 18:00:20

556

Views

Can A Decidable Theory Have Nonrecursive Models?

Published on 07 Apr 2026 - 18:00

score 368 · Answer 10 · 2026-04-01 15:40:54

368

Views

How best to formalize propositions suffering from "size issues"?

Published on 01 Apr 2026 - 15:40

score 55 · Answer 11 · 2014-01-12 06:50:28

55

Views

If A is a model of (B is a model of C), then can we say that A is a model of C?

Published on 12 Jan 2014 - 6:50

score 677 · Answer 12 · 2026-03-25 12:21:11

677

Views

How do we know that certain concrete nonstandard models of the natural numbers satisfy the Peano axioms?

Published on 25 Mar 2026 - 12:21

score 1.4k · Answer 13 · 2014-01-14 15:14:39

1.4k

Views

Number of Non-isomorphic models of Set Theory

Published on 14 Jan 2014 - 15:14

score 592 · Answer 14 · 2014-01-15 09:45:06

592

Views

Isomorphism of finite models

Published on 15 Jan 2014 - 9:45

score 313 · Answer 15 · 2014-01-15 22:47:16

313

Views

Testcases for Baldwin Lachlan

Published on 15 Jan 2014 - 22:47

List Question

Prove that the set of $\mathcal{L}$-terms has size $\max\{\aleph_0, \#\text{ of constant sym plus the $\#$ function sym}\}$.

Questions on a sentence in ZFC asserting that ZFC has a model

Determining if a theory in first-order logic is decidable

every element of $V_{\omega}$ is definable

Examples of $\omega_{1}<\alpha<\omega_{2}$ definable

Does model theory extend to partial functions?

Pseudo-finite field vs Nonstandard finite field

Curve in $(\mathbb{R},<)$ going to infinity

Can A Decidable Theory Have Nonrecursive Models?

How best to formalize propositions suffering from "size issues"?

If A is a model of (B is a model of C), then can we say that A is a model of C?

How do we know that certain concrete nonstandard models of the natural numbers satisfy the Peano axioms?

Number of Non-isomorphic models of Set Theory

Isomorphism of finite models

Testcases for Baldwin Lachlan

Trending Questions

Popular # Hahtags

Popular Questions