The predicative Frege hierarchy

DOI10.1016/J.APAL.2009.02.001zbMATH Open1172.03005OpenAlexW2076712807MaRDI QIDQ2271986FDOQ2271986

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

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

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)

Cites Work

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

Cited In (19)

• A note on typed truth and consistency assertions
• Predicative Fragments of Frege Arithmetic
• Vaught's theorem on axiomatizability by a scheme
• The finitistic consistency of Heck's predicative Fregean system
• Finitely axiomatized theories lack self‐comprehension
• CONSISTENCY AND THE THEORY OF TRUTH
• Friedman-reflexivity
• Zur Axiomatik der Friedmanschen Theorie der Prädikate
• THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• Title not available (Why is that?)
• Explicit abstract objects in predicative settings
• Title not available (Why is that?)
• 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
• 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

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)