scientific article; zbMATH DE number 3237808

zbMATH Open0147.24703MaRDI QIDQ5525322FDOQ5525322

Authors: Georg Kreisel 

Publication date: 1965

Title of this publication is not available (Why is that?)

zbMATH Keywords

mathematical logic

Cited In (36)

• Inductive completeness of logics of programs
• Title not available (Why is that?)
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• Transfinite expansions of arithmetic formulas
• Title not available (Why is that?)
• Principles of reflection and second-order logic
• The Operational Perspective: Three Routes
• \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• From constructivism to computer science
• Physical computability theses
• Extensions to a generalization critic for inductive proof
• To be or not to be constructive, that is not the question
• Gödel and intuitionism
• On the Completeness of Dynamic Logic
• Intrinsic reasoning about functional programs. I: First order theories
• Montague's paradox, informal provability, and explicit modal logic
• Justification logic and type theory as formalizations of intuitionistic propositional logic
• Parametric Church's thesis: synthetic computability without choice
• Algorithmic properties of structures
• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• Knowledge-based proof planning
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• Formal notes on the substitutional analysis of logical consequence
• The significance of relativistic computation for the philosophy of mathematics
• Title not available (Why is that?)
• Formal ontology and mathematics. A case study on the identity of proofs
• The substitutional analysis of logical consequence
• Verificationism and Classical Realizability
• Some applications of Gentzens second consistency proof
• Well-partial orderings and their maximal order types
• Five observations concerning the intended meaning of the intuitionistic logical constants
• Unfolding schematic systems
• The ontology of digital physics
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• Rosser provability and the second incompleteness theorem

This page was built for publication:

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