Notre Dame Journal of Formal Logic

A strengthening of Scott's ${\rm ZF}^{\not=}$ result.

Stephen Pollard

Full-text: Open access

Article information

Source
Notre Dame J. Formal Logic Volume 31, Number 3 (1990), 369-370.

Dates
First available: 27 August 2004

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1093635500

Zentralblatt MATH identifier
0709.03037

Mathematical Reviews number (MathSciNet)
MR1072071

Digital Object Identifier
doi:10.1305/ndjfl/1093635500

Subjects
Primary: 03E30: Axiomatics of classical set theory and its fragments
Secondary: 03F25: Relative consistency and interpretations

Citation

Pollard, Stephen. A strengthening of Scott's ${\rm ZF}^{\not=}$ result. Notre Dame Journal of Formal Logic 31 (1990), no. 3, 369--370. doi:10.1305/ndjfl/1093635500. http://projecteuclid.org/euclid.ndjfl/1093635500.


Export citation