nLab Latest Revisions

• large cardinal ( large cardinal(rev # 27) | history )
  by John Marlow? at September 22, 2026 at 03:26:58
• axiom of separation ( axiom of separation(rev # 28) | history )
  by John Marlow? at September 22, 2026 at 03:21:20
• limit club Berkeley cardinal ( limit club Berkeley cardinal(rev # 3) | history )
  by John Marlow? at September 22, 2026 at 03:13:03
• club Berkeley cardinal ( club Berkeley cardinal(rev # 3) | history )
  by John Marlow? at September 22, 2026 at 03:12:37
• Kunen's inconsistency theorem ( Kunen's inconsistency theorem(rev # 3) | history )
  by John Marlow? at September 22, 2026 at 02:52:17
• Reinhardt cardinal ( Reinhardt cardinal(rev # 6) | history )
  by John Marlow? at September 22, 2026 at 02:51:57
• ZFC ( ZFC(rev # 48) | history )
  by John Marlow? at September 22, 2026 at 02:50:39
• measurable cardinal ( measurable cardinal(rev # 17) | history )
  by John Marlow? at September 22, 2026 at 02:37:41
• measurable cardinal ( measurable cardinal(rev # 16) | history )
  by John Marlow? at September 22, 2026 at 02:07:23
• axiom of constructibility ( axiom of constructibility(rev # 6) | history )
  by John Marlow? at September 22, 2026 at 01:58:29
• Mazur-Ulam theorem ( Mazur-Ulam theorem(rev # 3) | history )
  by Dmitri Pavlov at September 22, 2026 at 01:09:51
• axiom of constructibility ( axiom of constructibility(rev # 5) | history )
  by John Marlow? at September 22, 2026 at 01:03:27
• Dana Scott ( Dana Scott(rev # 10) | history )
  by John Marlow? at September 22, 2026 at 00:16:02
• Stanisław Ulam ( Stanisław Ulam(rev # 2) | history )
  by John Marlow? at September 22, 2026 at 00:08:23
• measurable cardinal ( measurable cardinal(rev # 15) | history )
  by John Marlow? at September 21, 2026 at 23:16:00
• probability theory ( probability theory(rev # 53) | history )
  by kirk_sturtz? at September 21, 2026 at 23:15:25
• Stanisław Ulam ( Stanisław Ulam(rev # 1) | history )
  by John Marlow? at September 21, 2026 at 23:13:03
• Giry monad ( Giry monad(rev # 137) | history )
  by kirk_sturtz? at September 21, 2026 at 23:10:11
• axiom of constructibility ( axiom of constructibility(rev # 4) | history )
  by John Marlow? at September 21, 2026 at 23:04:11
• Michael Rathjen ( Michael Rathjen(rev # 9) | history )
  by John Marlow? at September 21, 2026 at 22:31:02
• Richard Matthews ( Richard Matthews(rev # 4) | history )
  by John Marlow? at September 21, 2026 at 22:29:27
• constructible universe ( constructible universe(rev # 15) | history )
  by John Marlow? at September 21, 2026 at 22:29:11
• structural rule ( structural rule(rev # 9) | history )
  by trvv? at September 21, 2026 at 20:30:54
• Sandbox ( Sandbox(rev # 4069) | history )
  by Urs Schreiber at September 21, 2026 at 20:29:42
• Solovay-Kitaev theorem ( Solovay-Kitaev theorem(rev # 15) | history )
  by Urs Schreiber at September 21, 2026 at 20:29:26
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 529) | history )
  by Urs Schreiber at September 21, 2026 at 20:25:56
• Maurer-Cartan equation ( Maurer-Cartan equation(rev # 18) | history )
  by Urs Schreiber at September 21, 2026 at 19:49:12
• L-infinity algebras in physics ( L-infinity algebras in physics(rev # 36) | history )
  by Urs Schreiber at September 21, 2026 at 19:44:42
• shape theory ( shape theory(rev # 86) | history )
  by Urs Schreiber at September 21, 2026 at 19:34:02
• Sibe Mardesic ( Sibe Mardesic(rev # 11) | history )
  by Urs Schreiber at September 21, 2026 at 19:30:10
• Matías Menni ( Matías Menni(rev # 3) | history )
  by Urs Schreiber at September 21, 2026 at 18:53:39
• model category ( model category(rev # 128) | history )
  by Urs Schreiber at September 21, 2026 at 18:10:06
• Behrang Noohi ( Behrang Noohi(rev # 8) | history )
  by Urs Schreiber at September 21, 2026 at 18:05:10
• 2-group ( 2-group(rev # 54) | history )
  by Urs Schreiber at September 21, 2026 at 18:03:07
• 2-groupoid ( 2-groupoid(rev # 18) | history )
  by Urs Schreiber at September 21, 2026 at 18:01:48
• Valery Rubakov ( Valery Rubakov(rev # 2) | history )
  by Urs Schreiber at September 21, 2026 at 17:54:42
• gauge theory ( gauge theory(rev # 79) | history )
  by Urs Schreiber at September 21, 2026 at 17:54:24
• Robert Geroch ( Robert Geroch(rev # 9) | history )
  by Urs Schreiber at September 21, 2026 at 16:47:47
• differential equation ( differential equation(rev # 54) | history )
  by Urs Schreiber at September 21, 2026 at 16:46:30
• Igor Khavkine ( Igor Khavkine(rev # 11) | history )
  by Urs Schreiber at September 21, 2026 at 16:42:35
• AQFT on curved spacetimes ( AQFT on curved spacetimes(rev # 32) | history )
  by Urs Schreiber at September 21, 2026 at 16:37:55
• Tomas Ortin ( Tomas Ortin(rev # 13) | history )
  by Urs Schreiber at September 21, 2026 at 15:52:49
• D=9 supergravity ( D=9 supergravity(rev # 7) | history )
  by Urs Schreiber at September 21, 2026 at 15:52:01
• Center for Quantum and Topological Systems ( Center for Quantum and Topological Systems(rev # 528) | history )
  by Urs Schreiber at September 21, 2026 at 15:02:48
• Solovay-Kitaev theorem ( Solovay-Kitaev theorem(rev # 14) | history )
  by Urs Schreiber at September 21, 2026 at 15:01:55
• overt space ( overt space(rev # 22) | history )
  by David Wärn at September 21, 2026 at 11:59:59
• massive type IIA string theory ( massive type IIA string theory(rev # 23) | history )
  by Urs Schreiber at September 21, 2026 at 10:28:22
• E₈ ( E₈(rev # 19) | history )
  by Urs Schreiber at September 21, 2026 at 07:50:40
• shifted C-field flux quantization ( shifted C-field flux quantization(rev # 23) | history )
  by Urs Schreiber at September 21, 2026 at 07:41:42
• 2-representation ( 2-representation(rev # 5) | history )
  by Urs Schreiber at September 21, 2026 at 05:58:48
• Kate Ponto ( Kate Ponto(rev # 4) | history )
  by Urs Schreiber at September 21, 2026 at 05:57:29
• character of a linear representation ( character of a linear representation(rev # 8) | history )
  by Urs Schreiber at September 21, 2026 at 05:56:39
• generalized global symmetry ( generalized global symmetry(rev # 42) | history )
  by Urs Schreiber at September 21, 2026 at 05:51:51
• Daniel Galviz ( Daniel Galviz(rev # 3) | history )
  by Urs Schreiber at September 21, 2026 at 05:47:02
• abelian Chern-Simons theory ( abelian Chern-Simons theory(rev # 77) | history )
  by Urs Schreiber at September 21, 2026 at 05:46:26
• heterotic line bundle ( heterotic line bundle(rev # 25) | history )
  by Urs Schreiber at September 21, 2026 at 05:38:00
• ultimate L conjecture ( ultimate L conjecture(rev # 2) | history )
  by Urs Schreiber at September 21, 2026 at 05:33:42
• Joan Bagaria ( Joan Bagaria(rev # 2) | history )
  by Urs Schreiber at September 21, 2026 at 05:32:23
• Peter Koellner ( Peter Koellner(rev # 2) | history )
  by Urs Schreiber at September 21, 2026 at 05:31:08
• Guillaume Geoffroy ( Guillaume Geoffroy(rev # 2) | history )
  by Urs Schreiber at September 21, 2026 at 05:29:39
• Athanassios Tzouvaras ( Athanassios Tzouvaras(rev # 2) | history )
  by Urs Schreiber at September 21, 2026 at 05:28:52
• Reinhardt cardinal ( Reinhardt cardinal(rev # 5) | history )
  by John Marlow? at September 21, 2026 at 02:45:01
• large cardinal ( large cardinal(rev # 26) | history )
  by John Marlow? at September 21, 2026 at 02:40:17
• Richard Matthews ( Richard Matthews(rev # 3) | history )
  by John Marlow? at September 21, 2026 at 02:40:02
• Laura Fontanella ( Laura Fontanella(rev # 2) | history )
  by John Marlow? at September 21, 2026 at 02:39:55
• Guillaume Geoffroy ( Guillaume Geoffroy(rev # 1) | history )
  by John Marlow? at September 21, 2026 at 02:39:36
• Kunen's inconsistency theorem ( Kunen's inconsistency theorem(rev # 2) | history )
  by John Marlow? at September 21, 2026 at 02:26:33
• elementary embedding ( elementary embedding(rev # 19) | history )
  by John Marlow? at September 21, 2026 at 02:24:24
• Athanassios Tzouvaras ( Athanassios Tzouvaras(rev # 1) | history )
  by John Marlow? at September 21, 2026 at 02:15:12
• Vopěnka's principle ( Vopěnka's principle(rev # 23) | history )
  by John Marlow? at September 21, 2026 at 02:14:09
• large cardinal ( large cardinal(rev # 25) | history )
  by John Marlow? at September 21, 2026 at 02:10:09
• elementary embedding ( elementary embedding(rev # 18) | history )
  by John Marlow? at September 21, 2026 at 01:43:43
• Kunen's inconsistency theorem ( Kunen's inconsistency theorem(rev # 1) | history )
  by John Marlow? at September 21, 2026 at 01:42:50
• large cardinal ( large cardinal(rev # 24) | history )
  by John Marlow? at September 21, 2026 at 01:14:46
• Reinhardt cardinal ( Reinhardt cardinal(rev # 4) | history )
  by John Marlow? at September 21, 2026 at 01:12:49
• club Berkeley cardinal ( club Berkeley cardinal(rev # 2) | history )
  by John Marlow? at September 21, 2026 at 01:12:28
• limit club Berkeley cardinal ( limit club Berkeley cardinal(rev # 2) | history )
  by John Marlow? at September 21, 2026 at 01:12:16
• Berkeley cardinal ( Berkeley cardinal(rev # 2) | history )
  by John Marlow? at September 21, 2026 at 01:12:08
• axiom of constructibility ( axiom of constructibility(rev # 3) | history )
  by John Marlow? at September 21, 2026 at 00:58:54
• inaccessible cardinal ( inaccessible cardinal(rev # 27) | history )
  by John Marlow? at September 21, 2026 at 00:10:33
• Mahlo cardinal ( Mahlo cardinal(rev # 3) | history )
  by John Marlow? at September 21, 2026 at 00:07:31
• axiom of constructibility ( axiom of constructibility(rev # 2) | history )
  by John Marlow? at September 20, 2026 at 23:57:47
• limit club Berkeley cardinal ( limit club Berkeley cardinal(rev # 1) | history )
  by John Marlow? at September 20, 2026 at 23:47:28
• club Berkeley cardinal ( club Berkeley cardinal(rev # 1) | history )
  by John Marlow? at September 20, 2026 at 23:47:17
• Berkeley cardinal ( Berkeley cardinal(rev # 1) | history )
  by John Marlow? at September 20, 2026 at 23:47:06
• Reinhardt cardinal ( Reinhardt cardinal(rev # 3) | history )
  by John Marlow? at September 20, 2026 at 23:46:58
• ultimate L conjecture ( ultimate L conjecture(rev # 1) | history )
  by John Marlow? at September 20, 2026 at 23:45:48
• large cardinal ( large cardinal(rev # 23) | history )
  by John Marlow? at September 20, 2026 at 23:27:46
• Peter Koellner ( Peter Koellner(rev # 1) | history )
  by John Marlow? at September 20, 2026 at 22:44:05
• Joan Bagaria ( Joan Bagaria(rev # 1) | history )
  by John Marlow? at September 20, 2026 at 22:43:25
• Reinhardt cardinal ( Reinhardt cardinal(rev # 2) | history )
  by John Marlow? at September 20, 2026 at 22:29:49
• large cardinal ( large cardinal(rev # 22) | history )
  by John Marlow? at September 20, 2026 at 22:07:58
• axiom of replacement ( axiom of replacement(rev # 32) | history )
  by John Marlow? at September 20, 2026 at 22:01:07
• subgroup ( subgroup(rev # 19) | history )
  by Άπειρον Αρχή? at September 20, 2026 at 21:48:27
• ZFC ( ZFC(rev # 47) | history )
  by John Marlow? at September 20, 2026 at 21:45:53
• Hanul Jeon ( Hanul Jeon(rev # 2) | history )
  by Urs Schreiber at September 20, 2026 at 20:48:05
• Reinhardt cardinal ( Reinhardt cardinal(rev # 1) | history )
  by John Marlow? at September 20, 2026 at 19:29:55
• elementary embedding ( elementary embedding(rev # 17) | history )
  by John Marlow? at September 20, 2026 at 19:02:30
• large cardinal ( large cardinal(rev # 21) | history )
  by John Marlow? at September 20, 2026 at 18:53:25
• Richard Matthews ( Richard Matthews(rev # 2) | history )
  by John Marlow? at September 20, 2026 at 18:48:52