The following pages link to The Boolean algebra of logic (Q4087168):
Displayed 14 items.
- Confident and consistent partial learning of recursive functions (Q465247) (← links)
- Turing machine computations in finitely axiomatizable theories (Q1059628) (← links)
- The Boolean algebra of the theory of linear orders (Q1141142) (← links)
- Semantically universal classes of models (Q1803018) (← links)
- The property of being a model complete theory is preserved by Cartesian extensions (Q2212696) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- Fine hierarchy and definable index sets (Q2366368) (← links)
- Extension and interpretability (Q2658276) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- The Boolean Algebra of Piecewise Testable Languages (Q3188268) (← links)
- Extension of relatively σ-additive probabilities on Boolean algebras of logic (Q3703892) (← links)
- Boolean sentence algebras: Isomorphism constructions (Q4749822) (← links)
- THE LINDENBAUM ALGEBRA OF THE THEORY OF THE CLASS OF ALL FINITE MODELS (Q4799377) (← links)
- An uncountable Jónsson algebra in a minimal variety (Q5218222) (← links)