|
This article is cited in 5 scientific papers (total in 5 papers)
$\Sigma$-presentations of the ordering on the reals
A. S. Morozovab a Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090, Russia
b Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090, Russia
Abstract:
We prove the nonexistence of universal $\Sigma$-presentable linear orderings as well as the effective infinity of the class of $\Sigma$-presentations of the natural order on $\mathbb R$ over an admissible set $\mathbb{HF(R)}$.
Keywords:
$\Sigma$-presentation, ordering on reals, admissible set.
Received: 10.10.2012 Revised: 13.03.2014
Citation:
A. S. Morozov, “$\Sigma$-presentations of the ordering on the reals”, Algebra Logika, 53:3 (2014), 340–371; Algebra and Logic, 53:3 (2014), 217–237
Linking options:
https://www.mathnet.ru/eng/al639 https://www.mathnet.ru/eng/al/v53/i3/p340
|
Statistics & downloads: |
Abstract page: | 374 | Full-text PDF : | 96 | References: | 51 | First page: | 16 |
|