The following pages link to The Boolean algebra of logic (Q4087168):
Displayed 8 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)
- Fine hierarchy and definable index sets (Q2366368) (← 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)