Question

Countable normal interpretations of $(=, <)$ elementary equivalent but not isomorphic to $\mathbb{Q}$ and $\mathbb{Q}^+$

score 60 · Answer 1 · 2018-06-23 02:33:43

60

Views

Countable normal interpretations of $(=, <)$ elementary equivalent but not isomorphic to $\mathbb{Q}$ and $\mathbb{Q}^+$

Published on 23 Jun 2018 - 2:33

score 151 · Answer 2 · 2026-03-25 15:45:29

151

Views

Cantor's theorem, unclear generalization

Published on 25 Mar 2026 - 15:45

score 84 · Answer 3 · 2026-03-25 22:05:42

84

Views

Is there a tableau proof of $\exists x \forall y (P(x)\to P(y))$

Published on 25 Mar 2026 - 22:05

score 435 · Answer 4 · 2026-03-25 15:46:11

435

Views

Is unsorted first-order logic equivalently expressive to infinitely-many-sorted first-order logic?

Published on 25 Mar 2026 - 15:46

score 38 · Answer 5 · 2026-03-25 20:32:32

38

Views

Are they the same formulas?

Published on 25 Mar 2026 - 20:32

score 187 · Answer 6 · 2026-03-25 07:52:28

187

Views

Can a $\Delta_0$ formula $\varphi$ not be independent of ZFC?

Published on 25 Mar 2026 - 7:52

score 185 · Answer 7 · 2018-07-03 07:31:12

185

Views

FOL - Checking first order entailment with a tool

Published on 03 Jul 2018 - 7:31

score 103 · Answer 8 · 2026-03-25 20:35:06

103

Views

Expert opinion needed on a Syllogism Problem

Published on 25 Mar 2026 - 20:35

score 207 · Answer 9 · 2026-03-25 15:42:35

207

Views

If a theorem is $\kappa$-categorical and has a model of order $\kappa$ when $\kappa<\aleph_0$ , then it's complete [FALSE CLAIM]

Published on 25 Mar 2026 - 15:42

score 47 · Answer 10 · 2026-03-25 22:03:47

47

Views

Prove or disprove: Given signature and structures, isomorphism... Then the structure is unique

Published on 25 Mar 2026 - 22:03

score 253 · Answer 11 · 2018-07-08 21:10:42

253

Views

Can first-order logic compactness theorem be used to prove extensibility of every partial ordering to a linear ordering?

Published on 08 Jul 2018 - 21:10

score 213 · Answer 12 · 2026-03-25 12:23:54

213

Views

A counterexample to verify that composition is not commutative?

Published on 25 Mar 2026 - 12:23

score 87 · Answer 13 · 2018-07-09 17:27:29

87

Views

Syntactic proof of existence of the Skolem normal form

Published on 09 Jul 2018 - 17:27

score 82 · Answer 14 · 2018-07-09 20:29:03

82

Views

Do sets of sentences in monadic first-order logic have the small model propery?

Published on 09 Jul 2018 - 20:29

score 171 · Answer 15 · 2018-07-09 21:39:01

171

Views

Infinite domains and nested quantification

Published on 09 Jul 2018 - 21:39

List Question

Countable normal interpretations of $(=, <)$ elementary equivalent but not isomorphic to $\mathbb{Q}$ and $\mathbb{Q}^+$

Cantor's theorem, unclear generalization

Is there a tableau proof of $\exists x \forall y (P(x)\to P(y))$

Is unsorted first-order logic equivalently expressive to infinitely-many-sorted first-order logic?

Are they the same formulas?

Can a $\Delta_0$ formula $\varphi$ not be independent of ZFC?

FOL - Checking first order entailment with a tool

Expert opinion needed on a Syllogism Problem

If a theorem is $\kappa$-categorical and has a model of order $\kappa$ when $\kappa<\aleph_0$ , then it's complete [FALSE CLAIM]

Prove or disprove: Given signature and structures, isomorphism... Then the structure is unique

Can first-order logic compactness theorem be used to prove extensibility of every partial ordering to a linear ordering?

A counterexample to verify that composition is not commutative?

Syntactic proof of existence of the Skolem normal form

Do sets of sentences in monadic first-order logic have the small model propery?

Infinite domains and nested quantification

Trending Questions

Popular # Hahtags

Popular Questions