W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/19594| Tytuł: | Conway’s Normal Form in the Mizar System |
| Autorzy: | Pąk, Karol |
| Słowa kluczowe: | surreal number Conway’s game normal form |
| Data wydania: | 2025 |
| Data dodania: | 9-sty-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 33, Issue 1, Pages 25-41 |
| Abstrakt: | This paper presents a formal definition of the Conway normal form, a structured representation uniquely suited to characterising surreal numbers by expressing them as sums within a hierarchically ordered group. To this end, we formalise the first sections of the chapter The Structure of the General Surreal Number in Conway’s book. In particular, we define omega maps and prove the existence and uniqueness of the Conway name for surreal numbers. |
| Afiliacja: | Faculty of Computer Science, University of Białystok, Poland |
| URI: | http://hdl.handle.net/11320/19594 |
| DOI: | 10.2478/forma-2025-0003 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0002-7099-1669 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2025 The Author(s) CC BY-SA 4.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2025, Volume 33, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Conway’s_Normal_Form_in_the_Mizar_System.pdf | 342,9 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
