MATH
Login Or Sign up

List Question

15
62
Views

What subsystem of second-order arithmetic proves the weak Godel’s Theorem?

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

Geometry of typical sets

Published on
#combinatorics #geometry #statistics #information-theory #reverse-math
149
Views

Weak Konig's Lemma and Sequential Compactness

Published on
#sequences-and-series #logic #compactness #reverse-math
86
Views

Is it possible to calculate the input variable of a specific encryption function without brute-forcing it?

Published on
#functions #algorithms #recursive-algorithms #reverse-math
153
Views

What is the Turing degree of truth in the second-order theory of real numbers?

Published on
#logic #computability #second-order-logic #reverse-math
3k
Views

How to get an original function from the limit definition of a derivative?

Published on
#calculus #limits #derivatives #algorithms #reverse-math
117
Views

Reverse Mathematics of Well-Founded Induction in Primitive Recursive Arithmetic

Published on
#logic #foundations #reverse-math
38
Views

getting the initial number from the end total

Published on
#reverse-math
47
Views

Proof of that there is no uniform proof of the Effective Dushnik-Miller conjecture.

Published on
#computability #reverse-math
438
Views

What is the difference between "Peano arithmetic," "second-order arithmetic," and "second-order Peano arithmetic?"

Published on
#logic #axioms #foundations #peano-axioms #reverse-math
145
Views

A bit of reverse math fun: how to ensure the existence of the ordinal $\omega^\omega$?

Published on
#ordinals #reverse-math
85
Views

Second-order arithmetic subsystems

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

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

Published on
#proof-theory #second-order-logic #reverse-math
41
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

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.