PREDICATIVISM AS A FORM OF POTENTIALISM
From MaRDI portal
Publication:5880421
DOI10.1017/S1755020321000423OpenAlexW3215492057MaRDI QIDQ5880421
Stewart Shapiro, Øystein Linnebo
Publication date: 2 March 2023
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020321000423
Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Predicative foundations of arithmetic
- Inaccessible set axioms may have little consistency strength
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture
- INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
- Proper classes
- Predicative Expansions of Axiomatic Theories
- THE POTENTIAL HIERARCHY OF SETS
- Actual and Potential Infinity
- La prédicativité
- Systems of predicative analysis
- Modal Logic as Metaphysics
- Persistent and invariant formulas relative to theories of higher order
- On the interpretation of intuitionistic number theory