Recommendations
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Δ0 + Ω1 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)