MATH
Login Or Sign up

List Question

15
136
Views

Is the empty set always an 'implicit member' of all sets under a pure set theory?

Published on
#set-theory #ordinals #reverse-math
57
Views

Why doesn't $RCA_0$ prove $\Sigma^0_1$-comprehension?

Published on
#logic #proof-theory #peano-axioms #meta-math #reverse-math
46
Views

Independence of FLT over weak systems

Published on
#number-theory #proof-theory #reverse-math
65
Views

Simpson's Definition of Parameters and Definability

Published on
#logic #reverse-math
131
Views

Extensionality in Second Order Arithmetic?

Published on
#logic #reverse-math
181
Views

What axioms are needed in proofs of the independence of the continuum hypothesis?

Published on
#set-theory #cardinals #forcing #reverse-math
262
Views

Can $T$, $T+A$, and $T+\neg A$ all have different consistency strengths?

Published on
#logic #set-theory #reverse-math
347
Views

Getting formula based on graph

Published on
#reverse-math
88
Views

Justify the existence of a set by using $\Delta_1^0$ comprehension

Published on
#logic #reverse-math
57
Views

Proof of determinacy result without power set?

Published on
#reference-request #reverse-math
154
Views

Limit of the derivative and LUB

Published on
#real-analysis #ordered-fields #reverse-math
128
Views

Omega-model of WWKL consisting of random reals

Published on
#logic #computability #descriptive-set-theory #reverse-math #algorithmic-randomness
1.4k
Views

Applications of the Mean Value Theorem (but not Mean Value Inequality)

Published on
#calculus #real-analysis #derivatives #reverse-math
100
Views

Ramsey theorems for the naturals and for general infinite sets

Published on
#logic #computability #ramsey-theory #reverse-math
88
Views

Proof of Borel-Wadge determinacy without using Borel determinacy?

Published on
#descriptive-set-theory #reverse-math

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.