scientific article; zbMATH DE number 3950473
From MaRDI portal
Publication:3720554
Recommendations
- scientific article; zbMATH DE number 47172
- Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
- scientific article; zbMATH DE number 107511
- The Gödel Editorial Project: A Synopsis
- Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
Cited in
(47)- A new method for undecidability proofs of first order theories
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
- Choice-free topological duality for implicative lattices and Heyting algebras
- The collected works of Alonzo Church. Edited by Tyler Burge and Herbert B. Enderton
- Lattice NExtS4 from the embedding theorem viewpoint
- On mind \& Turing's machines
- Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
- Why Turing’s Thesis Is Not a Thesis
- Dugundji's theorem revisited
- Otto Sterns Veröffentlichungen – Band 2
- scientific article; zbMATH DE number 1855556 (Why is no real title available?)
- On adopting Kripke semantics in set theory
- Lewis meets Brouwer: constructive strict implication
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
- The American Mathematical Society and applied mathematics from the 1920s to the 1950s: a revisionist account
- Collected works. Volume I: Publications 1929--1936. Edited by Solomon Feferman and others.
- Kurt Gödel and the logic of concepts
- Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
- Putnam's theorem on the complexity of models
- scientific article; zbMATH DE number 730318 (Why is no real title available?)
- The Gödel Editorial Project: A Synopsis
- Bounded arithmetic, proof complexity and two papers of Parikh
- On Boolean automata isolated cycles and tangential double-cycles dynamics
- Computational universes
- New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems
- Gödel's undecidability theorems and the search for a theory of everything
- A correct polynomial translation of S4 into intuitionistic logic
- scientific article; zbMATH DE number 107511 (Why is no real title available?)
- Skolem redux
- Gödel on deduction
- Gödel's cantorianism
- Pluralism in logic: the square of opposition, Leibniz principle of sufficient reason and Markov's principle
- scientific article; zbMATH DE number 527283 (Why is no real title available?)
- A semantic hierarchy for intuitionistic logic
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS
- On causality as the fundamental concept of Gödel's philosophy
- On the diagonal lemma of Gödel and Carnap
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
- scientific article; zbMATH DE number 47172 (Why is no real title available?)
- scientific article; zbMATH DE number 2229434 (Why is no real title available?)
- The scope of Gödel's first incompleteness theorem
- A Generalization of Maksimova’s Criterion for the Disjunction Property
- Conservative translations revisited
- THE GENEALOGY OF ‘’
- Complexity among the finitely generated subgroups of Thompson's group
- scientific article; zbMATH DE number 1855559 (Why is no real title available?)
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 Q3720554)
