Results 161 to 167 of about 3,715 (167)
Lattice and Algebra Homomorphisms onC(X) in Zermelo-Fraenkel Set Theory
Karim Boulabiar
openalex +1 more source
REALIZABILITY FOR CONSTRUCTIVE ZERMELO-FRAENKEL SET THEORY
Michael Rathjen
openalex +1 more source
LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY
Toshiyasu Arai
openalex +1 more source
INDEPENDENCE RESULTS IN ZERMELO-FRAENKEL SET THEORY WITH URELEMENTS.
Nickolas Andrew Backscheider
openalex

