Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Predicates and terms from non-standard sequences

V. M. Zhuravlov

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

Predicates and terms from non-standard sequences

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
Paper Structure (4 sections, 39 equations)

This paper contains 4 sections, 39 equations.

Table of Contents

  1. Introduction
  2. Monoids and categories
  3. Categories and monoids
  4. Partially existing sequences