Colin James
Abstract
We evaluate Moroianu’s and the Tarski-Bourbaki fixed point theorem and axiom of choice (AC). Two versions of the theorem and then seven theorems and corollary which follow are also not tautologous. Therefore these conjectures 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.
We evaluate Moroianu’s and the Tarski-Bourbaki fixed point theorem and axiom of choice (AC). Two versions of the theorem and then seven theorems and corollary which follow are also not tautologous. Therefore these conjectures form a non tautologous fragment of the universal logic VŁ4.
Key concepts: Axiom of choice, Corollary, Axiom, Mathematics, Fixed-point theorem, Constructive set theory, Zermelo–Fraenkel set theory, Urelement