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
    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

    Identifiers