An alternative construction of Conway's ordered field No
type: Item
instance of: scholarly article
title: An alternative construction of Conway's ordered field No
zbMATH Open document ID: 0644.03020
DOI: 10.1007/BF01229956
author: Philip Ehrlich
published in: Algebra Universalis
publication date: 1988-01-01T00:00:00Z
review text: Let \(\kappa\leq On\) (i.e., the power of all proper classes in NBG). A model A for a theory T in a language L is said to be \(\kappa\)-universally extending iff for any models B and C of T in L where B is a substructure of A, C is an extension of B and \(| B|,| C| <\kappa\), there is a model C' of T in L that is a substructure of A and an isomorphism from C onto C' extending the identity map on B. An \(\aleph_{\alpha}\)-universally extending ordered field of power \(\aleph_{\alpha}\) is constructed in NBG for each regular power \(\aleph_{\alpha}\), where \(0<\alpha \leq On\) and \(\sum_{\beta <\alpha}2^{\aleph_{\beta}}\leq \aleph_{\alpha}\), and it is shown that when \(\aleph_{\alpha}\) is inaccessible the structure is either a (set) model of J. H. Conway's ordered field No or an isomorphic copy of No depending on whether or not \(\aleph_{\alpha}\) is a set. [For Errata, see ibid. 25, 223 (1988).] The author has since provided [Abstr. Am. Math. Soc. Dec. 1988] categorical axiomatizations of the ordered field of reals and shown that by deleting the Archimedean condition one obtains categorical axiomatizations of No; e.g. R is an On-universally extending (On- homogeneous universal) Archimedean ordered field; and R is a d-maximal real-closed Archimedean ordered field. Let T be a theory containing the theory of dense linear orderings and A, B be models of T. If \(A\subset B\) and for some pair (X,Y) of subsets of A there is a \(z\in B\) where \(X<\{z\}<Y\), but for no z'\(\in A\), \(X<\{z'\}<Y\), then B is said to be a d-extension. If A has no d-extension, A is d-maximal.
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 12L12
Mathematics Subject Classification ID: 12J15
zbMATH DE Number: 4049627
zbMATH Keywords: real-closed fields
zbMATH Keywords: homogeneous universal models
zbMATH Keywords: ordered field No
MaRDI profile type: Publication
cites work: Zur Axiomatik der Mengenlehre
cites work: On the Existence of Real-Closed Fields That Are η α -Sets of Power ℵ α
cites work: On Ordered Divisible Groups
cites work: Conway's Field of Surreal Numbers
cites work: Q3734532
cites work: Q3755550
cites work: Q4099541
cites work: An isomorphism theorem for real-closed fields
cites work: Q4107488
cites work: Beiträge zur Theorie der Ordnungstypen, insbesondere der \(\eta_{\alpha}\)-Mengen
cites work: Q4100304
cites work: Q3962956
cites work: Homogeneous Universal Models.
cites work: Q4100182
cites work: On Ordered Division Rings
cites work: Q3263853
cites work: Q5796078
cites work: Q5798873
cites work: Q3268765
cites work: Q3268764
Recommended article: Q4323016
Recommended article: Errata to ``An alternative construction of Conway's ordered field No.''
Recommended article: Q3986779
Recommended article: Q3358841
Recommended article: Q5868809
Recommended article: Nonconstructivizability of certain ordered fields of real numbers
Recommended article: Q4552743
Recommended article: Constructive completions of ordered sets, groups and fields
Recommended article: On the Pierce-Birkhoff conjecture over ordered fields
Recommended article: Q5042720
description: scientific article; zbMATH DE number 4049627