Reflecting and unfolding

DOI10.1007/978-3-030-97303-2_19OpenAlexW4285180115MaRDI QIDQ2094161

Andrea Cantini

Publication date: 28 October 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-97303-2_19

zbMATH Keywords

truthunfoldingoperationimplicit commitment

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 18th century (01A50) History of mathematics in Late Antiquity and medieval Europe (01A35) History of mathematics in the 17th century (01A45) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) History of Greek and Roman mathematics (01A20) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The unfolding of non-finitist arithmetic
• Logical frameworks for truth and abstraction. An axiomatic study
• The implicit commitment of arithmetical theories and its semantic core
• Derivatives of normal functions in reverse mathematics
• A flexible type system for the small Veblen ordinal
• TRUTH AND SPEED-UP
• Arithmetical Reflection and the Provability of Soundness
• UNFOLDING FINITIST ARITHMETIC
• About Truth and Types
• The Operational Perspective: Three Routes
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• Notes on Formal Theories of Truth
• Construction of Satisfaction Classes for Nonstandard Models
• Reflecting on incompleteness
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• Unfolding Schematic Systems
• Theories of Proof-Theoretic Strength Ψ (Γ_Ω +1)

This page was built for publication: Reflecting and unfolding