Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2312.00831 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915217791778816 |
|---|---|
| author | Zhuravlov, V. M. |
| author_facet | Zhuravlov, V. M. |
| contents | The article proposes a method for constructing non-standard theories based on terms from partially existing sequences of elements. The method is illustrated by the example of the theory of monoids.
Predicates and terms from non-standard sequences, 2023, udc: 510.65 msc: 03H05
Key words: monoid, term, ideal, category, isomorphizm, insignificant extension of the theory, non-standard theory |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_00831 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Predicates and terms from non-standard sequences Zhuravlov, V. M. Category Theory Logic 03H05 The article proposes a method for constructing non-standard theories based on terms from partially existing sequences of elements. The method is illustrated by the example of the theory of monoids. Predicates and terms from non-standard sequences, 2023, udc: 510.65 msc: 03H05 Key words: monoid, term, ideal, category, isomorphizm, insignificant extension of the theory, non-standard theory |
| title | Predicates and terms from non-standard sequences |
| topic | Category Theory Logic 03H05 |
| url | https://arxiv.org/abs/2312.00831 |