MATH
Login Or Sign up

List Question

15
135
Views

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

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

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

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

Independence of FLT over weak systems

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

Simpson's Definition of Parameters and Definability

Published on
#logic #reverse-math
130
Views

Extensionality in Second Order Arithmetic?

Published on
#logic #reverse-math
180
Views

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

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

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

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

Getting formula based on graph

Published on
#reverse-math
85
Views

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

Published on
#logic #reverse-math
52
Views

Proof of determinacy result without power set?

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

Limit of the derivative and LUB

Published on
#real-analysis #ordered-fields #reverse-math
127
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
99
Views

Ramsey theorems for the naturals and for general infinite sets

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

Proof of Borel-Wadge determinacy without using Borel determinacy?

Published on
#descriptive-set-theory #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.