BOREL FUNCTORS AND INFINITARY INTERPRETATIONS

DOI10.1017/JSL.2017.81MaRDI QIDQ4647104zbMATH OpenOpenAlexWikidataFDO

Authors Matthew Harrison-Trainor, Antonio Montalbán, Russell Miller

Publication date 4 January 2019

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

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

zbMATH Keywords

automorphism groupsBorel functorsinterpretations

Mathematics Subject Classification ID

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

Recommendations

• Borel structures and Borel theories
• Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
• THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY
• scientific article; zbMATH DE number 2040947
• The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
• On finitary functors
• Borel* sets in the generalized Baire space and infinitary languages
• Borel equivalence relations and cardinal algebras
• Borel sets and functions in topological spaces
• Borel Tukey morphisms and combinatorial cardinal invariants of the continuum

Cites work

• A fixed point for the jump operator on structures
• A model of set-theory in which every set of reals is Lebesgue measurable
• A note on counterexamples to the Vaught conjecture
• A robuster Scott rank
• Can you take Solovay's inaccessible away?
• Computability theoretic classifications for classes of structures
• Computable functors and effective interpretability
• Computable structures and the hyperarithmetical hierarchy
• Counterexamples to a conjecture on relative categoricity
• Degree spectra and computable dimensions in algebraic structures
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3304039 (Why is no real title available?)
• Invariant descriptive set theory
• Quasi finitely axiomatizable totally categorical theories
• The syntax and semantics of infinitary languages
• Three red herrings around Vaught's conjecture

Cited in

(10)

• Finitely generated groups are universal among finitely generated structures
• A note on computable embeddings for ordinals and their reverses
• On functors enumerating structures
• INTERPRETING A FIELD IN ITS HEISENBERG GROUP
• CODING IN GRAPHS AND LINEAR ORDERINGS
• Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)
• Computable functors and effective interpretability
• Borel Functors and Infinitary Interpretations
• Rigid differentially closed fields
• The structural complexity of models of arithmetic

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

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