scientific article; zbMATH DE number 3316934
From MaRDI portal
Publication:5596792
zbMath0199.03103MaRDI QIDQ5596792
Publication date: 1964
Full work available at URL: https://eudml.org/doc/186621
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Degrees of autostability for prime Boolean algebras, Degrees of autostability relative to strong constructivizations for Boolean algebras, Undecidability of theories of Boolean algebras with selected ideals, Caper, Elementary regular rings, Unnamed Item, Prime Model with No Degree of Autostability Relative to Strong Constructivizations, Sheaf Constructions and Their Elementary Properties, Decidable theories of non-projectable \(l\)-groups of continuous functions, Varieties with decidable finite algebras. I: Linearity, Prevarieties of associative rings whose elementary theory is decidable, Elementary equivalence of topological spaces, Automorphisms of Boolean algebras definable by fixed elements, The subset relation and 2‐stratified sentences in set theory and class theory, On the Lattice of Recursively Enumerable Sets, The Undecidability of the Word Problems for Projective Geometries and Modular Lattices, The minimality of certain decidability conditions for Boolean algebras, Complexity of the problem of being equivalent to Horn formulas. II, Tarski-type problems for free associative algebras, The completeness of Peano multiplication, What does a group algebra of a free group ``know about the group?, A uniform method for proving lower bounds on the computational complexity of logical theories, Decidability of second-order theories and automata on infinite trees, Reduced products which are not saturated, The index set of Boolean algebras autostable relative to strong constructivizations, Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals, Invariants, Boolean algebras and ACA₀⁺, Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width, Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable, Local and nonvanishing superatomic Boolean algebras with a distinguished dense subalgebra, Automorphism groups of ultrafilters, Strongly constructive models and numerations of the Boolean algebra of recursive sets, Ultraproducts and elementary types of some groups related to infinite symmetric groups, Decidable locally finite discriminator varieties arising from dihedral varieties of groups, Boolean algebras, Tarski invariants, and index sets, Restricted theories of constructive Boolean algebras, Theories of Boolean algebras in a calculus with the quantifier infinitely many exist, What is nominalistic mereology?, Decidable Discriminator Varieties from Unary Classes, Recursively enumerable sets and degrees, On the classification of (effective) \(\varphi \)-spaces, Computably categorical Boolean algebras enriched by ideals and atoms, Valued modules on skew polynomial rings and Bézout domains, Boolean algebras with a category theory in a weak second order logic, Undecidability of the theory of Boolean algebras with automorphism, On subsystems of reduced powers, Countable homogeneous Boolean algebras, Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\), Model theoretic properties in the variety generated by a primal algebra, Reduced products, Horn sentences, and decision problems, Autostability spectra for Boolean algebras
