The Operational Perspective: Three Routes

DOI10.1007/978-3-319-29198-7_7MaRDI QIDQ3305557zbMATH OpenOpenAlexFDO

Authors Solomon Feferman

Publication date 7 August 2020

Published in Advances in Proof Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-29198-7_7

zbMATH Keywords

proof theorytruth predicatetransfinite inductionsubstitution ruleinduction axiom

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Metamathematics of constructive systems (03F50)

Cites work

• scientific article; zbMATH DE number 4134038 (Why is no real title available?)
• scientific article; zbMATH DE number 3831930 (Why is no real title available?)
• scientific article; zbMATH DE number 3833954 (Why is no real title available?)
• scientific article; zbMATH DE number 3825795 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3687373 (Why is no real title available?)
• scientific article; zbMATH DE number 3487445 (Why is no real title available?)
• scientific article; zbMATH DE number 3497881 (Why is no real title available?)
• scientific article; zbMATH DE number 3556031 (Why is no real title available?)
• scientific article; zbMATH DE number 1215496 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 2168558 (Why is no real title available?)
• scientific article; zbMATH DE number 1870416 (Why is no real title available?)
• scientific article; zbMATH DE number 1870423 (Why is no real title available?)
• scientific article; zbMATH DE number 1870425 (Why is no real title available?)
• scientific article; zbMATH DE number 922612 (Why is no real title available?)
• scientific article; zbMATH DE number 1418436 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3316033 (Why is no real title available?)
• scientific article; zbMATH DE number 3330710 (Why is no real title available?)
• scientific article; zbMATH DE number 3385609 (Why is no real title available?)
• scientific article; zbMATH DE number 3061667 (Why is no real title available?)
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• A set of postulates for the foundation of logic. II
• A well-ordering proof for Feferman's theoryT 0
• About the strength of operational regularity
• Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis
• Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
• Constructive set theory with operations
• Describing ordinals using functionals of transfinite type
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
• Elementary constructive operational set theory
• Extending constructive operational set theory by impredicative principles
• Full operational set theory with unbounded existential quantification and power set
• Monotone inductive definitions in a constructive theory of functions and classes
• Monotone inductive definitions in explicit mathematics
• Normal functions and constructive ordinal notations
• On Feferman's operational set theory \textsf{OST}
• On the proof-theoretic strength of monotone induction in explicit mathematics
• On the relationship between ATR₀ and
• Operational closure and stability
• Operational set theory and small large cardinals
• Operations, sets and classes
• Outline of a Theory of Truth
• Power Kripke-Platek set theory and the axiom of choice
• Reflecting on incompleteness
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Relativizing operational set theory
• Systems of explicit mathematics with non-constructive -operator and join
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• Systems of explicit mathematics with non-constructive -operator. II
• Systems of predicative analysis
• The Gödel hierarchy and reverse mathematics
• The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories
• The \(\mu\) quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals
• The strength of Mac Lane set theory
• The strength of admissibility without foundation
• The system CΔ of combinatory logic
• The unfolding of non-finitist arithmetic
• Theories of proof-theoretic strength \(\psi(\Gamma_{\Omega+1})\)
• Totality in applicative theories
• Towards a computation system based on set theory
• Unfolding finitist arithmetic
• What is Cantor's Continuum Problem?
• ^1_1 choice in a theory of sets and classes

Cited in

(5)

• IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
• The operational penumbra: some ontological aspects
• Unfolding schematic systems
• Reflecting and unfolding

This page was built for publication: The Operational Perspective: Three Routes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305557)