Recursive unary algebras and trees
type: Item
instance of: scholarly article
title: Recursive unary algebras and trees
zbMATH Open document ID: 0804.03031
DOI: 10.1016/0168-0072(94)90012-4
author: V. Pereyra
published in: Annals of Pure and Applied Logic
publication date: 1994-08-02T00:00:00Z
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 08A60
Mathematics Subject Classification ID: 03C57
zbMATH DE Number: 584685
zbMATH Keywords: recursive unary algebras
zbMATH Keywords: fragment of the theory of recursive trees
zbMATH Keywords: effective unary algebras
zbMATH Keywords: dimension of models
zbMATH Keywords: recursive automorphisms groups
zbMATH Keywords: congruence lattices
MaRDI profile type: Publication
full work available at URL: 0168-0072(94)90012-4
OpenAlex ID: W1972183506
cites work: Q3208066
cites work: Q3853107
cites work: Q3863873
cites work: A question of Jarden and Shelah
cites work: Q3769959
cites work: Autostability of models and Abelian groups
cites work: Autostability of models
cites work: Q3931264
cites work: Q4764110
cites work: Complete theories of unars
cites work: Structural problems for model companions of varieties of polygons
cites work: Q3808076
cites work: Recursive isomorphism types of recursive Boolean algebras
cites work: Recursive properties of isomorphism types
cites work: Q5599830
cites work: Minimal models of theories of one function symbol
cites work: The number of countable models of a theory of one unary function
cites work: Q3690803
cites work: Q3866167
cites work: Q3789548
cites work: Strongly \(\forall\)-finite theories of unars
cites work: Q3820590
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: Q5573961
cites work: Q3829543
cites work: Categorical theories of a function
cites work: Algorithmic properties of branching models
cites work: Q3826537
cites work: Nonuniform autostability of models
cites work: Q4385539
description: scientific article; zbMATH DE number 584685