Reflecting and unfolding
DOI10.1007/978-3-030-97303-2_19OpenAlexW4285180115MaRDI QIDQ2094161
Publication date: 28 October 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-97303-2_19
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