Pages that link to "Item:Q1577479"
From MaRDI portal
The following pages link to The unfolding of non-finitist arithmetic (Q1577479):
Displaying 17 items.
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- UNFOLDING FINITIST ARITHMETIC (Q3066785) (← links)
- Error and Predicativity (Q3195675) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- Predicativity and Regions-Based Continua (Q5214785) (← links)
- Unfolding Schematic Systems (Q5214786) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)
