Grundlagen der Mathematik I
From MaRDI portal
Publication:5585366
DOI10.1007/978-3-642-86894-8zbMATH Open0191.28402OpenAlexW4252147174MaRDI QIDQ5585366FDOQ5585366
Publication date: 1968
Full work available at URL: http://link.springer.com/978-3-642-86894-8
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75)
Cited In (44)
- An Arithmetically Complete Predicate Modal Logic
- Mathematical intuition and natural numbers: a critical discussion
- Fragments of arithmetic
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps
- The Reverse Mathematics of wqos and bqos
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA
- A Survey of Propositional Realizability Logic
- A simple proof of Parsons' theorem
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
- From constructivism to computer science
- A remark about absolute planes
- Development of a wrinkling algorithm for orthotropic membrane materials
- Elie Cartan and pan-geometry of multispatial hyperspace
- Hilbert's epsilon as an operator of indefinite committed choice
- Topological Interpretations of Provability Logic
- Decidability of Right One-Way Jumping Finite Automata
- Title not available (Why is that?)
- Markov's constructive analysis; a participant's view
- Epsilon substitution method for elementary analysis
- The slingshot argument and sentential identity
- Studies in constructive mathematics and mathematical logic. Part IX
- Montague's paradox, informal provability, and explicit modal logic
- Hilbert's Programs: 1917–1922
- Formalism and Hilbert's understanding of consistency problems
- On mathematical instrumentalism
- Elimination problems in logic: a brief history
- On the Motives for Proof Theory
- Lifting proofs from countable to uncountable mathematics
- The calculus of natural calculation
- Title not available (Why is that?)
- Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics
- Logical self-reference as a model for conscious experience
- PROOF MINING IN Lp SPACES
- Definition in mathematics
- Title not available (Why is that?)
- Between Russell and Hilbert: Behmann on the Foundations of Mathematics
- Abstraction, Axiomatization and Rigor: Pasch and Hilbert
- Foundations for analysis and proof theory
- Title not available (Why is that?)
- About certain groups of classes of sets and their application to the definitions of numbers
- Hybrid modal operators for definite descriptions
- Un'estensione del teorema di Lob
- Predicate logics of expressively strong theories
This page was built for publication: Grundlagen der Mathematik I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5585366)
