User contributions
(newest | oldest) View (newer 500 | older 500) (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
- 11:29, 27 October 2017 (diff | hist) . . (+1,254) . . User blog:Wabb2t/Woodin WIP
- 11:17, 27 October 2017 (diff | hist) . . (0) . . Club
- 10:39, 27 October 2017 (diff | hist) . . (+1,003) . . N User blog:Wabb2t/Woodin WIP (Created page with "''Work in progress. Do not edit.'' '''Woodin cardinals''' (named after W. Hugh Woodin) are a generalization of the notion of strong cardinals and have been used to calibrate...")
- 10:29, 27 October 2017 (diff | hist) . . (+252) . . Library
- 09:57, 27 October 2017 (diff | hist) . . (-18) . . Woodin (→Elementary Embedding Characterization)
- 09:51, 27 October 2017 (diff | hist) . . (-4) . . Indescribable
- 09:41, 27 October 2017 (diff | hist) . . (+2) . . Ramsey
- 09:41, 27 October 2017 (diff | hist) . . (+112) . . Erdos
- 09:38, 27 October 2017 (diff | hist) . . (+60) . . Ramsey
- 09:36, 27 October 2017 (diff | hist) . . (+9) . . Ramsey
- 09:35, 27 October 2017 (diff | hist) . . (+38) . . Ramsey
- 02:38, 25 October 2017 (diff | hist) . . (-119) . . Axiom of determinacy (→Axiom of projective determinacy: to be verified (it would implies analytic determinacy follows from ZFC))
- 02:34, 25 October 2017 (diff | hist) . . (-16) . . Axiom of determinacy (→Other known limitations of determinacy)
- 13:12, 24 October 2017 (diff | hist) . . (0) . . Upper attic
- 10:05, 24 October 2017 (diff | hist) . . (+99) . . Upper attic
- 09:34, 24 October 2017 (diff | hist) . . (+1) . . Positive set theory
- 09:32, 24 October 2017 (diff | hist) . . (+3) . . Positive set theory (→GPK positive set theories)
- 09:30, 24 October 2017 (diff | hist) . . (+7) . . Positive set theory (→Other positive set theories and the inconsistency axiom of extensionality)
- 09:27, 24 October 2017 (diff | hist) . . (+4,937) . . N Positive set theory (Created page with "''Positive set theory'' is the name of a certain group of axiomatic set theories originally created by weakening the inconsistent ''comprehension axiom'' of naive set theory...")
- 12:23, 23 October 2017 (diff | hist) . . (-2) . . Superstrong
- 12:22, 23 October 2017 (diff | hist) . . (-9) . . Huge
- 12:21, 23 October 2017 (diff | hist) . . (-84) . . N-fold variants
- 12:16, 23 October 2017 (diff | hist) . . (+106) . . Upper attic
- 12:14, 23 October 2017 (diff | hist) . . (0) . . N-fold variants (→$n$-fold variants which are simply the original large cardinal)
- 12:12, 23 October 2017 (diff | hist) . . (0) . . N-fold variants
- 12:10, 23 October 2017 (diff | hist) . . (-11) . . N-fold variants (→$n$-fold variants and $M^{(n)}$)
- 07:10, 21 October 2017 (diff | hist) . . (-2) . . Supercompact (→Relation to other large cardinals)
- 07:07, 21 October 2017 (diff | hist) . . (+1,765) . . Supercompact
- 05:54, 21 October 2017 (diff | hist) . . (+10) . . Filter (→Large cardinals)
- 05:14, 21 October 2017 (diff | hist) . . (-5) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 05:13, 21 October 2017 (diff | hist) . . (+18) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 05:11, 21 October 2017 (diff | hist) . . (+58) . . Axiom of determinacy
- 05:09, 21 October 2017 (diff | hist) . . (-36) . . Axiom of determinacy
- 04:37, 21 October 2017 (diff | hist) . . (-2) . . Axiom of determinacy (→Implications of the axiom of determinacy)
- 11:26, 19 October 2017 (diff | hist) . . (+21) . . Axiom of determinacy
- 10:25, 19 October 2017 (diff | hist) . . (+37) . . Axiom of determinacy (→Implications of the axiom of determinacy)
- 10:22, 19 October 2017 (diff | hist) . . (+4) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 10:21, 19 October 2017 (diff | hist) . . (-1) . . Axiom of determinacy (→Implications of the axiom of determinacy)
- 10:17, 19 October 2017 (diff | hist) . . (-1) . . Axiom of determinacy (→Implications of the axiom of determinacy)
- 10:15, 19 October 2017 (diff | hist) . . (+33) . . Axiom of determinacy (→Implications of the axiom of determinacy)
- 10:14, 19 October 2017 (diff | hist) . . (+21) . . Axiom of determinacy (→Implications of the axiom of determinacy)
- 10:13, 19 October 2017 (diff | hist) . . (+380) . . Axiom of determinacy
- 10:03, 19 October 2017 (diff | hist) . . (+139) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 04:21, 19 October 2017 (diff | hist) . . (-30) . . Axiom of determinacy (→Implications of the axiom of determinacy)
- 03:19, 19 October 2017 (diff | hist) . . (-57) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 13:59, 18 October 2017 (diff | hist) . . (+9) . . Axiom of determinacy (→Implications of the axiom of determinacy)
- 13:58, 18 October 2017 (diff | hist) . . (-6) . . Axiom of determinacy
- 13:51, 18 October 2017 (diff | hist) . . (+1,170) . . Axiom of determinacy
- 04:56, 18 October 2017 (diff | hist) . . (+58) . . Axiom of determinacy
- 11:20, 12 October 2017 (diff | hist) . . (-42) . . Beth (→Beth fixed point)
- 12:34, 11 October 2017 (diff | hist) . . (+30) . . Filter (→Large cardinals)
- 02:31, 10 October 2017 (diff | hist) . . (-744) . . Supercompact
- 02:28, 10 October 2017 (diff | hist) . . (+81) . . Filter
- 02:25, 10 October 2017 (diff | hist) . . (+148) . . Filter (→Large cardinals)
- 02:19, 10 October 2017 (diff | hist) . . (+689) . . Filter
- 01:21, 10 October 2017 (diff | hist) . . (+8) . . PFA
- 01:20, 10 October 2017 (diff | hist) . . (+4) . . Club
- 01:20, 10 October 2017 (diff | hist) . . (+107) . . Strongly compact
- 01:17, 10 October 2017 (diff | hist) . . (+4) . . Transitive ZFC model
- 01:16, 10 October 2017 (diff | hist) . . (+15) . . Nearly supercompact
- 01:15, 10 October 2017 (diff | hist) . . (+8) . . Weakly measurable
- 08:46, 9 October 2017 (diff | hist) . . (+3) . . User blog:Zetapology/Massive cardinals (→The Ordinals $\theta_\alpha$)
- 03:58, 8 October 2017 (diff | hist) . . (+2) . . Axiom of determinacy
- 12:33, 7 October 2017 (diff | hist) . . (-342) . . Measurable
- 12:00, 7 October 2017 (diff | hist) . . (-119) . . Elementary embedding
- 10:23, 6 October 2017 (diff | hist) . . (-34) . . Talk:Ultrafilter (Replaced content with ".") (current)
- 09:50, 6 October 2017 (diff | hist) . . (+721) . . Supercompact
- 07:29, 6 October 2017 (diff | hist) . . (+1,957) . . Supercompact
- 02:50, 6 October 2017 (diff | hist) . . (+29) . . Filter
- 01:39, 6 October 2017 (diff | hist) . . (+35) . . Tree property
- 01:32, 6 October 2017 (diff | hist) . . (+4) . . Axiom of determinacy (→Axiom of real determinacy)
- 13:04, 5 October 2017 (diff | hist) . . (+4) . . Axiom of determinacy (→Axiom of projective determinacy)
- 13:02, 5 October 2017 (diff | hist) . . (-18) . . Tree property (→Properties)
- 13:01, 5 October 2017 (diff | hist) . . (+2,949) . . N Tree property (Created page with "An infinite cardinal $\kappa$ has the '''tree property''' if every tree of height $\kappa$ whose levels has cardinality smaller than $\kappa$ has a branch of height $\kappa$ (...")
- 13:18, 4 October 2017 (diff | hist) . . (+3) . . Filter (→Large cardinals)
- 13:16, 4 October 2017 (diff | hist) . . (+258) . . Measurable
- 13:15, 4 October 2017 (diff | hist) . . (-560) . . Supercompact (→Supercompact cardinals and forcing)
- 13:11, 4 October 2017 (diff | hist) . . (0) . . Axiom of determinacy (→Axiom of real determinacy)
- 12:34, 3 October 2017 (diff | hist) . . (+7) . . Axiom of determinacy (→Axiom of projective determinacy)
- 12:33, 3 October 2017 (diff | hist) . . (-5) . . Axiom of Determinacy temp (Redirected page to Axiom of determinacy) (current)
- 12:31, 3 October 2017 (diff | hist) . . (-4) . . High-jump
- 01:00, 3 October 2017 (diff | hist) . . (+4) . . L of V lambda+1
- 00:59, 3 October 2017 (diff | hist) . . (-11) . . Axiom of real determinacy (Redirected page to Axiom of determinacy) (current)
- 00:58, 3 October 2017 (diff | hist) . . (0) . . m Axiom of real determinacy (Wabb2t moved page Axiom of Determinacy temp to Axiom of real determinacy)
- 00:58, 3 October 2017 (diff | hist) . . (+39) . . N Axiom of Determinacy temp (Wabb2t moved page Axiom of Determinacy temp to Axiom of real determinacy)
- 00:58, 3 October 2017 (diff | hist) . . (+4) . . Vopenka
- 00:57, 3 October 2017 (diff | hist) . . (+4) . . Tall
- 00:57, 3 October 2017 (diff | hist) . . (+40) . . Strongly compact
- 00:56, 3 October 2017 (diff | hist) . . (+29) . . Supercompact
- 00:55, 3 October 2017 (diff | hist) . . (+4) . . Extendible
- 00:55, 3 October 2017 (diff | hist) . . (+29) . . Nearly supercompact
- 00:53, 3 October 2017 (diff | hist) . . (+25) . . Weakly measurable
- 00:53, 3 October 2017 (diff | hist) . . (+4) . . Unfoldable
- 00:52, 3 October 2017 (diff | hist) . . (+4) . . Huge
- 00:51, 3 October 2017 (diff | hist) . . (+15) . . Wholeness axioms
- 00:50, 3 October 2017 (diff | hist) . . (+34) . . N Determinacy (Redirected page to Axiom of determinacy) (current)
- 00:49, 3 October 2017 (diff | hist) . . (+9) . . Woodin
- 00:47, 3 October 2017 (diff | hist) . . (+4) . . Kunen inconsistency
- 00:45, 3 October 2017 (diff | hist) . . (+1) . . Upper attic
- 00:40, 3 October 2017 (diff | hist) . . (+3) . . Axiom of choice (Redirected page to wikipedia:Axiom of choice)
- 12:28, 2 October 2017 (diff | hist) . . (-9) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 12:27, 2 October 2017 (diff | hist) . . (+11) . . Axiom of determinacy (→Other known limitations of determinacy)
- 12:07, 2 October 2017 (diff | hist) . . (+1) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 12:06, 2 October 2017 (diff | hist) . . (+186) . . Axiom of determinacy
- 11:47, 2 October 2017 (diff | hist) . . (+494) . . Axiom of determinacy
- 11:36, 2 October 2017 (diff | hist) . . (-33) . . Axiom of determinacy (→Axiom of projective determinacy)
- 11:35, 2 October 2017 (diff | hist) . . (+924) . . Axiom of determinacy (→Axiom of projective determinacy)
- 11:14, 2 October 2017 (diff | hist) . . (-178) . . Axiom of determinacy
- 11:11, 2 October 2017 (diff | hist) . . (+484) . . Axiom of determinacy (→Axiom of projective determinacy)
- 10:20, 2 October 2017 (diff | hist) . . (+1,501) . . Axiom of determinacy
- 09:56, 2 October 2017 (diff | hist) . . (-31) . . Axiom of determinacy
- 09:53, 2 October 2017 (diff | hist) . . (0) . . Axiom of determinacy
- 09:36, 1 October 2017 (diff | hist) . . (+1) . . Axiom of determinacy (→Axiom of real determinacy)
- 09:35, 1 October 2017 (diff | hist) . . (+6) . . Axiom of determinacy (→Read more)
- 06:23, 1 October 2017 (diff | hist) . . (+82) . . Filter (→Properties)
- 06:20, 1 October 2017 (diff | hist) . . (-9) . . Filter (→Properties)
- 06:19, 1 October 2017 (diff | hist) . . (+20) . . Filter (→Properties)
- 06:17, 1 October 2017 (diff | hist) . . (+73) . . Filter (→Properties)
- 06:15, 1 October 2017 (diff | hist) . . (-17) . . Filter (→Properties)
- 06:07, 1 October 2017 (diff | hist) . . (-19) . . Mitchell order (Redirected page to Mitchell rank) (current)
- 06:06, 1 October 2017 (diff | hist) . . (+26) . . Measurable
- 06:05, 1 October 2017 (diff | hist) . . (+1) . . Measurable (→Read more)
- 06:02, 1 October 2017 (diff | hist) . . (0) . . AD (Redirected page to Axiom of determinacy) (current)
- 05:49, 1 October 2017 (diff | hist) . . (+2) . . Filter (→Properties)
- 05:47, 1 October 2017 (diff | hist) . . (+41) . . Filter
- 05:42, 1 October 2017 (diff | hist) . . (+157) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 05:31, 1 October 2017 (diff | hist) . . (+694) . . Axiom of determinacy
- 05:21, 1 October 2017 (diff | hist) . . (+660) . . Axiom of determinacy (→Axiom of real determinacy)
- 04:41, 1 October 2017 (diff | hist) . . (-9) . . Axiom of determinacy (→Determinacy of $L(\mathbb{R})$)
- 02:14, 1 October 2017 (diff | hist) . . (+56) . . Axiom of determinacy (→Axiom of choice)
- 01:07, 1 October 2017 (diff | hist) . . (-31) . . Measurable (→Properties)
- 01:03, 1 October 2017 (diff | hist) . . (+1) . . Measurable
- 10:00, 30 September 2017 (diff | hist) . . (-42) . . Axiom of determinacy
- 08:40, 30 September 2017 (diff | hist) . . (-7) . . Axiom of determinacy (→Implications)
- 08:26, 30 September 2017 (diff | hist) . . (+38) . . Axiom of determinacy
- 06:34, 30 September 2017 (diff | hist) . . (+41) . . Axiom of determinacy (→Statements implying forms of determinacy (other than Woodin cardinals))
- 06:33, 30 September 2017 (diff | hist) . . (0) . . Axiom of determinacy (→Axiom of projective determinacy)
- 05:30, 29 September 2017 (diff | hist) . . (+38) . . Elementary embedding
- 05:28, 29 September 2017 (diff | hist) . . (0) . . Upper attic
- 05:27, 29 September 2017 (diff | hist) . . (-1) . . Upper attic
- 05:27, 29 September 2017 (diff | hist) . . (-1) . . Upper attic
- 05:25, 29 September 2017 (diff | hist) . . (-68) . . Upper attic
- 05:24, 29 September 2017 (diff | hist) . . (+7) . . Weakly compact
- 05:22, 29 September 2017 (diff | hist) . . (+83) . . Elementary embedding (→Use in Large Cardinal Axioms)
- 05:21, 29 September 2017 (diff | hist) . . (-128) . . Elementary embedding
- 05:17, 29 September 2017 (diff | hist) . . (-100) . . Elementary embedding
- 05:04, 29 September 2017 (diff | hist) . . (+105) . . Elementary embedding (→Use in Large Cardinal Axioms)
- 02:34, 29 September 2017 (diff | hist) . . (+7) . . Elementary embedding (→Use in Large Cardinal Axioms)
- 02:32, 29 September 2017 (diff | hist) . . (+1,702) . . Elementary embedding
- 02:06, 29 September 2017 (diff | hist) . . (+48) . . Measurable (→Properties)
- 02:02, 29 September 2017 (diff | hist) . . (+34) . . N Embedding (Redirected page to Elementary embedding) (current)
- 02:01, 29 September 2017 (diff | hist) . . (0) . . m Elementary embedding (Wabb2t moved page Critical point to Elementary embedding)
- 02:01, 29 September 2017 (diff | hist) . . (+34) . . N Critical point (Wabb2t moved page Critical point to Elementary embedding) (current)
- 02:01, 29 September 2017 (diff | hist) . . (+1,328) . . Elementary embedding
- 12:59, 28 September 2017 (diff | hist) . . (+70) . . Elementary embedding
- 12:58, 28 September 2017 (diff | hist) . . (-4) . . Filter (→Properties)
- 11:33, 28 September 2017 (diff | hist) . . (0) . . Axiom of projective determinacy (Redirected page to Axiom of determinacy)
- 11:32, 28 September 2017 (diff | hist) . . (0) . . m Axiom of projective determinacy (Wabb2t moved page Axiom of Determinacy temp to Axiom of projective determinacy)
- 11:32, 28 September 2017 (diff | hist) . . (+45) . . N Axiom of real determinacy (Wabb2t moved page Axiom of Determinacy temp to Axiom of projective determinacy)
- 11:31, 28 September 2017 (diff | hist) . . (+34) . . Axiom of Determinacy (Redirected page to Axiom of determinacy) (current)
- 11:30, 28 September 2017 (diff | hist) . . (-34) . . Axiom of Determinacy (Blanked the page)
- 11:30, 28 September 2017 (diff | hist) . . (-10,707) . . Axiom of Determinacy (Redirected page to Axiom of determinacy)
- 11:29, 28 September 2017 (diff | hist) . . (+10,702) . . Axiom of determinacy
- 11:29, 28 September 2017 (diff | hist) . . (0) . . m Axiom of projective determinacy (Wabb2t moved page Axiom of determinacy to Axiom of Determinacy temp)
- 11:29, 28 September 2017 (diff | hist) . . (+39) . . N Axiom of determinacy (Wabb2t moved page Axiom of determinacy to Axiom of Determinacy temp)
- 09:31, 28 September 2017 (diff | hist) . . (0) . . Axiom of Determinacy
- 09:30, 28 September 2017 (diff | hist) . . (-14) . . Axiom of Determinacy
- 08:20, 28 September 2017 (diff | hist) . . (+2) . . Axiom of Determinacy (→Determinacy of $L(\mathbb{R})$)
- 08:04, 28 September 2017 (diff | hist) . . (+78) . . Axiom of Determinacy (→Axiom of projective determinacy)
- 08:03, 28 September 2017 (diff | hist) . . (+2) . . Axiom of Determinacy (→Implications)
- 08:01, 28 September 2017 (diff | hist) . . (-4) . . Measurable (→Real-valued measurable cardinal)
- 07:59, 28 September 2017 (diff | hist) . . (+2,063) . . Measurable
- 07:31, 28 September 2017 (diff | hist) . . (+54) . . Filter
- 07:23, 28 September 2017 (diff | hist) . . (+3,913) . . Measurable
- 07:20, 28 September 2017 (diff | hist) . . (-4) . . Filter
- 06:22, 28 September 2017 (diff | hist) . . (+337) . . Filter
- 05:22, 28 September 2017 (diff | hist) . . (-4) . . Axiom of Determinacy
- 05:21, 28 September 2017 (diff | hist) . . (+2) . . Axiom of Determinacy (→Axiom of Real Determinacy)
- 05:21, 28 September 2017 (diff | hist) . . (+2) . . Axiom of Determinacy (→Axiom of Real Determinacy)
- 05:18, 28 September 2017 (diff | hist) . . (-4) . . Axiom of Determinacy
- 05:18, 28 September 2017 (diff | hist) . . (+75) . . Axiom of Determinacy
- 04:58, 28 September 2017 (diff | hist) . . (+25) . . Axiom of Determinacy (→The Game)
- 04:52, 28 September 2017 (diff | hist) . . (0) . . m Axiom of Determinacy
- 04:52, 28 September 2017 (diff | hist) . . (-2) . . Axiom of Determinacy
- 04:48, 28 September 2017 (diff | hist) . . (+2) . . Axiom of Determinacy
- 04:46, 28 September 2017 (diff | hist) . . (+1,134) . . Axiom of Determinacy
- 04:19, 28 September 2017 (diff | hist) . . (+57) . . Axiom of Determinacy (→Axiom of Real Determinacy)
- 04:17, 28 September 2017 (diff | hist) . . (+4,479) . . Axiom of Determinacy
- 03:27, 28 September 2017 (diff | hist) . . (+28) . . N Rank-into-rank (Redirected page to Rank into rank) (current)
- 01:42, 28 September 2017 (diff | hist) . . (+4) . . ZFC (→Axiom of Choice)
- 01:42, 28 September 2017 (diff | hist) . . (+258) . . Axiom of Determinacy
- 01:41, 28 September 2017 (diff | hist) . . (+36) . . ZFC (→Axiom of Choice)
- 01:22, 28 September 2017 (diff | hist) . . (+2,040) . . Axiom of Determinacy
- 00:43, 28 September 2017 (diff | hist) . . (+1,357) . . Axiom of Determinacy
- 14:18, 27 September 2017 (diff | hist) . . (+1) . . Filter (→Large cardinals)
- 04:38, 27 September 2017 (diff | hist) . . (+10) . . m Axiom of Determinacy
- 04:38, 27 September 2017 (diff | hist) . . (+6) . . Upper attic
- 04:27, 27 September 2017 (diff | hist) . . (-16) . . Upper attic
- 13:48, 25 September 2017 (diff | hist) . . (+1) . . Upper attic
- 13:46, 25 September 2017 (diff | hist) . . (+1) . . Wholeness axioms
- 13:46, 25 September 2017 (diff | hist) . . (+30) . . N Wholeness Axioms (Redirected page to Wholeness axioms) (current)
- 13:44, 25 September 2017 (diff | hist) . . (0) . . m Wholeness axioms (Wabb2t moved page Wholeness axiom to Wholeness axioms)
- 13:44, 25 September 2017 (diff | hist) . . (+30) . . N Wholeness axiom (Wabb2t moved page Wholeness axiom to Wholeness axioms) (current)
- 13:43, 25 September 2017 (diff | hist) . . (+1) . . Elementary embedding (→Use in Large Cardinal Axioms)
- 13:43, 25 September 2017 (diff | hist) . . (+558) . . Elementary embedding
- 13:33, 25 September 2017 (diff | hist) . . (+6) . . Filter (→Properties)
- 13:32, 25 September 2017 (diff | hist) . . (-10) . . Filter
- 06:51, 24 September 2017 (diff | hist) . . (+1) . . Filter (→Properties)
- 10:11, 23 September 2017 (diff | hist) . . (+1) . . Inaccessible
- 10:03, 23 September 2017 (diff | hist) . . (+1) . . Ackermann function (→Values)
- 05:19, 23 September 2017 (diff | hist) . . (-5) . . High-jump
- 04:35, 23 September 2017 (diff | hist) . . (+503) . . Filter
- 04:20, 23 September 2017 (diff | hist) . . (+170) . . Filter (→Properties)
- 10:17, 21 September 2017 (diff | hist) . . (+20) . . Superstrong
- 08:59, 20 September 2017 (diff | hist) . . (+696) . . N Hypercompact (Created page with "''Hypercompactness'' is a large cardinal property that is a strengthening of supercompactness. A cardinal $\kappa$ is ''$\alpha$-hypercompact'' if and only if...")
- 08:20, 20 September 2017 (diff | hist) . . (+78) . . High-jump (→Properties)
- 12:44, 19 September 2017 (diff | hist) . . (0) . . Filter (→Measures)
- 12:39, 19 September 2017 (diff | hist) . . (-14) . . Filter (→Definitions)
- 12:34, 19 September 2017 (diff | hist) . . (0) . . m L (Redirected page to Constructible Universe)
- 11:44, 19 September 2017 (diff | hist) . . (+11) . . Ackermann function
- 11:42, 19 September 2017 (diff | hist) . . (-684) . . Indecomposable (Redirected page to Limit ordinal) (current)
- 11:17, 19 September 2017 (diff | hist) . . (+962) . . Limit ordinal
- 10:23, 16 September 2017 (diff | hist) . . (+20) . . Filter (→Properties)
- 10:19, 16 September 2017 (diff | hist) . . (+95) . . Filter (→Properties)
- 07:15, 13 September 2017 (diff | hist) . . (+261) . . Upper attic
- 04:46, 13 September 2017 (diff | hist) . . (+45) . . Weakly compact
- 03:53, 13 September 2017 (diff | hist) . . (+4,769) . . N High-jump (Created page with "''High-jump'' cardinals are a certain kind of large cardinals. A cardinal $\kappa$ is ''high-jump'' if it is the critical point of an elementary embedding $j:V\to M$ s...")
- 07:27, 12 September 2017 (diff | hist) . . (0) . . Filter (→Definitions)
- 07:25, 12 September 2017 (diff | hist) . . (+2) . . Filter (→Large cardinals)
- 12:53, 11 September 2017 (diff | hist) . . (+1) . . Filter
- 12:43, 11 September 2017 (diff | hist) . . (+3) . . Filter (→Definitions)
- 12:41, 11 September 2017 (diff | hist) . . (+1,102) . . Filter
- 12:19, 11 September 2017 (diff | hist) . . (0) . . m Supercompact
- 12:14, 11 September 2017 (diff | hist) . . (+58) . . Filter
- 12:13, 11 September 2017 (diff | hist) . . (-10) . . m Ultrafilter (Redirected page to Filter) (current)
- 12:12, 11 September 2017 (diff | hist) . . (0) . . m Talk:Filters on N (Wabb2t moved page Talk:Ultrafilter on N to Talk:Filters on N) (current)
- 12:12, 11 September 2017 (diff | hist) . . (+31) . . N Talk:Ultrafilter on N (Wabb2t moved page Talk:Ultrafilter on N to Talk:Filters on N) (current)
- 12:12, 11 September 2017 (diff | hist) . . (0) . . m Filters on N (Wabb2t moved page Ultrafilter on N to Filters on N)
- 12:12, 11 September 2017 (diff | hist) . . (+26) . . N Ultrafilter on N (Wabb2t moved page Ultrafilter on N to Filters on N) (current)
- 12:12, 11 September 2017 (diff | hist) . . (+42) . . Filters on N
- 12:10, 11 September 2017 (diff | hist) . . (-2) . . L of V lambda+1
- 12:10, 11 September 2017 (diff | hist) . . (+32) . . L of V lambda+1
- 12:09, 11 September 2017 (diff | hist) . . (+3) . . L of V lambda+1
- 12:07, 11 September 2017 (diff | hist) . . (0) . . m Talk:Filters on N (Wabb2t moved page Talk:Ultrafilter to Talk:Ultrafilter on N)
- 12:07, 11 September 2017 (diff | hist) . . (+35) . . N Talk:Ultrafilter (Wabb2t moved page Talk:Ultrafilter to Talk:Ultrafilter on N)
- 12:07, 11 September 2017 (diff | hist) . . (0) . . m Filters on N (Wabb2t moved page Ultrafilter to Ultrafilter on N)
- 12:07, 11 September 2017 (diff | hist) . . (+30) . . N Ultrafilter (Wabb2t moved page Ultrafilter to Ultrafilter on N)
- 12:04, 11 September 2017 (diff | hist) . . (-6) . . Supercompact (→Failure of GCH at a measurable)
- 11:55, 11 September 2017 (diff | hist) . . (-25) . . Upper attic
- 10:36, 11 September 2017 (diff | hist) . . (-12) . . m Measure (Redirected page to Filter#Measures) (current)
(newest | oldest) View (newer 500 | older 500) (20 | 50 | 100 | 250 | 500)