Re: 2nd order replacement and non-standard models of ZF?
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxx>
- Date: 02 Mar 2009 19:57:41 +0200
Frederick Williams <frederick.williams2@xxxxxxxxx> writes:
I hope that this isn't a silly question but what _is_ second-order set
theory?
ZFC with replacement and separation in their second-order form instead
of as schemata.
--
Aatu Koskensilta (aatu.koskensilta@xxxxxx)
"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: 2nd order replacement and non-standard models of ZF?
- From: Fjodor
- Re: 2nd order replacement and non-standard models of ZF?
- From: MoeBlee
- Re: 2nd order replacement and non-standard models of ZF?
- References:
- Re: 2nd order replacement and non-standard models of ZF?
- From: Frederick Williams
- Re: 2nd order replacement and non-standard models of ZF?
- Prev by Date: Re: 2nd order replacement and non-standard models of ZF?
- Next by Date: Newbie question regarding Godel's Incompleteness Theorem
- Previous by thread: Re: 2nd order replacement and non-standard models of ZF?
- Next by thread: Re: 2nd order replacement and non-standard models of ZF?
- Index(es):
Relevant Pages
|
