scientific article; zbMATH DE number 3392414
From MaRDI portal
Publication:5661851
zbMath0248.02033MaRDI QIDQ5661851
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory and constructive mathematics (03F99)
Related Items (21)
Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Unnamed Item ⋮ Mehrsortige logische Systeme mit unendlich langen Formeln I ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ On full embeddings. I ⋮ A formal system for parallel programs in discrete time and space ⋮ Unnamed Item ⋮ Invariant computations for analytic projective geometry ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion ⋮ Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic ⋮ Correct Answers for First Order Logic ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ Quantifier-complete categories ⋮ The old and the new logic of metascience ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Lefschetz's principle ⋮ Geometric Rules in Infinitary Logic ⋮ Global definability theory in 𝐿_{𝜔₁𝜔} ⋮ Two theorems on mix-relativization
This page was built for publication:
