Results 1 to 10 of about 945 (231)
The Marczewski Hull Property and Complete Boolean Algebras
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
The number of countable isomorphism types of complete extensions of the theory of Boolean algebras
There is a conjecture of Vaught [17] which states: Without The Generalized Continuum Hypothesis one can prove the existence of a complete theory with exactly $ω_1$ nonisomorphic, denumerable models.
Iverson, Paul
core
Semigroups with if-then-else and halting programs
The "if–then–else" construction is one of the most elementary programming commands, and its abstract laws have been widely studied, starting with McCarthy.
Stokes, Tim E., Jackson, Marcel
core +1 more source
The completeness of the isomorphism relation for countable Boolean algebras
. We show that the isomorphism relation for countable Boolean algebras is Borel complete, i.e., the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Boolean algebras.
Su Gao, Riccardo Camerlo
core
Categorical Smoothness of 4-Manifolds from Quantum Symmetries and the Information Loss Paradox. [PDF]
Król J, Asselmeyer-Maluga T.
europepmc +1 more source
Affine Complete Algebras Abstracting Kleene And Stone Algebras
ING KLEENE AND STONE ALGEBRAS M. HAVIAR Abstract. Boolean algebras are affine complete by a well-known result of G. Gratzer. Various generalizations of this result have been obtained.
M. Haviar
core
On the non-existence of free complete Boolean algebras [PDF]
Alfred W. Hales
openalex +1 more source
Data assimilation in operator algebras. [PDF]
Freeman D +4 more
europepmc +1 more source

