Question

The Mitchell order

score 159 · Answer 1 · 2026-04-04 12:34:03

159

Views

The Mitchell order

Published on 04 Apr 2026 - 12:34

score 225 · Answer 2 · 2017-11-10 01:17:00

225

Views

Forking implies that the Morley Rank became smaller

Published on 10 Nov 2017 - 1:17

score 144 · Answer 3 · 2026-03-29 02:12:41

144

Views

Why the following initial segment is NOT a model of PA

Published on 29 Mar 2026 - 2:12

score 125 · Answer 4 · 2026-03-27 04:23:40

125

Views

frame and dual frame of modal logic

Published on 27 Mar 2026 - 4:23

score 76 · Answer 5 · 2026-04-11 19:09:45

76

Views

If $\kappa$ is an $\eta$-extendible cardinal then it is $\delta$-extendible for every $\delta <\eta$

Published on 11 Apr 2026 - 19:09

score 120 · Answer 6 · 2026-04-11 12:25:05

120

Views

Definability in first order language

Published on 11 Apr 2026 - 12:25

score 86 · Answer 7 · 2017-11-15 01:09:42

86

Views

The nature of the symbol $\in$ in models of set theory within set theory

Published on 15 Nov 2017 - 1:09

score 99 · Answer 8 · 2026-03-26 13:01:01

99

Views

Does V have a model that looks like V, according to Morse-Kelly set theory?

Published on 26 Mar 2026 - 13:01

score 180 · Answer 9 · 2026-03-25 13:54:14

180

Views

Can a countable model of arithmetic have mutually non-definable numbers?

Published on 25 Mar 2026 - 13:54

score 70 · Answer 10 · 2026-04-11 23:05:07

70

Views

A trouble understanding a lemma in the article 'A natural model of the multiverse axioms'.

Published on 11 Apr 2026 - 23:05

score 951 · Answer 11 · 2026-04-08 18:03:44

951

Views

Inclusion vs Embedding

Published on 08 Apr 2026 - 18:03

score 198 · Answer 12 · 2017-11-20 17:07:07

198

Views

Atomic models versus constructible models

Published on 20 Nov 2017 - 17:07

score 211 · Answer 13 · 2026-03-29 20:55:11

211

Views

$\kappa$ $\lambda$-supercompact $\longrightarrow\lambda$ is represented by the "order type" function in the ultrapower

Published on 29 Mar 2026 - 20:55

score 309 · Answer 14 · 2026-04-09 07:11:24

309

Views

The relation $<$ is not definable in structure $\langle\mathbb R,+,0\rangle$ as a first order formula

Published on 09 Apr 2026 - 7:11

score 429 · Answer 15 · 2026-04-11 16:50:47

429

Views

How to prove that a dense, complete, separable linear order with no end points is isomorphic to the reals as a linear order?

Published on 11 Apr 2026 - 16:50

List Question

The Mitchell order

Forking implies that the Morley Rank became smaller

Why the following initial segment is NOT a model of PA

frame and dual frame of modal logic

If $\kappa$ is an $\eta$-extendible cardinal then it is $\delta$-extendible for every $\delta <\eta$

Definability in first order language

The nature of the symbol $\in$ in models of set theory within set theory

Does V have a model that looks like V, according to Morse-Kelly set theory?

Can a countable model of arithmetic have mutually non-definable numbers?

A trouble understanding a lemma in the article 'A natural model of the multiverse axioms'.

Inclusion vs Embedding

Atomic models versus constructible models

$\kappa$ $\lambda$-supercompact $\longrightarrow\lambda$ is represented by the "order type" function in the ultrapower

The relation $<$ is not definable in structure $\langle\mathbb R,+,0\rangle$ as a first order formula

How to prove that a dense, complete, separable linear order with no end points is isomorphic to the reals as a linear order?

Trending Questions

Popular # Hahtags

Popular Questions