Predicates and terms from non-standard sequences
Category Theory
2025-03-31 v1 Logic
Abstract
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
Keywords
Cite
@article{arxiv.2312.00831,
title = {Predicates and terms from non-standard sequences},
author = {V. M. Zhuravlov},
journal= {arXiv preprint arXiv:2312.00831},
year = {2025}
}
Comments
11 pages, 2 figures