User contributions
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)
- 01:31, 18 November 2017 (diff | hist) . . (+15) . . Constructible universe
- 15:30, 11 November 2017 (diff | hist) . . (+2) . . Projective (→Projective determinacy from large cardinals)
- 15:28, 11 November 2017 (diff | hist) . . (+291) . . Projective
- 15:22, 11 November 2017 (diff | hist) . . (+4) . . Huge
- 15:21, 11 November 2017 (diff | hist) . . (+313) . . Huge (→Ultrafilter definition)
- 15:13, 11 November 2017 (diff | hist) . . (0) . . Huge (→Ultrafilter definition)
- 15:12, 11 November 2017 (diff | hist) . . (+1) . . Huge (→Ultrafilter definition)
- 15:11, 11 November 2017 (diff | hist) . . (+53) . . Huge (→Ultrafilter definition)
- 14:57, 11 November 2017 (diff | hist) . . (+30) . . Filter (→Measures)
- 14:56, 11 November 2017 (diff | hist) . . (+36) . . Filter (→The club filter, the non-stationary ideal and saturation)
- 14:52, 11 November 2017 (diff | hist) . . (+4) . . Filter (→Normal fine measures and large cardinals)
- 14:43, 11 November 2017 (diff | hist) . . (-1) . . Filter (→Normal fine measures and large cardinals)
- 14:42, 11 November 2017 (diff | hist) . . (+20) . . N Ideal (Redirected page to Filter) (current)
- 14:36, 11 November 2017 (diff | hist) . . (+22) . . Huge
- 14:35, 11 November 2017 (diff | hist) . . (+276) . . Ultrapower
- 14:31, 11 November 2017 (diff | hist) . . (+94) . . Measurable
- 14:28, 11 November 2017 (diff | hist) . . (+85) . . ORD is Mahlo
- 14:27, 11 November 2017 (diff | hist) . . (+183) . . Second-order
- 14:24, 11 November 2017 (diff | hist) . . (+134) . . Positive set theory
- 14:22, 11 November 2017 (diff | hist) . . (+63) . . Wholeness axioms
- 14:20, 11 November 2017 (diff | hist) . . (+35) . . L of V lambda+1
- 14:19, 11 November 2017 (diff | hist) . . (+198) . . Rank into rank (Undo revision 2052 by Wabb2t (talk))
- 14:16, 11 November 2017 (diff | hist) . . (-159) . . m Zero sharp
- 14:14, 11 November 2017 (diff | hist) . . (+190) . . Zero sharp
- 14:10, 11 November 2017 (diff | hist) . . (+123) . . Upper attic
- 14:08, 11 November 2017 (diff | hist) . . (+241) . . Woodin
- 14:01, 11 November 2017 (diff | hist) . . (+61) . . Kunen inconsistency
- 13:59, 11 November 2017 (diff | hist) . . (+215) . . Con ZFC
- 13:57, 11 November 2017 (diff | hist) . . (+8) . . Worldly
- 13:57, 11 November 2017 (diff | hist) . . (+343) . . Transitive ZFC model
- 13:52, 11 November 2017 (diff | hist) . . (+21) . . Axiom of determinacy
- 13:51, 11 November 2017 (diff | hist) . . (+1,043) . . Axiom of determinacy
- 13:02, 11 November 2017 (diff | hist) . . (-8) . . Projective (→Projective determinacy)
- 13:01, 11 November 2017 (diff | hist) . . (-8) . . Projective
- 12:59, 11 November 2017 (diff | hist) . . (+4) . . Projective (→Projective determinacy from large cardinals)
- 12:58, 11 November 2017 (diff | hist) . . (-14) . . Projective
- 12:55, 11 November 2017 (diff | hist) . . (-69) . . Axiom of determinacy
- 12:40, 11 November 2017 (diff | hist) . . (-12) . . Positive set theory
- 12:38, 11 November 2017 (diff | hist) . . (+5) . . High-jump
- 12:37, 11 November 2017 (diff | hist) . . (-2) . . Tree property
- 12:37, 11 November 2017 (diff | hist) . . (-9) . . HOD
- 12:36, 11 November 2017 (diff | hist) . . (-11) . . L of V lambda+1
- 12:36, 11 November 2017 (diff | hist) . . (+1) . . Supercompact
- 12:34, 11 November 2017 (diff | hist) . . (-6) . . Zero sharp
- 12:33, 11 November 2017 (diff | hist) . . (-30) . . Rank into rank
- 12:07, 11 November 2017 (diff | hist) . . (-2) . . Huge
- 12:06, 11 November 2017 (diff | hist) . . (-28) . . Wholeness axioms
- 12:05, 11 November 2017 (diff | hist) . . (-6) . . Weakly compact
- 12:04, 11 November 2017 (diff | hist) . . (-92) . . Measurable
- 12:01, 11 November 2017 (diff | hist) . . (-13) . . Woodin
- 11:55, 11 November 2017 (diff | hist) . . (-9) . . ZFC
- 11:52, 11 November 2017 (diff | hist) . . (+206) . . Woodin (→Definition and some properties)
- 11:50, 11 November 2017 (diff | hist) . . (+135) . . Woodin
- 11:43, 11 November 2017 (diff | hist) . . (+4) . . Filter (→The club filter, the non-stationary ideal and saturation)
- 11:42, 11 November 2017 (diff | hist) . . (0) . . Huge
- 11:40, 11 November 2017 (diff | hist) . . (+1) . . Filter (→The club filter, the non-stationary ideal and saturation)
- 11:39, 11 November 2017 (diff | hist) . . (+6) . . Filter (→The club filter, the non-stationary ideal and saturation)
- 11:17, 11 November 2017 (diff | hist) . . (-1) . . Filter (→The club filter, the non-stationary ideal and saturation)
- 11:15, 11 November 2017 (diff | hist) . . (+94) . . Filter (→Normal fine measures and large cardinals)
- 11:13, 11 November 2017 (diff | hist) . . (+52) . . Filter
- 11:03, 11 November 2017 (diff | hist) . . (+4,520) . . Filter
- 14:11, 10 November 2017 (diff | hist) . . (-12) . . Upper attic
- 14:09, 10 November 2017 (diff | hist) . . (-6) . . Upper attic
- 14:07, 10 November 2017 (diff | hist) . . (0) . . Superstrong (→Relation to other large cardinal notions)
- 09:33, 10 November 2017 (diff | hist) . . (+20) . . Filter
- 03:40, 10 November 2017 (diff | hist) . . (-20) . . Projective (→Projective determinacy from large cardinals)
- 03:06, 10 November 2017 (diff | hist) . . (+31) . . Rank into rank
- 03:01, 10 November 2017 (diff | hist) . . (-3) . . Measurable (→Definitions)
- 03:00, 10 November 2017 (diff | hist) . . (+77) . . Measurable (→Definitions)
- 02:58, 10 November 2017 (diff | hist) . . (-3) . . Measurable (→Properties)
- 02:51, 10 November 2017 (diff | hist) . . (+6) . . m Projective (→Properties)
- 02:49, 10 November 2017 (diff | hist) . . (+10) . . Axiom of determinacy (→Consistency strength of determinacy hypotheses)
- 02:46, 10 November 2017 (diff | hist) . . (+1) . . Axiom of determinacy (→Consistency strength of determinacy hypotheses)
- 02:44, 10 November 2017 (diff | hist) . . (+2) . . m Zero sharp (→Definition)
- 02:44, 10 November 2017 (diff | hist) . . (+22) . . Zero sharp (→Definition)
- 13:13, 9 November 2017 (diff | hist) . . (-35) . . Projective (→Projective determinacy from large cardinals)
- 11:41, 9 November 2017 (diff | hist) . . (+12) . . Projective
- 11:38, 9 November 2017 (diff | hist) . . (-3) . . Axiom of determinacy (→Consistency strength of determinacy hypotheses)
- 11:36, 9 November 2017 (diff | hist) . . (+3) . . Projective
- 11:35, 9 November 2017 (diff | hist) . . (-120) . . Huge
- 11:33, 9 November 2017 (diff | hist) . . (-154) . . m Superstrong
- 11:29, 9 November 2017 (diff | hist) . . (-48) . . Superstrong (→Relation to other large cardinal notions)
- 11:23, 9 November 2017 (diff | hist) . . (+76) . . Superstrong
- 11:10, 9 November 2017 (diff | hist) . . (-11) . . Tree property (→Properties)
- 05:44, 9 November 2017 (diff | hist) . . (+814) . . Projective (→Projective determinacy)
- 05:34, 9 November 2017 (diff | hist) . . (+2) . . Projective
- 14:15, 8 November 2017 (diff | hist) . . (-14) . . Extendible
- 10:27, 8 November 2017 (diff | hist) . . (-22) . . Projective
- 10:25, 8 November 2017 (diff | hist) . . (+16) . . Strongly compact
- 10:25, 8 November 2017 (diff | hist) . . (+27) . . Superstrong (→Relation to other large cardinal notions)
- 06:02, 8 November 2017 (diff | hist) . . (+14) . . Supercompact (→Formal definition and equivalent characterizations)
- 01:53, 7 November 2017 (diff | hist) . . (-41) . . Rowbottom (→Facts)
- 01:47, 7 November 2017 (diff | hist) . . (+17) . . Indescribable
- 01:45, 7 November 2017 (diff | hist) . . (-145) . . Strong
- 10:17, 5 November 2017 (diff | hist) . . (+4) . . Axiom of determinacy
- 06:58, 5 November 2017 (diff | hist) . . (+1) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 06:58, 5 November 2017 (diff | hist) . . (-11) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 05:25, 5 November 2017 (diff | hist) . . (+1) . . Upper attic
- 05:15, 5 November 2017 (diff | hist) . . (-6) . . Elementary embedding
- 05:12, 5 November 2017 (diff | hist) . . (+7) . . Elementary embedding
- 05:10, 5 November 2017 (diff | hist) . . (0) . . Elementary embedding
- 05:09, 5 November 2017 (diff | hist) . . (+12) . . Huge
- 04:51, 5 November 2017 (diff | hist) . . (0) . . Huge
- 04:29, 5 November 2017 (diff | hist) . . (+35) . . Filter
- 04:28, 5 November 2017 (diff | hist) . . (-18) . . Huge
- 04:26, 5 November 2017 (diff | hist) . . (-49) . . Huge
- 16:54, 4 November 2017 (diff | hist) . . (+2) . . High-jump (→Definition)
- 16:27, 4 November 2017 (diff | hist) . . (+40) . . Vopenka
- 14:13, 3 November 2017 (diff | hist) . . (0) . . Zero sharp
- 13:16, 3 November 2017 (diff | hist) . . (-1) . . m Admissible
- 13:16, 3 November 2017 (diff | hist) . . (-1) . . m Church-Kleene
- 13:16, 3 November 2017 (diff | hist) . . (-1) . . m Omega one chess (current)
- 13:15, 3 November 2017 (diff | hist) . . (-2) . . m Reflecting cardinals
- 13:15, 3 November 2017 (diff | hist) . . (-1) . . Beth
- 13:13, 3 November 2017 (diff | hist) . . (-2) . . Aleph
- 13:13, 3 November 2017 (diff | hist) . . (-1) . . Extendible
- 13:11, 3 November 2017 (diff | hist) . . (+3) . . Limit ordinal (→Types of Limits)
- 13:07, 3 November 2017 (diff | hist) . . (-549) . . Descriptive set theory (Redirected page to Projective) (current)
- 02:48, 3 November 2017 (diff | hist) . . (0) . . Zero sharp
- 02:47, 3 November 2017 (diff | hist) . . (-4) . . Zero sharp
- 05:32, 2 November 2017 (diff | hist) . . (0) . . Upper attic
- 04:34, 2 November 2017 (diff | hist) . . (+81) . . Projective (→Regularity properties)
- 02:23, 2 November 2017 (diff | hist) . . (-6) . . Projective
- 02:22, 2 November 2017 (diff | hist) . . (-1) . . Projective
- 03:35, 1 November 2017 (diff | hist) . . (+54) . . Axiom of determinacy
- 03:20, 1 November 2017 (diff | hist) . . (+206) . . High-jump
- 03:15, 1 November 2017 (diff | hist) . . (+51) . . Woodin (→Shelah cardinals)
- 16:04, 31 October 2017 (diff | hist) . . (+7) . . Projective (→Projective determinacy from large cardinals)
- 16:03, 31 October 2017 (diff | hist) . . (-5) . . Projective (→Projective ordinals)
- 13:33, 31 October 2017 (diff | hist) . . (+67) . . Upper attic
- 13:31, 31 October 2017 (diff | hist) . . (-4) . . Projective (→Projective determinacy)
- 13:26, 31 October 2017 (diff | hist) . . (+288) . . Axiom of determinacy (→Type of games that are determined)
- 13:19, 31 October 2017 (diff | hist) . . (+2) . . Projective (→Regularity properties)
- 13:16, 31 October 2017 (diff | hist) . . (+6) . . Projective (→Properties)
- 13:14, 31 October 2017 (diff | hist) . . (+3) . . Projective (→Properties)
- 12:58, 31 October 2017 (diff | hist) . . (+328) . . Second-order
- 11:35, 31 October 2017 (diff | hist) . . (-1) . . Projective (→Reduction and separation properties)
- 11:33, 31 October 2017 (diff | hist) . . (-8) . . Projective (→Prewellordering, scale and uniformization properties)
- 11:29, 31 October 2017 (diff | hist) . . (0) . . Projective
- 11:28, 31 October 2017 (diff | hist) . . (+137) . . Projective
- 11:23, 31 October 2017 (diff | hist) . . (+1) . . Projective (→Reduction and separation properties)
- 11:22, 31 October 2017 (diff | hist) . . (+41) . . Projective (→Reduction and separation properties)
- 11:15, 31 October 2017 (diff | hist) . . (+1) . . Projective (→Projective determinacy from large cardinals)
- 11:09, 31 October 2017 (diff | hist) . . (0) . . Projective
- 11:08, 31 October 2017 (diff | hist) . . (+4) . . Axiom of determinacy (→Consistency strength of determinacy hypotheses)
- 11:07, 31 October 2017 (diff | hist) . . (+233) . . Axiom of determinacy
- 11:03, 31 October 2017 (diff | hist) . . (+4) . . Measurable
- 11:02, 31 October 2017 (diff | hist) . . (+4) . . Projective
- 11:00, 31 October 2017 (diff | hist) . . (+47) . . N Projective determinacy (Redirected page to Projective#Projective determinacy) (current)
- 11:00, 31 October 2017 (diff | hist) . . (+13) . . Axiom of projective determinacy (Redirected page to Projective#Projective determinacy) (current)
- 10:58, 31 October 2017 (diff | hist) . . (+2,000) . . Projective
- 10:58, 31 October 2017 (diff | hist) . . (-2,662) . . Axiom of determinacy (→Axiom of projective determinacy)
- 10:35, 31 October 2017 (diff | hist) . . (+10) . . Projective
- 09:55, 31 October 2017 (diff | hist) . . (+2,300) . . Projective
- 09:13, 31 October 2017 (diff | hist) . . (+3) . . Projective
- 09:08, 31 October 2017 (diff | hist) . . (+147) . . Projective
- 09:05, 31 October 2017 (diff | hist) . . (+2,538) . . Projective
- 08:18, 31 October 2017 (diff | hist) . . (+150) . . Woodin
- 08:17, 31 October 2017 (diff | hist) . . (-16) . . Projective
- 08:12, 31 October 2017 (diff | hist) . . (+2,684) . . Projective
- 07:22, 31 October 2017 (diff | hist) . . (+941) . . Projective
- 06:35, 31 October 2017 (diff | hist) . . (0) . . Projective
- 06:33, 31 October 2017 (diff | hist) . . (+2,163) . . Projective
- 04:18, 31 October 2017 (diff | hist) . . (-1) . . Projective
- 04:17, 31 October 2017 (diff | hist) . . (+2,640) . . Projective
- 03:45, 31 October 2017 (diff | hist) . . (+2,786) . . N Projective (Created page with "{{DISPLAYTITLE: Hiearchy of projective sets}} We say that $\Gamma$ is a ''pointclass'' if it is a collection of subsets of a Polish space. The lig...")
- 03:17, 31 October 2017 (diff | hist) . . (-1,096) . . Axiom of determinacy
- 03:04, 31 October 2017 (diff | hist) . . (+24) . . N Projective set (Redirected page to Projective) (current)
- 03:04, 31 October 2017 (diff | hist) . . (+24) . . N Projective hiearchy (Redirected page to Projective) (current)
- 02:46, 31 October 2017 (diff | hist) . . (+47) . . N Constructible universe (Redirected page to wikipedia:constructible universe)
- 02:43, 31 October 2017 (diff | hist) . . (-14) . . Axiom of determinacy
- 14:22, 30 October 2017 (diff | hist) . . (+3) . . Filter
- 14:21, 30 October 2017 (diff | hist) . . (+28) . . Filter
- 14:18, 30 October 2017 (diff | hist) . . (+10) . . Filter
- 14:00, 30 October 2017 (diff | hist) . . (+12) . . High-jump
- 13:59, 30 October 2017 (diff | hist) . . (+11) . . High-jump
- 13:24, 30 October 2017 (diff | hist) . . (+74) . . Ultrapower
- 13:18, 30 October 2017 (diff | hist) . . (+1) . . Measurable (→Definitions)
- 13:17, 30 October 2017 (diff | hist) . . (+618) . . Measurable
- 13:07, 30 October 2017 (diff | hist) . . (+83) . . Filter
- 13:03, 30 October 2017 (diff | hist) . . (+1,279) . . Ultrapower
- 12:40, 30 October 2017 (diff | hist) . . (+16) . . Ultrapower
- 12:38, 30 October 2017 (diff | hist) . . (+863) . . Ultrapower
- 11:43, 30 October 2017 (diff | hist) . . (+1,738) . . Ultrapower
- 10:53, 30 October 2017 (diff | hist) . . (+1,106) . . Ultrapower
- 09:46, 30 October 2017 (diff | hist) . . (-1) . . Cantor's Attic
- 07:43, 30 October 2017 (diff | hist) . . (0) . . Upper attic
- 07:20, 30 October 2017 (diff | hist) . . (-21) . . Parlour
- 07:19, 30 October 2017 (diff | hist) . . (+2) . . Upper attic
- 07:19, 30 October 2017 (diff | hist) . . (+19) . . Ineffable (→Ethereal cardinals)
- 07:17, 30 October 2017 (diff | hist) . . (+22) . . Ineffable
- 07:16, 30 October 2017 (diff | hist) . . (+102) . . Upper attic
- 07:15, 30 October 2017 (diff | hist) . . (+45) . . N Rowbottom (Created page with "{{DISPLAYTITLE: Rowbottom cardinal}} {{stub}}")
- 07:14, 30 October 2017 (diff | hist) . . (+36) . . Jonsson
- 07:14, 30 October 2017 (diff | hist) . . (-1) . . Measurable
- 07:13, 30 October 2017 (diff | hist) . . (-4) . . Jonsson
- 07:10, 30 October 2017 (diff | hist) . . (+44) . . N Subcompact (Redirected page to wikipedia:subcompact cardinal) (current)
- 07:09, 30 October 2017 (diff | hist) . . (+110) . . Weakly compact
- 07:05, 30 October 2017 (diff | hist) . . (+24) . . Upper attic
- 07:04, 30 October 2017 (diff | hist) . . (+50) . . N Second-order (Redirected page to wikipedia:Morse–Kelley set theory)
- 07:02, 30 October 2017 (diff | hist) . . (+6) . . Filter
- 06:59, 30 October 2017 (diff | hist) . . (+23) . . Filter
- 06:52, 30 October 2017 (diff | hist) . . (-6) . . Woodin (→Woodin cardinals and determinacy)
- 06:52, 30 October 2017 (diff | hist) . . (+7) . . Woodin (→Definition and some properties)
- 06:48, 30 October 2017 (diff | hist) . . (+83) . . Axiom of determinacy (→Consistency strength of determinacy hypotheses)
- 06:46, 30 October 2017 (diff | hist) . . (+87) . . Axiom of determinacy
- 06:41, 30 October 2017 (diff | hist) . . (+649) . . Axiom of determinacy
- 06:39, 29 October 2017 (diff | hist) . . (-15) . . Playroom
- 06:36, 29 October 2017 (diff | hist) . . (+78) . . Axiom of determinacy (→Consistency strength of determinacy hypotheses)
- 06:28, 29 October 2017 (diff | hist) . . (-12) . . Axiom of determinacy (→Consistency strength of determinacy hypotheses)
- 06:27, 29 October 2017 (diff | hist) . . (-17) . . Axiom of determinacy (→Implications of the axiom of determinacy)
- 06:02, 29 October 2017 (diff | hist) . . (0) . . Axiom of determinacy (→Consistency strength of determinacy hypotheses)
- 06:01, 29 October 2017 (diff | hist) . . (+445) . . Axiom of determinacy
- 12:09, 28 October 2017 (diff | hist) . . (+12) . . Axiom of determinacy
- 12:03, 28 October 2017 (diff | hist) . . (+18) . . Strong
- 12:02, 28 October 2017 (diff | hist) . . (+57) . . Nearly supercompact
- 11:58, 28 October 2017 (diff | hist) . . (+30) . . Extendible
- 11:57, 28 October 2017 (diff | hist) . . (+7) . . High-jump
- 11:56, 28 October 2017 (diff | hist) . . (+24) . . High-jump
- 11:54, 28 October 2017 (diff | hist) . . (+6) . . Rank into rank
- 11:52, 28 October 2017 (diff | hist) . . (+3) . . Kunen inconsistency
- 11:49, 28 October 2017 (diff | hist) . . (+12) . . Measurable
- 11:47, 28 October 2017 (diff | hist) . . (+43) . . Supercompact
- 11:41, 28 October 2017 (diff | hist) . . (+229) . . Filter
- 11:33, 28 October 2017 (diff | hist) . . (-54) . . Filter (→Measures)
- 08:57, 28 October 2017 (diff | hist) . . (+4) . . Mitchell rank (→$o(\kappa)=\kappa^{++}$)
- 08:51, 28 October 2017 (diff | hist) . . (+11) . . Library
- 08:51, 28 October 2017 (diff | hist) . . (+68) . . Axiom of determinacy
- 08:49, 28 October 2017 (diff | hist) . . (+375) . . Library
- 08:38, 28 October 2017 (diff | hist) . . (+98) . . Filter
- 08:21, 28 October 2017 (diff | hist) . . (-176) . . Strongly compact (→Fine measure characterization)
- 08:20, 28 October 2017 (diff | hist) . . (-28) . . Filter (→Definitions)
- 08:15, 28 October 2017 (diff | hist) . . (+1,073) . . Axiom of determinacy
- 07:55, 28 October 2017 (diff | hist) . . (-2) . . Library
- 07:53, 28 October 2017 (diff | hist) . . (+286) . . Library
- 07:20, 28 October 2017 (diff | hist) . . (-2) . . Woodin
- 07:17, 28 October 2017 (diff | hist) . . (+158) . . Positive set theory
- 06:55, 28 October 2017 (diff | hist) . . (+2,697) . . Library
- 03:39, 28 October 2017 (diff | hist) . . (+88) . . Axiom of determinacy
- 03:24, 28 October 2017 (diff | hist) . . (0) . . Axiom of determinacy
- 03:21, 28 October 2017 (diff | hist) . . (+985) . . Axiom of determinacy
- 02:51, 28 October 2017 (diff | hist) . . (+754) . . Library
- 14:01, 27 October 2017 (diff | hist) . . (+9) . . Woodin
- 13:41, 27 October 2017 (diff | hist) . . (+13) . . Woodin
- 13:39, 27 October 2017 (diff | hist) . . (+3,478) . . Woodin
- 13:38, 27 October 2017 (diff | hist) . . (+2,573) . . User blog:Wabb2t/Woodin WIP (current)
- 12:37, 27 October 2017 (diff | hist) . . (+1,652) . . User blog:Wabb2t/Woodin WIP
- 12:15, 27 October 2017 (diff | hist) . . (+369) . . Library (→Library holdings)
- 12:03, 27 October 2017 (diff | hist) . . (+886) . . User blog:Wabb2t/Woodin WIP
- 11:29, 27 October 2017 (diff | hist) . . (0) . . User blog:Wabb2t/Woodin WIP
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)
