Currently displaying 1 – 4 of 4

Showing per page

Order by Relevance | Title | Year of publication

Sull'ordinamento dei numeri reali non-standard

Marco FortiFurio Honsell — 1985

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Several order-theoretic properties of the real axis, of the monads and of the infinites in nonstandard models of Analysis are considered. Pseudometrizability and topological completeness of related uniformities are studied.

Equivalences and Congruences on Infinite Conway Games

Furio HonsellMarina LenisaRekha Redamalla — 2012

RAIRO - Theoretical Informatics and Applications

Taking the view that infinite plays are , we study and . These admit a sharp presentation, where non-terminating games are seen as a and game contructors, such as , as . We have shown, in a previous paper, that Conway’s theory of terminating games can be rephrased naturally in terms of game . Namely, various conceptually independent notions of can be defined and shown to coincide on Conway’s terminating games. These are the equivalence...

Equivalences and Congruences on Infinite Conway Games

Furio HonsellMarina LenisaRekha Redamalla — 2012

RAIRO - Theoretical Informatics and Applications

Taking the view that infinite plays are , we study and . These admit a sharp presentation, where non-terminating games are seen as a and game contructors, such as , as . We have shown, in a previous paper, that Conway’s theory of terminating games can be rephrased naturally in terms of game . Namely, various conceptually independent notions of can be defined and shown to coincide on Conway’s terminating games. These are the equivalence...

Page 1

Download Results (CSV)