Extensionality in Bernays set theory (Q1069932): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093870688 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2071626169 / rank | |||
Normal rank |
Latest revision as of 00:23, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extensionality in Bernays set theory |
scientific article |
Statements
Extensionality in Bernays set theory (English)
0 references
1984
0 references
Let \(B\) be the single sorted first author theory with \(\in\), \(\sigma\) (a unary choice function symbol), \(\{\) \(x| \ldots \}\) (a term forming operator), and, as non-logical axioms, (a kind of) extensionality, choice, foundation, comprehension, and reflection. It is shown that if \(B\) proves \(\phi\), then \(B\) without extensionality proves \(\phi\) relativized to hereditarily extensional classes. This is a parallel to an old result of Gandy with Gödel-Bernays set theory instead of B.
0 references