Formal system of analysis based on an infinitistic rule of proof
- 1 January 1979
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The classical and the ω-complete arithmeticThe Journal of Symbolic Logic, 1958
- Some consequences of the axiom of constructibilityFundamenta Mathematicae, 1958
- Separation principles in the hierarchies of classical and effective descriptive set theoryFundamenta Mathematicae, 1958
- Arithmetical predicates and function quantifiersTransactions of the American Mathematical Society, 1955
- An undecidable arithmetical statementFundamenta Mathematicae, 1949