The predicative Frege hierarchy

DOI10.1016/J.APAL.2009.02.001MaRDI QIDQ2271986zbMATH OpenOpenAlexFDO

Authors Albert Visser

Publication date 5 August 2009

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/26748

zbMATH Keywords

interpretabilityFregepredicative comprehension

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Recommendations

• The finitistic consistency of Heck's predicative Fregean system
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• A logic of abstraction related to finite constructive number classes
• Predicative Frege arithmetic and `everyday' mathematics
• Burgess’PVis Robinson’sQ

Cites work

• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• scientific article; zbMATH DE number 2212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3070439 (Why is no real title available?)
• A lattice of chapters of mathematics (interpretations between theorems [theories])
• A minimal predicative set theory
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Arithmetization of metamathematics in a general setting
• Burgess’PVis Robinson’sQ
• Cuts, consistency statements and interpretations
• On the interpretability of arithmetic in set theory
• On the scheme of induction for bounded arithmetic formulas
• On the untenability of Nelson's predicativism
• Proof-theoretic analysis by iterated reflection
• The formalization of interpretability

Cited in

(19)

• A note on typed truth and consistency assertions
• Vaught's theorem on axiomatizability by a scheme
• Predicative Fragments of Frege Arithmetic
• The finitistic consistency of Heck's predicative Fregean system
• Finitely axiomatized theories lack self‐comprehension
• Friedman-reflexivity
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• Zur Axiomatik der Friedmanschen Theorie der Prädikate
• scientific article; zbMATH DE number 7297896 (Why is no real title available?)
• Explicit abstract objects in predicative settings
• scientific article; zbMATH DE number 3898852 (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 computational glimpse at the Leibniz and Frege hierarchies
• The strength of abstraction with predicative comprehension
• Relevant predication. I: The formal theory
• Subject-predicate calculus free from existential import
• FREGE MEETS BROUWER (OR HEYTING OR DUMMETT)
• Minimal Categorical System and Predication Theory In Porphyry
• Consistency and the theory of truth

This page was built for publication: The predicative Frege hierarchy

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