scientific article
From MaRDI portal
Publication:4068717
zbMath0311.02060MaRDI QIDQ4068717
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model-theoretic algebra (03C60) Other infinitary logic (03C75) Proof theory and constructive mathematics (03F99) Other classical first-order model theory (03C68)
Related Items (12)
Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity ⋮ Remarks in abstract model theory ⋮ Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic ⋮ Generating conditions for preserving the properties of controlled discrete event systems ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic ⋮ Craig interpolation for networks of sentences ⋮ The old and the new logic of metascience ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Harmonious logic: Craig's interpolation theorem and its descendants ⋮ Zum \(L(Q)\)-Interpolationsproblem ⋮ On conceptual completeness of syntactic-semantical systems
This page was built for publication:
