Re: Bibliography/open references of models of theories
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: 17 Jan 2008 21:12:45 -0500
On 2008-01-16, in sci.math.research, joeshipman@xxxxxxx wrote:
It is possible that ZF has NO standard models except for the whole
Universe (which is a proper class and not a set). This is actually an
interesting axiom to add to ZF; it is equivalent to the conjunction of
Godel's axiom of Constructibility V=L with the axiom that there are no
standard models that are sets.
What's interesting about it? It's false, after all, even though consistent
with ZFC.
--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- References:
- Bibliography/open references of models of theories
- From: Xan
- Re: Bibliography/open references of models of theories
- From: joeshipman@xxxxxxx
- Bibliography/open references of models of theories
- Prev by Date: alternate presentations of the theory of categories
- Next by Date: C^\infty spline?
- Previous by thread: Re: Bibliography/open references of models of theories
- Next by thread: Re: Bibliography/open references of models of theories
- Index(es):
Relevant Pages
|
|
