Axiom of Choice in nonstandard set theory
Work
Year: 2012
Type: article
Abstract: We verify that the best-known nonstandard set theories: IST, BST, and HST, with the Axiom of Choice deleted, are conservative extensions of ZF + Boolean Prime Ideal Theorem.
Source: Journal of Logic and Analysis
Author Hrbacek
Cites: 9
Cited by: 6
Related to: 10
FWCI:
Citation percentile (by year/subfield): 54.94
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: diamond