CrossRef
2025
QUOTIENT SET AS A MEANS OF CONSTRUCTIVE DETERMINATION OF NUMBER CLASSES
S. Ya. Serovaisky
Abstrak
A constructive definition of natural, integer, rational, and real numbers is given, based on the concept of a quotient set. It is shown that generalizations of these constructions are procedures for constructing a Grothendieck group and completion of metric spaces, which in turn out to be special cases of some free functors.
Penulis (1)
S
S. Ya. Serovaisky
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2025
- Bahasa
- en
- Sumber Database
- CrossRef
- DOI
- 10.22363/2224-7580-2025-4-69-80
- Akses
- Terbatas