Colin James
Abstract
The axiom of Γ choice and axiom of Σ11-dependent choice are not tautologous. Therefore an open problem on the Weihrauch degree of parallelization of the Σ11-choice principle on the integers is not solved by using those axioms. These axioms form a non tautologous fragment of the universal logic VŁ4.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The axiom of Γ choice and axiom of Σ11-dependent choice are not tautologous. Therefore an open problem on the Weihrauch degree of parallelization of the Σ11-choice principle on the integers is not solved by using those axioms. These axioms form a non tautologous fragment of the universal logic VŁ4.
Key concepts: Axiom, Axiom of choice, Constructive set theory, Zermelo–Fraenkel set theory, Urelement, Axiom independence, Choice function, Mathematics