Question

Show that $\Gamma$ is $\kappa $-categorical for $\kappa>\aleph_{0}$ , but not $\aleph_{0}$-categorical.

score 378 · Answer 1 · 2026-04-15 00:03:49

378

Views

Show that $\Gamma$ is $\kappa $-categorical for $\kappa>\aleph_{0}$ , but not $\aleph_{0}$-categorical.

Published on 15 Apr 2026 - 0:03

score 306 · Answer 2 · 2026-04-15 01:12:40

306

Views

Show that if U is a principal ultrafilter then the canonical inmersion is an isomorphism between $\mathcal A$ and $Ult_{U}\mathcal A$

Published on 15 Apr 2026 - 1:12

score 186 · Answer 3 · 2026-04-09 05:19:06

186

Views

Model Theory problem

Published on 09 Apr 2026 - 5:19

score 221 · Answer 4 · 2026-04-15 20:08:50

221

Views

A finite subset of a countable, $\aleph_0$-categorical model invariant under automorphsims is definable?

Published on 15 Apr 2026 - 20:08

score 366 · Answer 5 · 2026-04-10 18:02:01

366

Views

First order logic: intersection is infinite

Published on 10 Apr 2026 - 18:02

score 164 · Answer 6 · 2026-04-09 04:17:59

164

Views

Is every model of $\Gamma$ a model of $Cn(\Gamma)$?

Published on 09 Apr 2026 - 4:17

score 373 · Answer 7 · 2026-04-14 13:46:20

373

Views

Can the material implication ever be used as the main connective within the scope of an existential quantifier?

Published on 14 Apr 2026 - 13:46

score 1.9k · Answer 8 · 2026-04-13 09:45:49

1.9k

Views

Validity undecidable in first order logic

Published on 13 Apr 2026 - 9:45

score 826 · Answer 9 · 2026-04-16 12:19:09

826

Views

Validity of first order formulae with free variables

Published on 16 Apr 2026 - 12:19

score 708 · Answer 10 · 2026-04-08 20:39:48

708

Views

Are partial orders definable in first order logic without equality?

Published on 08 Apr 2026 - 20:39

score 215 · Answer 11 · 2026-04-10 01:27:36

215

Views

Is there a reason to consider formulas with multiple quantifiers on the same variable?

Published on 10 Apr 2026 - 1:27

score 112 · Answer 12 · 2026-04-11 15:55:21

112

Views

Multiple uniqueness cases in first order logic

Published on 11 Apr 2026 - 15:55

score 144 · Answer 13 · 2026-04-14 11:56:29

144

Views

Expressing schedule of reinforcement rule using mathematical logic

Published on 14 Apr 2026 - 11:56

score 162 · Answer 14 · 2026-04-14 11:36:22

162

Views

Simple demonstration from Smullyan's "Godel's incompleteness theorems"

Published on 14 Apr 2026 - 11:36

score 1k · Answer 15 · 2026-04-08 09:06:50

1k

Views

First-order logic: how-to produce interpretation where a given formula is false?

Published on 08 Apr 2026 - 9:06

List Question

Show that $\Gamma$ is $\kappa $-categorical for $\kappa>\aleph_{0}$ , but not $\aleph_{0}$-categorical.

Show that if U is a principal ultrafilter then the canonical inmersion is an isomorphism between $\mathcal A$ and $Ult_{U}\mathcal A$

Model Theory problem

A finite subset of a countable, $\aleph_0$-categorical model invariant under automorphsims is definable?

First order logic: intersection is infinite

Is every model of $\Gamma$ a model of $Cn(\Gamma)$?

Can the material implication ever be used as the main connective within the scope of an existential quantifier?

Validity undecidable in first order logic

Validity of first order formulae with free variables

Are partial orders definable in first order logic without equality?

Is there a reason to consider formulas with multiple quantifiers on the same variable?

Multiple uniqueness cases in first order logic

Expressing schedule of reinforcement rule using mathematical logic

Simple demonstration from Smullyan's "Godel's incompleteness theorems"

First-order logic: how-to produce interpretation where a given formula is false?

Trending Questions

Popular # Hahtags

Popular Questions