Publication:3699664
From MaRDI portal
zbMath0578.03005MaRDI QIDQ3699664
Publication date: 1985
real analysis; fragments of arithmetic; set existence axioms; second order arithmetic; countable algebra; countable combinatorics; topology of the real line
03B30: Foundations of classical theories (including reverse mathematics)
03E30: Axiomatics of classical set theory and its fragments
03D80: Applications of computability and recursion theory
03F35: Second- and higher-order arithmetic and fragments
Related Items
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation, Computer programs and mathematical proofs, On the strength of König's duality theorem for infinite bipartite graphs, Things that can and things that cannot be done in PRA