Extensionality in Bernays set theory (Q1069932): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 01:11, 31 January 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