Mathematics – Logic
Scientific paper
2003-11-21
Mathematics
Logic
20 pages, sent to Journal of Symbolic Logic
Scientific paper
We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known definition of a local embedding of an algebraic system $A$ in a class $\K$ of algebraic systems. According to this definition $A$ is locally embedded in $K$ iff it is a subsystem of an ultraproduct of some systems in $\K$. We obtain a similar characterization of approximation of a locally compact system $A$ by systems in $\K$. We inroduce the bounded formulas of the signature of $A$ and their approximations similar to those introduced by C.W.Henson \cite{he} for Banach spaces. We prove that a positive bounded formula $\f$ holds in $A$ if all precise enough approximations of $\f$ hold in all precise enough approximations of $A$. We prove that a locally compact field cannot be approximated by finite associative rings (not necessary commutative). Finite approximations of the field $\R$ can be concedered as computer systems for reals. Thus, it is impossible to construct a computer arithmetic for reals that is an associative ring.
Glebsky Yu. L.
Gordon Iouli E.
Henson Ward C.
No associations
LandOfFree
On finite approximations of topological algebraic systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On finite approximations of topological algebraic systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On finite approximations of topological algebraic systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-112779