Publication:3136460
From MaRDI portal
zbMath0777.00008MaRDI QIDQ3136460
No author found.
Publication date: 3 October 1993
00B15: Collections of articles of miscellaneous specific interest
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Related Items
Models of true arithmetic are integer parts of models of real exponentation, VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY, Where pigeonhole principles meet Koenig lemmas, Real closed fields and models of Peano arithmetic, Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories, Frege proof system and TNC°, Towards NP-P via proof complexity and search, \(\text{Count}(q)\) does not imply \(\text{Count}(p)\), Nondeterministic stack register machines, Cutting planes, connectivity, and threshold logic, \(k\)-provability in \(\mathrm{PA}\), Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \), Translation of resolution proofs into short first-order proofs without choice axioms, Petr Hájek: A Scientific Biography, Von Neumann, Gödel and Complexity Theory