 |
|
Comentarios de usuarios - Escribir una reseñaNo hemos encontrado ninguna reseña en los lugares habituales. Libros relacionados
Índice
Términos y frases comunes3-formula 5-recursive algorithmic assume Atom 03 atomic Boolean algebra atomic element atomless Boolean algebra atomless element automorphism belongs Boolean algebra 03 Boolean lattice chi(a computable sequence Consequently consider constant symbols constructive Boolean algebra constructive models constructivization Corollary countable Boolean algebra decidable define denoted dense Boolean algebra elementarily equivalent elementary characteristic elementary embedding elementary extension elements of 21 epimorphism Ershov algebra 21 exists a recursive finite number following conditions hold Frechet ideal gebra Godel number greatest element homogeneous model homomorphism infinite isomorphic embedding least element Lemma linear order mapping model 21 model-complete natural numbers number of atoms number of elements obtain ordered set ordinal partition positive Boolean algebra PROOF properties Proposition Prove quotient algebra recursive Boolean algebra recursive function recursive set recursively enumerable recursively isomorphic satisfies saturated model set of atoms signature cr step subalgebra subset superatomic superatomic Boolean algebra Theorem tree ultrafilter variables Referencias a este libroEn otros libros
En Google AcadémicoDegree Spectra and Computable Dimensions in Algebraic StructuresDenis R Hirschfeldt, Bakhadyr Khoussainov, Richard A Shore, Arkadii M Slinko Provability LogicSERGEI N ARTEMOV, LEV D BEKLEMISHEV Automatic StructuresSasha Rubin The Completeness Of The Isomorphism Relation For Countable Boolean ...RICCARDO CAMERLO, SU GAO - AMERICAN MATHEMATICAL SOCIETY Referencias en páginas webJSTOR: Countable Boolean Algebras and Decidability Review: Sergei S. Goncharov, Countable Boolean Algebras and ... Información bibliográfica
|
