Results 161 to 167 of about 3,715 (167)

Lattice and Algebra Homomorphisms onC(X) in Zermelo-Fraenkel Set Theory

, 2015
Karim Boulabiar
openalex   +1 more source

REALIZABILITY FOR CONSTRUCTIVE ZERMELO-FRAENKEL SET THEORY

, 2006
Michael Rathjen
openalex   +1 more source

The ∀_n∃‐Completeness of Zermelo‐Fraenkel Set Theory

, 1978
Daniel Gogol
openalex   +1 more source

LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY

, 2014
Toshiyasu Arai
openalex   +1 more source

A reconstruction of the G$\ddot{o}$del's proof of the consistency of GCH and AC with the axioms of Zermelo-Fraenkel set theory

, 2011
Chang Soon Choi
openalex  

Review: Andrzej Mostowski, On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility

, 1971
F. R. Drake
openalex  

INDEPENDENCE RESULTS IN ZERMELO-FRAENKEL SET THEORY WITH URELEMENTS.

, 1975
Nickolas Andrew Backscheider
openalex