Functional trees and automorphisms of models
From MaRDI portal
Publication:1317640
DOI10.1007/BF02260926zbMath0793.03037MaRDI QIDQ1317640
Publication date: 12 April 1994
Published in: Algebra and Logic (Search for Journal in Brave)
reducibility; recursive model; automorphisms of models; functional trees; hyperarithmetical automorphisms; infinite branch; rigid models
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
On computable automorphisms in formal concept analysis, Countable structures with a fixed group of automorphisms
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Regular elements in P. I.-rings
- Some examples in PI ring theory
- Rings of quotients of some semiprime. P.I. rings
- Rings with involution and chain conditions on bi-ideals
- Prime Rings Satisfying a Polynomial Identity
- Some results on the center of a ring with polynomial identity