Predicates and terms from non-standard sequences. arXiv:2312.00831
Preprint, arXiv:2312.00831 [math.CT] (2023).
Summary: 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
MSC:
03H05 | Nonstandard models in mathematics |
arXiv data are taken from the
arXiv OAI-PMH API.
If you found a mistake, please
report it directly to arXiv.