PRIORITY ARGUMENTS VIA TRUE STAGES

DOI10.1017/JSL.2014.11MaRDI QIDQ5177887zbMATH OpenOpenAlexFDO

Authors Antonio Montalbán

Publication date 6 March 2015

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

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

zbMATH Keywords

priority argumenttrue stages

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Abstract: We describe a variation of Ash's $eta$-system, and give a new proof of Ash's metatheorem. As an application, we prove a generalization of Ash and Knight's theorem on pairs of structures.

Recommendations

• A framework for priority arguments
• A General Framework for Priority Arguments
• Priority Arguments and Epsilon Substitutions
• Publication:3480023
• Priority arguments in the continuous r.e. degrees
• On the expressibility of priority
• Prioritized defaults and formal argumentation
• Iterated trees of strategies and priority arguments
• An axiomatic analysis of structured argumentation with priorities

Cites work

• A General Framework for Priority Arguments
• A framework for priority arguments
• Constructions by transfinitely many workers
• Equivalence Relations on Classes of Computable Structures
• Labelling systems and r.e. structures
• Pairs of recursive structures
• Ramified systems
• Stability of recursive structures in arithmetical degrees
• The Veblen functions for computability theorists

Cited in

(11)

• Turing reducibility in the fine hierarchy
• On the structure of the Wadge degrees of bqo-valued Borel functions
• Mixed systems
• On a question of Kalimullin
• Strength and weakness in computable structure theory
• Completeness of the hyperarithmetic isomorphism equivalence relation
• Degrees of categoricity on a cone via \(\eta\)-systems
• Iterated priority arguments in descriptive set theory
• Priority Arguments and Epsilon Substitutions
• Requirement systems
• Three topological reducibilities for discontinuous functions

This page was built for publication: PRIORITY ARGUMENTS VIA TRUE STAGES

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