scientific article; zbMATH DE number 3032487
From MaRDI portal
zbMath0020.19301MaRDI QIDQ5772177
Publication date: 1939
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
End extensions of models of weak arithmetic theories, Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations, Recursive Predicates and Quantifiers, Unnamed Item, EPSILON THEOREMS IN INTERMEDIATE LOGICS, On the Herbrand content of LK, Arithmetical completeness theorems for monotonic modal logics, RAMSIFICATION AND SEMANTIC INDETERMINACY, Algorithmic introduction of quantified cuts, Herbrand's fundamental theorem in the eyes of Jean van Heijenoort, Logic of determination of objects (LDO): how to articulate ``extension with ``intension and ``objects with ``concepts, Resolution with order and selection for hybrid logics, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, Unified grounding, Unnamed Item, Denotation, Paradox and Multiple Meanings, On a paradox of Hilbert and Bernays, Herbrand's theorem as higher order recursion, R n - and G n -logics, On the concept of finitism, Conventionalism, consistency, and consistency sentences, Machine learning guidance for connection tableaux, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, Putnam’s Theorem on the Complexity of Models, Distilling the requirements of Gödel's incompleteness theorems with a proof assistant, A formally verified abstract account of Gödel's incompleteness theorems, Hilbert's logic. From axiomatics to proof theory, Semantics and Proof Theory of the Epsilon Calculus, Expansions of semi-Heyting algebras. I: Discriminator varieties, Human-centered automated proof search, Problems of the theory of models, related to categoricity, A completeness theorem for theories of kind W, Natural Deduction for Equality: The Missing Entity, Rosser provability and the second incompleteness theorem, A single axiom for set theory, Lorenzen Between Gentzen and Schütte, Incomplete symbols -- definite descriptions revisited, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC, The epsilon calculus and Herbrand complexity
