scientific article; zbMATH DE number 3013302
From MaRDI portal
Publication:4756727
Cited in
(42)- Natural deduction and arbitrary objects
- A second order theory of data types
- Hilbert's ``Grundlagen der Geometrie
- Proof of structural completeness of a certain class of implicative propositional calculi
- Hilbert's logic. From axiomatics to proof theory
- Reverse mathematics and its meaning
- Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations
- Jean van Heijenoort's conception of modern logic, in historical perspective
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
- On rereading van Heijenoort's selected essays
- Hilbert's objectivity
- The mathematical universe
- Finite set theory, number theory and axioms of limitation
- Propositional calculus for contradictory deductive systems
- Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie.
- Some concepts concerning formal systems of number theory
- scientific article; zbMATH DE number 3148408 (Why is no real title available?)
- Asymptotic quasi-completeness and ZFC
- Different senses of finitude: an inquiry into Hilbert's finitism
- scientific article; zbMATH DE number 107922 (Why is no real title available?)
- scientific article; zbMATH DE number 193416 (Why is no real title available?)
- scientific article; zbMATH DE number 3601542 (Why is no real title available?)
- “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays
- Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
- The Semantic Function of the Axiomatic Method
- Natural Deduction for Equality: The Missing Entity
- scientific article; zbMATH DE number 3260746 (Why is no real title available?)
- scientific article; zbMATH DE number 3277415 (Why is no real title available?)
- Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie
- Recursive Functions and Intuitionistic Number Theory
- Truth Definitions and Consistency Proofs
- Recursive Functions and Intuitionistic Number Theory
- \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem
- An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion
- The completeness theorem? So what!
- The practice of finitism: epsilon calculus and consistency proofs in Hilbert's program
- Serial properties, selector proofs and the provability of consistency
- What are extremal axioms?
- Axiomatics of set theory without element relation
- Logical equations in monadic logic
- Formal axiomatic theories based on a three-valued logic
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 Q4756727)
