Finite Axiomatizability using additional predicates
From MaRDI portal
Cites work
Cited in
(30)- The road to two theorems of logic
- Some remarks on the bearing of model theory on the theory of theories
- The logical study of science
- Algebraization of quantifier logics, an introductory overview
- Eliminability in a cardinal
- Ramsey eliminability
- Which data types have -complete initial algebra specifications?
- The logical strength of compositional principles
- Definability and automorphisms in abstract logics
- Disquotation and infinite conjunctions
- Informal and absolute proofs: some remarks from a Gödelian perspective
- A note on typed truth and consistency assertions
- Vaught's theorem on axiomatizability by a scheme
- Consistency and the theory of truth
- The logic of empirical theories revisited
- Some Universal Sets of Terms
- On the possibility of inference to the best explanation
- On a question of Krajewski's
- A characterization of subshifts with computable language
- Deflationary truth and the ontology of expressions
- Complexity of equational theory of relational algebras with standard projection elements
- Feferman and the Truth
- The expressive power of truth
- Axiomatic truth, syntax and metatheoretic reasoning
- Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe
- Generalizing Boolos' theorem
- WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
- Dependence of variables construed as an atomic formula
- Quine's underdetermination thesis
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle
This page was built for publication: Finite Axiomatizability using additional predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3256312)
