Pages that link to "Item:Q3803081"
From MaRDI portal
The following pages link to Hilbert's program relativized; Proof-theoretical and foundational reductions (Q3803081):
Displaying 29 items.
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- The meaning of pure mathematics (Q1123181) (← links)
- The ignorance of Bourbaki (Q1200112) (← links)
- We shall know: Hilbert's apology (Q1286340) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- Reduction of Hilbert-type proof systems to the if-then-else equational logic (Q1428985) (← links)
- Universes over Frege structures (Q1861539) (← links)
- A system of complete and consistent truth (Q1893134) (← links)
- Totality in applicative theories (Q1896484) (← links)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. II (Q1919537) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Theories and ordinals in proof theory (Q2500821) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Reflecting on incompleteness (Q3981446) (← links)
- Hilbert's Programs: 1917–1922 (Q4254642) (← links)
- Ordered Groups: A Case Study in Reverse Mathematics (Q4254643) (← links)
- Hilbert's program and the omega-rule (Q4292612) (← links)
- Polynomial time operations in explicit mathematics (Q4358055) (← links)
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) (Q4602436) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- Feferman’s Skepticism About Set Theory (Q5214798) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- On uniform weak König's lemma (Q5957854) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
