Recursive categoricity and recursive stability

DOI10.1016/0168-0072(86)90070-9zbMath0605.03023OpenAlexW2058578159MaRDI QIDQ1084103

Alfred B. Manaster, John N. Crossley, Michael Moses

Publication date: 1986

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(86)90070-9

zbMATH Keywords

linear ordersrecursive categoricityrecursive stability

Mathematics Subject Classification ID

Total orders (06A05) Recursive ordinals and ordinal notations (03F15) Models of other mathematical theories (03C65) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (5)

Stability of recursive structures in arithmetical degrees ⋮ Natural well-orderings ⋮ The computable dimension of trees of infinite height ⋮ Computable categoricity of trees of finite height ⋮ Generalizing classical and effective model theory in theories of operations and classes

Cites Work

• The given
• Recursive linear orders with recursive successivities
• Some recognizable properties of solvable groups
• On complete theories with a finite number of denumerable models
• Decidable models
• Autostability and computable families of constructivizations
• Some proposals for reviving the philosophy of mathematics
• A metamathematical theorem on the theory of ordinal numbers
• Normalfunktionen und Hauptfolgen
• The first order properties of products of algebraic systems
• Foundations of recursive model theory
• Effective content of field theory
• Recursively Categorical Linear Orderings
• Natural well-orderings
• Categoricity in Power
• Constructive order types, II
• $ℵ_0$-categoricity of linear orderings
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Generalized quantifiers and well orderings
• Describing ordinals using functionals of transfinite type
• On the categoricity in power of elementary deductive systems and some related problems
• 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
• Unnamed Item

This page was built for publication: Recursive categoricity and recursive stability