🚀 go-pugleaf

In article <7160@charon.cwi.nl>
jrk@sys.uea.ac.uk (Richard Kennaway) writes:
 
>
>In article <1992Aug20.171630.18667@ariel.ec.usf.edu> Gregory McColm,
>mccolm@darwin.math.usf.edu. writes:
>>The standard (ie, wellfounded) models all satisfy Con(ZFC)
>
>Can someone clarify for me the term "standard model"?  Is this a concept
>with a formal definition, or is a "standard model" of a theory, simply a
>model which satisfies the intuitions which inspired the axioms of the
>theory?
>
>--
>Richard Kennaway     SYS, University of East Anglia, Norwich NR4 7TJ, U.K.
>Internet:  jrk@sys.uea.ac.uk               uucp:  ...mcsun!ukc!uea-sys!jrk
 
In some areas of algebra, I think that the answer to your second
question is "Yes":
Each Boolean algebra has a standard model as an algebra of sets via
Stone's theorem, each group has a standard model as a permutation group
via Cayley's theorem. Standard models of relation algebras are algebras
of binary relations, and there are non-standard models (i.e. non -
representable relation algebras) by a theorem of Lyndon.
 
Ivo Duentsch
Rechenzentrum
Universitaet Osnabrueck
 
duentsch@dosuni1.rz.uni-osnabrueck.de