Predicates and terms from non-standard sequences
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |