A theory of infinitary relations extending Zermelo's theory of infinitary propositions (Q284223)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A theory of infinitary relations extending Zermelo's theory of infinitary propositions |
scientific article |
Statements
A theory of infinitary relations extending Zermelo's theory of infinitary propositions (English)
0 references
17 May 2016
0 references
By following Russell's ideas, the author extends Zermelo's theory of infinite propositions to infinitary relations. This approach enables to give an effective characterization of parametric definability with respect to a purely relational structure, as well as to highlight a new understanding of Zermelo's rejecting of Gödel's first incompleteness theorem. The theory of infinitary relations presents a suitable starting point in the reconstruction of Zermelo's original theory of urelements and sets. The status of definability and expressibility in presence of infinitary relations is deeply analyzed and determined.
0 references
definable set
0 references
Russell's substitutional theory
0 references
Zermelo set theory
0 references
infinitary relations
0 references
Zermelo's theory of infinitary propositions
0 references
Gödel's first incompleteness theorem.
0 references
