BOREL FUNCTORS AND INFINITARY INTERPRETATIONS

DOI10.1017/jsl.2017.81OpenAlexW2464216234WikidataQ129132624 ScholiaQ129132624MaRDI QIDQ4647104

Matthew Harrison-Trainor, Antonio Montalbán, Russell G. Miller

Publication date: 4 January 2019

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

automorphism groupsinterpretationsBorel functors

Mathematics Subject Classification ID

Other infinitary logic (03C75) Theory of numerations, effectively presented structures (03D45)

Related Items (6)

On functors enumerating structures ⋮ INTERPRETING A FIELD IN ITS HEISENBERG GROUP ⋮ CODING IN GRAPHS AND LINEAR ORDERINGS ⋮ Finitely generated groups are universal among finitely generated structures ⋮ Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} ⋮ A note on computable embeddings for ordinals and their reverses

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Counterexamples to a conjecture on relative categoricity
• A note on counterexamples to the Vaught conjecture
• Quasi finitely axiomatizable totally categorical theories
• Can you take Solovay's inaccessible away?
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• The syntax and semantics of infinitary languages
• A model of set-theory in which every set of reals is Lebesgue measurable
• Three red herrings around Vaught’s conjecture
• A robuster Scott rank
• A fixed point for the jump operator on structures
• COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY

This page was built for publication: BOREL FUNCTORS AND INFINITARY INTERPRETATIONS