Finite Axiomatizability using additional predicates
From MaRDI portal
Publication:3256312
DOI10.2307/2964289zbMath0085.24601OpenAlexW2101025460MaRDI QIDQ3256312
No author found.
Publication date: 1959
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964289
Related Items (29)
Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe ⋮ WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE? ⋮ Vaught's Theorem on Axiomatizability by a Scheme ⋮ CONSISTENCY AND THE THEORY OF TRUTH ⋮ The logic of empirical theories revisited ⋮ On the possibility of inference to the best explanation ⋮ Dependence of variables construed as an atomic formula ⋮ The logical strength of compositional principles ⋮ Some Universal Sets of Terms ⋮ The logical study of science ⋮ ON A QUESTION OF KRAJEWSKI’S ⋮ Resplendent models and \({\Sigma_1^1}\)-definability with an oracle ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Deflationary truth and the ontology of expressions ⋮ Complexity of equational theory of relational algebras with standard projection elements ⋮ Disquotation and infinite conjunctions ⋮ AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING ⋮ GENERALIZING BOOLOS’ THEOREM ⋮ Definability and automorphisms in abstract logics ⋮ Unnamed Item ⋮ Eliminability in a cardinal ⋮ Informal and absolute proofs: some remarks from a Gödelian perspective ⋮ Ramsey eliminability ⋮ Feferman and the Truth ⋮ The road to two theorems of logic ⋮ Some remarks on the bearing of model theory on the theory of theories ⋮ THE EXPRESSIVE POWER OF TRUTH ⋮ Which data types have \(\omega\)-complete initial algebra specifications? ⋮ A note on typed truth and consistency assertions
Cites Work
This page was built for publication: Finite Axiomatizability using additional predicates
