Timeline for A "Completion" of $ZFC^-$

10 events

when toggle format	what		by	license	comment
Apr 13, 2017 at 12:58	history	edited	CommunityBot		replaced http://mathoverflow.net/ with https://mathoverflow.net/
Dec 12, 2016 at 18:49	vote	accept	Danielle Ulrich
Dec 12, 2016 at 15:21	answer	added	Emil Jeřábek		timeline score: 4
Dec 11, 2016 at 21:49	comment	added	Danielle Ulrich		Also, $T_1$ is equivalent to adding a truth predicate $\Gamma$, and then saying $\{\alpha: (\mathbb{V}_\alpha, \in) \preceq (\mathbb{V}, \in)\}$ is stationary for $\in$-definable classes.
Dec 11, 2016 at 21:45	comment	added	Danielle Ulrich		Unsurpisingly, one gets into trouble if you have $T_1$ say that for all $\alpha \in P$, $(\mathbb{V}_\alpha, \in, P) \preceq (\mathbb{V}, \in, P)$. While this theory does make sense, it is in fact inconsistent (it defines truth).
Dec 11, 2016 at 21:43	history	edited	Danielle Ulrich	CC BY-SA 3.0	clarifications to what $T_1$ is
Dec 9, 2016 at 18:09	comment	added	Danielle Ulrich		Incidentally there is a lot of redundancy in $T_1$; for instance if we replaced $ZFC^-$ by $KP$ (Kripke-Platek set theory) we would get the same theory.
Dec 9, 2016 at 17:34	history	edited	Danielle Ulrich	CC BY-SA 3.0	added questions 3 and 4
Dec 9, 2016 at 17:27	answer	added	Danielle Ulrich		timeline score: 1
Dec 9, 2016 at 5:33	history	asked	Danielle Ulrich	CC BY-SA 3.0