List questions from second-order-logic | MathQa

Maximal Realism and Continuum Hypotehsis

Published on 13 Jan 2025 - 3:46

What ordinals are computable using $\Sigma^1_2$ and $\Pi^1_2$ truth?

Published on 13 Jan 2025 - 4:03

Equivalence Between Sentences in $\mathcal{L}^{w}_{II}$ and in $\mathcal{L}_{\omega_1 \omega}$

Published on 13 Jan 2025 - 4:09

What is the omega-completion of $ACA_0$

Published on 13 Jan 2025 - 3:51

What order types can well-ordered proper classes have?

Published on 13 Jan 2025 - 3:58

Set Builder Notation on predicate

Published on 13 Jan 2025 - 3:49

What axiom system for the complex numbers is categorical?

Published on 13 Jan 2025 - 4:00

Can order types of well-ordered proper classes be put in one to one correspondence with $V$?

Published on 13 Jan 2025 - 4:13

Is there a specific infinitary sentence second-order logic can't capture?

Published on 13 Jan 2025 - 4:07

Why do you need the full semantics to prove the quasi categoricity of second-order ZFC

Published on 13 Jan 2025 - 4:12