MATH
Login Or Sign up

List Question

10
163
Views

Maximal Realism and Continuum Hypotehsis

Published on
#set-theory #real-numbers #second-order-logic
340
Views

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

Published on
#set-theory #computability #ordinals #second-order-logic #oracles
106
Views

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

Published on
#logic #second-order-logic
132
Views

What is the omega-completion of $ACA_0$

Published on
#logic #peano-axioms #reverse-math #second-order-logic
263
Views

What order types can well-ordered proper classes have?

Published on
#logic #set-theory #ordinals #well-orders #second-order-logic
91
Views

Set Builder Notation on predicate

Published on
#logic #second-order-logic
554
Views

What axiom system for the complex numbers is categorical?

Published on
#real-analysis #logic #complex-numbers #model-theory #second-order-logic
98
Views

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

Published on
#logic #set-theory #ordinals #well-orders #second-order-logic
529
Views

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

Published on
#logic #set-theory #model-theory #descriptive-set-theory #second-order-logic
130
Views

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

Published on
#set-theory #second-order-logic

Trending Questions

Popular # Hahtags

real-analysis calculus linear-algebra probability abstract-algebra integration sequences-and-series combinatorics general-topology matrices functional-analysis complex-analysis geometry group-theory algebra-precalculus probability-theory ordinary-differential-equations limits analysis number-theory measure-theory elementary-number-theory statistics multivariable-calculus functions derivatives discrete-mathematics differential-geometry inequality trigonometry

Popular Questions

Copyright © 2021 JogjaFile Inc.