User contributions
- 22:55, 3 November 2013 (diff | hist) . . (+1,155) . . Rank into rank (Revised the section reflection properties and merged with new section on properties of critical points)
- 16:24, 9 August 2012 (diff | hist) . . (+671) . . Woodin (Some minor editing)
- 19:39, 18 July 2012 (diff | hist) . . (+2,365) . . Woodin (Just a start...)
- 21:29, 5 May 2012 (diff | hist) . . (+1,141) . . L of V lambda 1 (added some first-order details on this axiom)
- 16:00, 17 March 2012 (diff | hist) . . (+218) . . N Talk:Kunen inconsistency (Created page with "I think it might be interesting to include Woodin's notion of Berkely cardinal here once a significant portion of the rest of the attic is filled out. ~~~~") (current)
- 21:55, 12 March 2012 (diff | hist) . . (0) . . m Supercompact
- 21:54, 12 March 2012 (diff | hist) . . (+3,163) . . Supercompact (Gave the original definition and another characterization, also started a broader introduction-type paragraph)
- 16:15, 10 March 2012 (diff | hist) . . (+3,624) . . N Hereditary Cardinality (Some headway on these important models of fragments of ZFC)
- 15:00, 10 March 2012 (diff | hist) . . (+545) . . Woodin
- 00:35, 21 January 2012 (diff | hist) . . (+3,261) . . N Ultrapower (Created page with "{{DISPLAYTITLE: Ultrapower Constructions}} The intuitive idea behind ultrapower constructions (and ultraproduct constructions in general) is to take a sequence of already exist...")
- 23:29, 20 January 2012 (diff | hist) . . (+16) . . m Erdos
- 22:53, 20 January 2012 (diff | hist) . . (+351) . . N Talk:Forcing (Created page with "I have some fairly detailed notes on forcing that I'd like to upload and edit for the site. They are essentially a transcription of Prof. Richard Laver's lectures on forcing and ...")
- 22:44, 20 January 2012 (diff | hist) . . (+17) . . Nm ZF (Redirected page to ZFC) (current)
- 22:44, 20 January 2012 (diff | hist) . . (+18) . . Nm Stationary (Redirected page to Club) (current)
- 22:41, 20 January 2012 (diff | hist) . . (+4,977) . . N Club (Created page with "{{DISPLAYTITLE: Club Sets and Stationary Sets}} Closed and unbounded subsets of ordinals, more commonly referred to as ''club'' sets, play a prominent role in modern set theory....")
- 18:14, 19 January 2012 (diff | hist) . . (+5,735) . . N ZFC (Created page with "{{DISPLAYTITLE: The Axioms of $ZFC$}} Zermelo-Frankel Set Theory with Axiom of Choice is a (the?) standard collection of axioms used by set theorists. The formal language used ...")
- 15:05, 16 January 2012 (diff | hist) . . (+382) . . HOD
- 14:18, 16 January 2012 (diff | hist) . . (+27) . . N Rank 1 into rank 1 (Redirected page to Rank into rank) (current)
- 14:14, 16 January 2012 (diff | hist) . . (+654) . . Rank into rank (included further strengthenings of I1)
- 13:58, 16 January 2012 (diff | hist) . . (+25) . . L of V lambda 1
- 13:55, 16 January 2012 (diff | hist) . . (+1,926) . . N L of V lambda 1 (Introduction and backbone of the I0 axiom page.)
- 13:54, 16 January 2012 (diff | hist) . . (+35) . . L of V lambda+1 (Introduction and backbone of the I0 axiom page.)
- 13:51, 16 January 2012 (diff | hist) . . (+1,891) . . N L of V lambda+1 (Created page with "The large cardinal axiom of the title asserts that some non-trivial elementary embedding $j:V_{\lambda+1}\to V_{\lambda+1}$ extends to a non-trivial elementary embedding $j:L(V_{...")
- 12:53, 16 January 2012 (diff | hist) . . (+36) . . Rank into rank
- 12:48, 16 January 2012 (diff | hist) . . (+458) . . Library
- 12:30, 16 January 2012 (diff | hist) . . (-76) . . Rank into rank (Clarified relationship between iterable embeddings I2 embeddings)
- 11:25, 13 January 2012 (diff | hist) . . (+123) . . Nm HOD (Created page with "{{DISPLAYTITLE: $HOD$}} $HOD$ is the class of Hereditarily Ordinal Definable sets. It is a canonical inner model of $ZFC$.")
- 00:04, 13 January 2012 (diff | hist) . . (+28) . . N Rank+1 into rank+1 (Redirected page to Rank into rank) (current)
- 00:01, 13 January 2012 (diff | hist) . . (-3) . . Rank into rank
- 23:55, 12 January 2012 (diff | hist) . . (+129) . . N User:Devilsstaircase (Created page with "Hello attic dwellers! My name is Everett. I am currently a teacher at the University of Colorado and a large cardinal enthusiast.") (current)
- 23:53, 12 January 2012 (diff | hist) . . (+53) . . Rank into rank
- 23:42, 12 January 2012 (diff | hist) . . (+4,668) . . Rank into rank
- 21:52, 12 January 2012 (diff | hist) . . (+208) . . Rank into rank
- 20:32, 12 January 2012 (diff | hist) . . (+158) . . Rank into rank
- 23:28, 11 January 2012 (diff | hist) . . (+375) . . N Talk:Rank into rank (Created page with "There is (or rather, I have) some confusion over the terminology "$\omega$-huge". I have heard Kunen's Inconsistency described as a proof that there is no $\omega$-huge cardinal,...") (current)
- 23:24, 11 January 2012 (diff | hist) . . (+1,871) . . N Rank into rank (Started this page on its eventual journey to greatness.)
- 17:32, 10 January 2012 (diff | hist) . . (+85) . . N Talk:Upper attic (Created page with "For the rank into rank and closely related pages, how much detail are we looking for?")
- 17:29, 10 January 2012 (diff | hist) . . (+45) . . m Cellar (Suggest adding links to pages of the various canonical models used.)