The University of Southampton
University of Southampton Institutional Repository

Ordered fields and ŁΠ1/2-algebras

Ordered fields and ŁΠ1/2-algebras
Ordered fields and ŁΠ1/2-algebras
In this work we further explore the connection between ŁΠ1/ 2-algebras and ordered fields. We show that any two ŁΠ1/ 2-chains generate the same variety if and only if they are related to ordered fields that have the same universal theory. This will yield that any ŁΠ1/2-chain generates the whole variety if and only if it contains a subalgebra isomorphic to the ŁΠ1/2-chain of real algebraic numbers, that consequently is the smallest ŁΠ1/ 2-chain generating the whole variety. We also show that any two different subalgebras of the ŁΠ1/2-chain over the real algebraic numbers generate different varieties. This will be exploited in order to prove that the lattice of subvarieties of ŁΠ1/ 2-algebras has the cardinality of the continuum. Finally, we will also briefly deal with some model-theoretic properties of ŁΠ1/ 2-chains related to real closed fields, proving quantifier-elimination and related results.
????1/2, Ordered fields, Real closed fields
559-564
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96

Marchioni, Enrico (2009) Ordered fields and ŁΠ1/2-algebras. Soft Computing, 13 (6), 559-564. (doi:10.1007/s00500-008-0315-y).

Record type: Article

Abstract

In this work we further explore the connection between ŁΠ1/ 2-algebras and ordered fields. We show that any two ŁΠ1/ 2-chains generate the same variety if and only if they are related to ordered fields that have the same universal theory. This will yield that any ŁΠ1/2-chain generates the whole variety if and only if it contains a subalgebra isomorphic to the ŁΠ1/2-chain of real algebraic numbers, that consequently is the smallest ŁΠ1/ 2-chain generating the whole variety. We also show that any two different subalgebras of the ŁΠ1/2-chain over the real algebraic numbers generate different varieties. This will be exploited in order to prove that the lattice of subvarieties of ŁΠ1/ 2-algebras has the cardinality of the continuum. Finally, we will also briefly deal with some model-theoretic properties of ŁΠ1/ 2-chains related to real closed fields, proving quantifier-elimination and related results.

This record has no associated files available for download.

More information

e-pub ahead of print date: 21 May 2008
Published date: April 2009
Keywords: ????1/2, Ordered fields, Real closed fields

Identifiers

Local EPrints ID: 416726
URI: http://eprints.soton.ac.uk/id/eprint/416726
PURE UUID: a216edaf-83e3-487c-85a9-5af3a97134dd

Catalogue record

Date deposited: 05 Jan 2018 17:30
Last modified: 15 Mar 2024 17:37

Export record

Altmetrics

Contributors

Author: Enrico Marchioni

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×