A Note on Effective Categoricity for Linear Orderings

DOI10.1007/978-3-319-55911-7_7zbMATH Open1459.03045OpenAlexW2600516693MaRDI QIDQ2988812FDOQ2988812

Nikolay Bazhenov

Publication date: 19 May 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-55911-7_7

zbMATH Keywords

computable categoricitycomputable structuredegree of categoricitycategoricity spectrumordered abelian grouplinear orderingautostability relative to strong constructivizationsautostability spectrumdecidable structure

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Total orders (06A05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generic copies of countable structures
• Autostability of models
• Computable structures and the hyperarithmetical hierarchy
• d-computable categoricity for algebraic fields
• Recursively Categorical Linear Orderings
• Effective model theory vs. recursive model theory
• CONSTRUCTIVE ALGEBRAS I
• Degrees of categoricity and the hyperarithmetic hierarchy
• Degrees of categoricity of computable structures
• Degrees that are not degrees of categoricity
• Effective procedures in field theory
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Enumerations in computable structure theory
• Intrinsic bounds on complexity and definability at limit levels
• Degrees of autostability relative to strong constructivizations
• Pairs of recursive structures
• The complexity of computable categoricity
• Autostability spectra for Boolean algebras
• The quantity of nonautoequivalent constructivizations
• Stability of recursive structures in arithmetical degrees
• Computable Ordered Abelian Groups and Fields
• Categoricity spectra for rigid structures
• Effective categoricity of computable linear orderings
• Degrees of autostability for linear orders and linearly ordered abelian groups

Cited In (3)

• Degrees of autostability relative to strong constructivizations of graphs
• Categoricity spectra of computable structures
• Title not available (Why is that?)

This page was built for publication: A Note on Effective Categoricity for Linear Orderings

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