Recursive unary algebras and trees

DOI10.1016/0168-0072(94)90012-4zbMath0804.03031OpenAlexW1972183506MaRDI QIDQ1326781

V. Pereyra

Publication date: 2 August 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)90012-4

zbMATH Keywords

congruence latticesdimension of modelseffective unary algebrasfragment of the theory of recursive treesrecursive automorphisms groupsrecursive unary algebras

Mathematics Subject Classification ID

Unary algebras (08A60) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Computable isomorphisms, degree spectra of relations, and Scott families

Cites Work

• Algorithmic properties of branching models
• Strongly \(\forall\)-finite theories of unars
• Nonuniform autostability of models
• Autostability of models and Abelian groups
• Autostability of models
• Structural problems for model companions of varieties of polygons
• Minimal models of theories of one function symbol
• Categorical theories of a function
• A question of Jarden and Shelah
• Recursive properties of isomorphism types
• Recursive isomorphism types of recursive Boolean algebras
• The number of countable models of a theory of one unary function
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Complete theories of unars
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Recursive unary algebras and trees