THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

DOI10.1017/S1755020316000411zbMath1376.03005arXiv1612.06219MaRDI QIDQ5274882

Walter Dean, Sean Walsh

Publication date: 6 July 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.06219

zbMATH Keywords

constructive mathematicsreverse mathematicssecond-order arithmeticpredicativityhistory of logicfinitism

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35)

Related Items (4)

STRICT FINITISM, FEASIBILITY, AND THE SORITES ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ The Reverse Mathematics of wqos and bqos ⋮ Predicativity and constructive mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher set theory and mathematical practice
• ∏ 0 1 Classes and Degrees of Theories
• On mathematical instrumentalism
• On weak completeness of intuitionistic predicate logic
• Incompleteness along paths in progressions of theories
• The completeness of the first-order functional calculus
• Non-standard models for formal logics
• Some impredicative definitions in the axiomatic set theory
• Note on arithmetic models for consistent formulae of the predicate calculus
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
• Banishing the rule of substitution for functional variables
• The formalization of mathematics
• Introduction to Mathematical Logic (PMS-13)
• A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis
• Elementarily definable analysis
• Does Mathematics Need New Axioms?
• Predicativity, the Russell-Myhill paradox, and Church's intensional logic
• Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
• Proofs of the Cantor-Bernstein theorem. A mathematical excursion
• Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
• Fragments of arithmetic
• Intuitionism. An introduction
• Dedekind's analysis of number: Systems and axioms
• Countable algebra and set existence axioms
• Harvey Friedman's research on the foundations of mathematics
• Proof theory. 2nd ed
• Descriptive set theory
• Burali-Forti's paradox: A reappraisal of its origins
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Constructivism in mathematics. An introduction. Volume I
• Set theoretic foundations for constructive analysis
• Labyrinth of thought. A history of set theory and its role in modern mathematics
• On the origins of Dénes König's infinity lemma
• Computable structures and the hyperarithmetical hierarchy
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
• Between number theory and set theory
• LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC
• The limits of determinacy in second-order arithmetic
• Reverse Mathematics: The Playground of Logic
• Hierarchies of number-theoretic predicates
• Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
• Mathematical significance of consistency proofs
• Separation principles in the hierarchies of classical and effective descriptive set theory
• Degrees of models
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• Partial realizations of Hilbert's program
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Second order arithmetic and related topics
• THE IDEAS OF N. N. LUZIN IN DESCRIPTIVE SET THEORY
• Descending sequences of degrees
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• Zermelo: definiteness and the universe of definable sets
• Set Theory
• On some classical problems of descriptive set theory
• La prédicativité
• Systems of predicative analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• A survey of proof theory
• Recursive Pseudo-Well-Orderings
• SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS

This page was built for publication: THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC