Finite Axiomatizability using additional predicates
From MaRDI portal
Cites work
Cited in
(30)- A note on typed truth and consistency assertions
- The logical study of science
- Ramsey eliminability
- Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe
- Deflationary truth and the ontology of expressions
- Vaught's theorem on axiomatizability by a scheme
- On the possibility of inference to the best explanation
- The expressive power of truth
- The road to two theorems of logic
- WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
- Definability and automorphisms in abstract logics
- Axiomatic truth, syntax and metatheoretic reasoning
- Quine's underdetermination thesis
- Informal and absolute proofs: some remarks from a Gödelian perspective
- Some remarks on the bearing of model theory on the theory of theories
- Algebraization of quantifier logics, an introductory overview
- Which data types have -complete initial algebra specifications?
- Some Universal Sets of Terms
- The logic of empirical theories revisited
- Feferman and the Truth
- Dependence of variables construed as an atomic formula
- On a question of Krajewski's
- scientific article; zbMATH DE number 7559149 (Why is no real title available?)
- The logical strength of compositional principles
- Disquotation and infinite conjunctions
- Complexity of equational theory of relational algebras with standard projection elements
- Eliminability in a cardinal
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle
- Generalizing Boolos' theorem
- Consistency and the theory of truth
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)
