MATH
Login Or Sign up

List Question

15
106
Views

How big a "scaffold" does second-order logic need to detect its own equivalence notion?

Published on
#logic #set-theory #model-theory #second-order-logic
79
Views

Is there a "canonical" form of second order logic?

Published on
#logic #reference-request #formal-proofs #second-order-logic
100
Views

Proving $\forall x (\exists Y ((Dx \to Yx) \land (Yx \to Ax))) \vdash \forall x (Dx \to Ax)$

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

Second-order arithmetic subsystems

Published on
#set-theory #second-order-logic #reverse-math
147
Views

Prove the Archimedean property from second-order Dedekind completeness OR prove the existence of the integers.

Published on
#real-analysis #second-order-logic
33
Views

Strength and conservativity of $\Sigma^1_n \textrm{-DC}_0$

Published on
#proof-theory #second-order-logic #reverse-math
367
Views

Why is ZFC incapable of interpreting second-order logic?

Published on
#logic #set-theory #foundations #second-order-logic
118
Views

Proofs that monadic second order logic is not compact

Published on
#logic #first-order-logic #second-order-logic
35
Views

Hypotheses of the quadratic convergence of a real serie $x_k$

Published on
#sequences-and-series #convergence-divergence #second-order-logic
87
Views

Are there expressive compact fragments of universal second order logic?

Published on
#logic #solution-verification #model-theory #second-order-logic
64
Views

Is there such a thing as the second-order theory of a structure?

Published on
#logic #model-theory #second-order-logic
39
Views

Peano categoricity is equivalent to weak konig lemma

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

What is the importance of Peano categoricity?

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

Does Z₂ Prove the iteration theorem?

Published on
#set-theory #peano-axioms #provability #second-order-logic #reverse-math
45
Views

In RCA0, Prove that for all n, fⁿ(i) exists

Published on
#first-order-logic #peano-axioms #second-order-logic #reverse-math

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.