Question

Proof that $(V_{\omega},\in)\models ZFC-Inf+\neg Inf$.

score 99 · Answer 1 · 2023-07-16 09:11:35

99

Views

Proof that $(V_{\omega},\in)\models ZFC-Inf+\neg Inf$.

Published on 16 Jul 2023 - 9:11

score 56 · Answer 2 · 2026-03-26 00:52:57

56

Views

Does every real-closed field satisfy the first-order least upper bound axiom schema?

Published on 26 Mar 2026 - 0:52

score 92 · Answer 3 · 2023-07-17 20:13:13

92

Views

prime extensions

Published on 17 Jul 2023 - 20:13

score 36 · Answer 4 · 2023-07-17 23:03:18

36

Views

Has numerosity-preserving functions between structures been studied before?

Published on 17 Jul 2023 - 23:03

score 91 · Answer 5 · 2023-07-17 23:10:45

91

Views

Has this model theory definition been studied in the literature?

Published on 17 Jul 2023 - 23:10

score 71 · Answer 6 · 2026-03-29 16:49:43

71

Views

A basis for the equational identities of unordered $n$-tuples

Published on 29 Mar 2026 - 16:49

score 153 · Answer 7 · 2023-07-21 04:34:50

153

Views

Question regarding Skolem's Paradox

Published on 21 Jul 2023 - 4:34

score 180 · Answer 8 · 2023-07-22 10:32:42

180

Views

Undefinable subset of $(\mathbb{N}, <)$

Published on 22 Jul 2023 - 10:32

score 175 · Answer 9 · 2026-03-25 04:40:50

175

Views

If Goldbach's conjecture G is undecidable in PA, then can we prove $\mathbb N\models G$?

Published on 25 Mar 2026 - 4:40

score 93 · Answer 10 · 2026-03-30 07:28:23

93

Views

Let $\pi$ be a $ℍ_$-recursive projection of $ℍ_$ into . What does $ℍ_{(, Domain(\pi))}$ contain?

Published on 30 Mar 2026 - 7:28

score 108 · Answer 11 · 2026-03-26 22:14:52

108

Views

Are the natural numbers definable in ZFC-Inf

Published on 26 Mar 2026 - 22:14

score 41 · Answer 12 · 2026-03-26 00:53:43

41

Views

Strong homogeneity of order type of real closed fields

Published on 26 Mar 2026 - 0:53

score 69 · Answer 13 · 2023-07-26 22:04:55

69

Views

How are stable homogeneous structures interpreted in dense linear order?

Published on 26 Jul 2023 - 22:04

score 50 · Answer 14 · 2023-07-27 04:28:37

50

Views

Construct a sentence involving a model's function's injective character implicating the model's universe's infinity

Published on 27 Jul 2023 - 4:28

score 189 · Answer 15 · 2026-03-25 23:35:23

189

Views

What is a "class model" exactly?

Published on 25 Mar 2026 - 23:35

List Question

Proof that $(V_{\omega},\in)\models ZFC-Inf+\neg Inf$.

Does every real-closed field satisfy the first-order least upper bound axiom schema?

prime extensions

Has numerosity-preserving functions between structures been studied before?

Has this model theory definition been studied in the literature?

A basis for the equational identities of unordered $n$-tuples

Question regarding Skolem's Paradox

Undefinable subset of $(\mathbb{N}, <)$

If Goldbach's conjecture G is undecidable in PA, then can we prove $\mathbb N\models G$?

Let $\pi$ be a $ℍ_$-recursive projection of $ℍ_$ into . What does $ℍ_{(, Domain(\pi))}$ contain?

Are the natural numbers definable in ZFC-Inf

Strong homogeneity of order type of real closed fields

How are stable homogeneous structures interpreted in dense linear order?

Construct a sentence involving a model's function's injective character implicating the model's universe's infinity

What is a "class model" exactly?

Trending Questions

Popular # Hahtags

Popular Questions