Results 141 to 150 of about 496,419 (187)

Typed lambda-calculus in classical Zermelo-Frænkel set theory

Archive for Mathematical Logic, 2001
J. Krivine
semanticscholar   +1 more source

Lifschitz realizability for intuitionistic Zermelo–Fraenkel set theory

Archive for Mathematical Logic, 2012
Ray-Ming Chen, M. Rathjen
semanticscholar   +2 more sources

The disjunction and related properties for constructive Zermelo-Fraenkel set theory

Journal of Symbolic Logic (JSL), 2005
M. Rathjen
semanticscholar   +1 more source

Realizability for Constructive Zermelo-Fraenkel Set Theory

, 2007
M. Rathjen
semanticscholar   +1 more source

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

Journal of Symbolic Logic (JSL), 2014
T. Arai
semanticscholar   +1 more source

An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory

Mathematical Logic Quarterly, 1997
O. Esser
semanticscholar   +1 more source

A linear conservative extension of Zermelo-Fraenkel set theory

Studia Logica: An International Journal for Symbolic Logic, 1996
Miyuki Shirahata
semanticscholar   +1 more source

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

, 2015
K. Boulabiar
semanticscholar   +1 more source

The ∀n∃-Completeness of Zermelo-Fraenkel Set Theory

Mathematical Logic Quarterly, 1978
Daniel Gogol
semanticscholar   +1 more source

A completeness theorem for Zermelo-Fraenkel set theory

Journal of Symbolic Logic (JSL), 1976
W. Powell
semanticscholar   +1 more source