Some Universal Sets of Terms

DOI10.2307/1998673zbMath0483.04003OpenAlexW4232376253MaRDI QIDQ3941407

Walter Taylor

Publication date: 1981

Full work available at URL: https://doi.org/10.2307/1998673

zbMATH Keywords

effectively calculable terms of function symbolspi-one-two class of cardinals

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Properties of classes of models (03C52) Other classical set theory (including functions, relations, and set algebra) (03E20) Set-theoretic model theory (03C55)

Related Items

Embedding arbitrary algebras in groups, Sets of universal sequences for the symmetric group and analogous semigroups, The reverse spelling of an FPrt-universal word in two letters

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary definability of symmetry groups
• Polynomial hyperforms
• Universal terms of complexity three
• On representation of functions by means of superpositions and related topics
• When is a term point universal?
• Universal terms of the form \(B^nA^m\)
• \(B^n A^m\) is universal iff point universal
• Residually small varieties of K-algebras
• Laws obeyed by topological algebras - extending results of Hopf and Adams
• Simple algebras in varieties
• Affine parts of algebraic theories. I
• Refuting Ehrenfeucht conjecture on rigid models
• Some problems on the universality of words in groups
• Decomposing a transformation with an involution
• Model theory
• First order theory of permutation groups
• The theory of models. Proceedings of the 1963 international symposium at Berkeley
• Unsolvable problems for equational theories
• Topics in universal algebra
• On elementary types of symmetric groups
• On semigroups whose proper subsemigroups have lesser power
• Residually small varieties
• Notes on combinatorial set theory
• Undecidable theories
• Hopfian Boolean Algebras of Power Less than or Equal to Continuum
• A partition calculus in set theory
• Finite Axiomatizability using additional predicates
• On Pseudo-Simple Universal Algebras
• The decision problem for equational bases of algebras
• Boolean Algebras without Nontrivial Onto Endomorphisms Exist in Every Uncountable Cardinality
• Partition relations for cardinal numbers
• The unique factorization problem for finite relational structures
• Un théorème sur les superpositions des fonctions définies dans les ensembles arbitraires