Derivation of the axiom of choice from a finite nonclassical theory of sets and functions

Research output: Working paper › Preprint

3 Downloads (Pure)

Abstract

We derive AC from the finitely axiomatized nonclassical theory T of sets and functions introduced in Axioms 10(2): 119 (2021).

@techreport{38520cedcafe4e79a120d577834f65e5,

title = "Derivation of the axiom of choice from a finite nonclassical theory of sets and functions",

abstract = "We derive AC from the finitely axiomatized nonclassical theory T of sets and functions introduced in Axioms 10(2): 119 (2021).",

keywords = "Axiom Choice, Set Theory, non-classical logic",

author = "Marcoen Cabbolet",

year = "2025",

language = "English",

type = "WorkingPaper",

}

TY - UNPB

T1 - Derivation of the axiom of choice from a finite nonclassical theory of sets and functions

AU - Cabbolet, Marcoen

PY - 2025

Y1 - 2025

N2 - We derive AC from the finitely axiomatized nonclassical theory T of sets and functions introduced in Axioms 10(2): 119 (2021).

AB - We derive AC from the finitely axiomatized nonclassical theory T of sets and functions introduced in Axioms 10(2): 119 (2021).

KW - Axiom Choice

KW - Set Theory

KW - non-classical logic

M3 - Preprint

BT - Derivation of the axiom of choice from a finite nonclassical theory of sets and functions

ER -