Pages that link to "Item:Q3256312"
From MaRDI portal
The following pages link to Finite Axiomatizability using additional predicates (Q3256312):
Displayed 19 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- The logic of empirical theories revisited (Q383008) (← links)
- On the possibility of inference to the best explanation (Q427229) (← links)
- Dependence of variables construed as an atomic formula (Q636322) (← links)
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle (Q944221) (← links)
- The road to two theorems of logic (Q1024115) (← links)
- Some remarks on the bearing of model theory on the theory of theories (Q1024117) (← links)
- The logical study of science (Q1164615) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Eliminability in a cardinal (Q1236113) (← links)
- Ramsey eliminability (Q1255487) (← links)
- Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← links)
- Vaught's Theorem on Axiomatizability by a Scheme (Q2915888) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- Some Universal Sets of Terms (Q3941407) (← links)
- THE EXPRESSIVE POWER OF TRUTH (Q5259727) (← links)
- AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING (Q5414134) (← links)
- Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe (Q5549794) (← links)