Bi‐embeddability spectra and bases of spectra

DOI10.1002/malq.201800056OpenAlexW2970889987MaRDI QIDQ5108859

Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro

Publication date: 6 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.05451

Mathematics Subject Classification ID

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

Related Items (7)

DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS ⋮ Computable reducibility for computable linear orders of type \(\omega \) ⋮ Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) ⋮ Computable bi-embeddable categoricity ⋮ Degrees of bi-embeddable categoricity of equivalence structures ⋮ On bi-embeddable categoricity of algebraic structures ⋮ Degrees of bi-embeddable categoricity

Cites Work

• Handbook of recursive mathematics. Vol. 1: Recursive model theory
• Jump inversions of algebraic structures and the \({\Sigma}\)-definability
• Elementary bi-embeddability spectra of structures
• Computable bi-embeddable categoricity
• Effective algebraicity
• Degree spectra of structures relative to equivalences
• Degrees of bi-embeddable categoricity of equivalence structures
• Effectively Existentially-Atomic Structures
• THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES
• Degree Spectra of Equivalence Relations
• On Σ¹ ₁ equivalence relations over the natural numbers
• Every Set has a Least Jump Enumeration
• Degree spectra and immunity properties
• Spectra of degrees of some structures
• Spectra of Algebraic Fields and Subfields
• Degrees coded in jumps of orderings
• Relative to any nonrecursive set
• Enumerations, countable structures and Turing degrees
• Degrees of Structures
• Siblings of an $\aleph_0$-categorical relational structure
• ANALYTIC EQUIVALENCE RELATIONS SATISFYING HYPERARITHMETIC-IS-RECURSIVE
• Π₁¹ relations and paths through
• Complete analytic equivalence relations
• A Note on ω-Jump Inversion of Degree Spectra of Structures
• Isomorphism relations on computable structures
• Some Notes on Degree Spectra of the Structures
• Spectra of theories and structures
• Up to equimorphism, hyperarithmetic is recursive

This page was built for publication: Bi‐embeddability spectra and bases of spectra