Question

Why isn't second-order ZFC categorical?

score 1.2k · Answer 1 · 2026-03-29 03:45:18

1.2k

Views

Why isn't second-order ZFC categorical?

Published on 29 Mar 2026 - 3:45

score 151 · Answer 2 · 2026-04-03 07:27:40

151

Views

How to prove an equality in a Lindenbaum-Tarski algebra?

Published on 03 Apr 2026 - 7:27

score 299 · Answer 3 · 2015-04-02 14:29:14

299

Views

Random graphs are not uncountably categorical

Published on 02 Apr 2015 - 14:29

score 447 · Answer 4 · 2015-04-03 07:53:38

447

Views

Why are $\vdash$ and $\vDash$ symbols from metalanguage?

Published on 03 Apr 2015 - 7:53

score 152 · Answer 5 · 2015-04-03 14:27:20

152

Views

When you name an element in an uncountably categorical theory....

Published on 03 Apr 2015 - 14:27

score 291 · Answer 6 · 2015-04-05 02:21:35

291

Views

Morley Rank of Conjunction

Published on 05 Apr 2015 - 2:21

score 868 · Answer 7 · 2015-04-06 11:18:28

868

Views

A Characterization of Categories with a Conservative Forgetful Functor to SET

Published on 06 Apr 2015 - 11:18

score 224 · Answer 8 · 2015-04-07 08:15:47

224

Views

Counterexample to Fraissé's Theorem for infinite signature

Published on 07 Apr 2015 - 8:15

score 237 · Answer 9 · 2015-04-08 20:14:31

237

Views

Model theory: Find an example for an infinite structure with only finite substructures

Published on 08 Apr 2015 - 20:14

score 39 · Answer 10 · 2015-04-08 22:55:19

39

Views

Let $M,N$ be structures with relation $E$. $E^N$ and $E^M$ are equivalence relations, find sufficient and necessary condition for isomorphism

Published on 08 Apr 2015 - 22:55

score 2.6k · Answer 11 · 2026-03-26 22:13:37

2.6k

Views

Does there exist any uncountable group , every proper subgroup of which is countable?

Published on 26 Mar 2026 - 22:13

score 321 · Answer 12 · 2015-04-09 12:31:19

321

Views

Is the following structure $\omega$-categorical?

Published on 09 Apr 2015 - 12:31

score 380 · Answer 13 · 2015-04-09 15:15:47

380

Views

elementary substructure in a satureted model

Published on 09 Apr 2015 - 15:15

score 168 · Answer 14 · 2015-04-09 23:40:42

168

Views

Infinite palindromes in number of nonisomorphic posets is independent of $\mathsf{ZF}$

Published on 09 Apr 2015 - 23:40

score 160 · Answer 15 · 2015-04-10 10:56:24

160

Views

algebraic closures (model -theory)

Published on 10 Apr 2015 - 10:56

List Question

Why isn't second-order ZFC categorical?

How to prove an equality in a Lindenbaum-Tarski algebra?

Random graphs are not uncountably categorical

Why are $\vdash$ and $\vDash$ symbols from metalanguage?

When you name an element in an uncountably categorical theory....

Morley Rank of Conjunction

A Characterization of Categories with a Conservative Forgetful Functor to SET

Counterexample to Fraissé's Theorem for infinite signature

Model theory: Find an example for an infinite structure with only finite substructures

Let $M,N$ be structures with relation $E$. $E^N$ and $E^M$ are equivalence relations, find sufficient and necessary condition for isomorphism

Does there exist any uncountable group , every proper subgroup of which is countable?

Is the following structure $\omega$-categorical?

elementary substructure in a satureted model

Infinite palindromes in number of nonisomorphic posets is independent of $\mathsf{ZF}$

algebraic closures (model -theory)

Trending Questions

Popular # Hahtags

Popular Questions