Functional trees and automorphisms of models

DOI10.1007/BF02260926MaRDI QIDQ1317640zbMATH OpenOpenAlexFDO

Authors Andrei S. Morozov

Publication date 12 April 1994

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02260926

zbMATH Keywords

reducibilityrecursive modelautomorphisms of modelsfunctional treeshyperarithmetical automorphismsinfinite branchrigid models

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4145883
• The countable models and properties of the theory of complete binary trees
• scientific article; zbMATH DE number 2007858
• scientific article; zbMATH DE number 2213969
• Publication:4946103

Cites work

• scientific article; zbMATH DE number 3625564 (Why is no real title available?)
• scientific article; zbMATH DE number 4116737 (Why is no real title available?)
• scientific article; zbMATH DE number 3412816 (Why is no real title available?)
• Prime Rings Satisfying a Polynomial Identity
• Regular elements in P. I.-rings
• Rings of quotients of some semiprime. P.I. rings
• Rings with involution and chain conditions on bi-ideals
• Some examples in PI ring theory
• Some results on the center of a ring with polynomial identity

Cited in

(8)

• On model-theoretic tree properties
• scientific article; zbMATH DE number 2007858 (Why is no real title available?)
• scientific article; zbMATH DE number 1421077 (Why is no real title available?)
• Countable structures with a fixed group of automorphisms
• On computable automorphisms in formal concept analysis
• Complexity of the isomorphism problem for computable free projective planes of finite rank
• On the isomorphism problem for some classes of computable algebraic structures
• scientific article; zbMATH DE number 1534574 (Why is no real title available?)

This page was built for publication: Functional trees and automorphisms of models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1317640)