Spahn Latest Revisions

• foundations ( foundations(rev # 7) | history )
  by Stephan Alexander Spahn? at August 8, 2012 at 22:28:28
• philosophy of mathematics
  by Stephan Alexander Spahn? at August 8, 2012 at 22:20:28
• Coq
  by Stephan Alexander Spahn? at August 8, 2012 at 21:40:07
• foundations ( foundations(rev # 6) | history )
  by Stephan Alexander Spahn? at August 8, 2012 at 21:28:45
• foundations ( foundations(rev # 5) | history )
  by Stephan Alexander Spahn? at August 7, 2012 at 23:01:53
• substitution
  by Stephan Alexander Spahn? at August 7, 2012 at 20:05:10
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 16) | history )
  by Stephan Alexander Spahn? at August 7, 2012 at 20:01:50
• foundations ( foundations(rev # 4) | history )
  by Stephan Alexander Spahn? at August 7, 2012 at 15:38:48
• foundations ( foundations(rev # 3) | history )
  by Stephan Alexander Spahn? at August 7, 2012 at 14:44:26
• internal type theory and nonstandard type theory ( internal type theory and nonstandard type theory(rev # 2) | history )
  by Stephan Alexander Spahn? at August 7, 2012 at 14:38:40
• type theory
  by Stephan Alexander Spahn? at August 7, 2012 at 14:38:25
• foundations ( foundations(rev # 2) | history )
  by Stephan Alexander Spahn? at August 7, 2012 at 00:35:20
• foundations ( foundations(rev # 1) | history )
  by Stephan Alexander Spahn? at August 6, 2012 at 23:47:28
• HTT, 1. an overview of higher category theory ( HTT, 1. an overview of higher category theory(rev # 6) | history )
  by Stephan Alexander Spahn? at August 6, 2012 at 23:44:18
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 15) | history )
  by Stephan Alexander Spahn? at August 6, 2012 at 14:33:34
• Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach ( Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach(rev # 4) | history )
  by Stephan Alexander Spahn? at August 6, 2012 at 13:33:18
• information theory ( information theory(rev # 5) | history )
  by Stephan Alexander Spahn? at August 6, 2012 at 13:11:14
• internal type theory and nonstandard type theory ( internal type theory and nonstandard type theory(rev # 1) | history )
  by Stephan Alexander Spahn? at August 6, 2012 at 12:49:17
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 14) | history )
  by Stephan Alexander Spahn? at August 6, 2012 at 12:22:18
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 13) | history )
  by Stephan Alexander Spahn? at August 5, 2012 at 23:41:22
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 12) | history )
  by Stephan Alexander Spahn? at August 5, 2012 at 21:40:48
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 11) | history )
  by Stephan Alexander Spahn? at August 5, 2012 at 19:18:19
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 10) | history )
  by Stephan Alexander Spahn? at August 5, 2012 at 16:41:46
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 9) | history )
  by Stephan Alexander Spahn? at August 5, 2012 at 15:32:59
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 8) | history )
  by Stephan Alexander Spahn? at August 5, 2012 at 13:40:43
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 7) | history )
  by Stephan Alexander Spahn? at August 5, 2012 at 00:48:36
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 6) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 23:50:25
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 5) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 22:47:48
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 4) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 21:49:35
• Formalizing Belief Revision in Type Theory
  by Stephan Alexander Spahn? at August 4, 2012 at 21:41:41
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 3) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 20:29:50
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 2) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 19:16:15
• Rod Nedepelt
  by Stephan Alexander Spahn? at August 4, 2012 at 18:57:08
• information theory ( information theory(rev # 4) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 18:56:01
• Primiero, information and knowledge, chapter 3, formal representation of the notion of information ( Primiero, information and knowledge, chapter 3, formal representation of the notion of information(rev # 1) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 16:21:17
• Primiero, information and knowledge, chapter 2, analyticity and information
  by Stephan Alexander Spahn? at August 4, 2012 at 16:03:42
• Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach ( Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach(rev # 3) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 15:40:34
• Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach ( Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach(rev # 2) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 15:06:48
• Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach ( Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach(rev # 1) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 14:06:41
• information theory ( information theory(rev # 3) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 13:50:22
• information theory ( information theory(rev # 2) | history )
  by Stephan Alexander Spahn? at August 4, 2012 at 01:12:06
• Giuseppe Primiero
  by Stephan Alexander Spahn? at August 4, 2012 at 00:07:50
• information theory ( information theory(rev # 1) | history )
  by Stephan Alexander Spahn? at August 3, 2012 at 23:53:31
• couniversal mapping property 1 ( couniversal mapping property 1(rev # 5) | history )
  by Stephan Alexander Spahn? at July 23, 2012 at 18:09:49
• examples of (group) schemes ( examples of (group) schemes(rev # 16) | history )
  by Stephan Alexander Spahn? at July 21, 2012 at 20:27:22
• examples of (group) schemes ( examples of (group) schemes(rev # 15) | history )
  by Stephan Alexander Spahn? at July 21, 2012 at 17:29:30
• examples of (group) schemes ( examples of (group) schemes(rev # 14) | history )
  by Stephan Alexander Spahn? at July 21, 2012 at 16:41:14
• examples of (group) schemes ( examples of (group) schemes(rev # 13) | history )
  by Stephan Alexander Spahn? at July 21, 2012 at 14:54:35
• examples of (group) schemes ( examples of (group) schemes(rev # 12) | history )
  by Stephan Alexander Spahn? at July 21, 2012 at 12:43:02
• examples of (group) schemes ( examples of (group) schemes(rev # 11) | history )
  by Stephan Alexander Spahn? at July 21, 2012 at 00:01:54
• examples of (group) schemes ( examples of (group) schemes(rev # 10) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 22:07:56
• examples of (group) schemes ( examples of (group) schemes(rev # 9) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 19:47:01
• examples of (group) schemes ( examples of (group) schemes(rev # 8) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 18:58:53
• examples of (group) schemes ( examples of (group) schemes(rev # 6) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 18:03:48
• examples of (group) schemes ( examples of (group) schemes(rev # 7) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 18:03:48
• coalgebras, corings and birings in the theory of group shemes ( coalgebras, corings and birings in the theory of group shemes(rev # 2) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 17:09:17
• category theoretic aspects of the theory of group schemes ( category theoretic aspects of the theory of group schemes(rev # 9) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 16:45:33
• category theoretic aspects of the theory of group schemes ( category theoretic aspects of the theory of group schemes(rev # 8) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 16:44:45
• category theoretic aspects of the theory of group schemes ( category theoretic aspects of the theory of group schemes(rev # 7) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 15:09:37
• coalgebras, corings and birings in the theory of group shemes ( coalgebras, corings and birings in the theory of group shemes(rev # 1) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 14:22:58
• examples of (group) schemes ( examples of (group) schemes(rev # 5) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 13:33:46
• category theoretic aspects of the theory of group schemes ( category theoretic aspects of the theory of group schemes(rev # 6) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 00:48:13
• category theoretic aspects of the theory of group schemes ( category theoretic aspects of the theory of group schemes(rev # 5) | history )
  by Stephan Alexander Spahn? at July 20, 2012 at 00:01:13
• category theoretic aspects of the theory of group schemes ( category theoretic aspects of the theory of group schemes(rev # 4) | history )
  by Stephan Alexander Spahn? at July 19, 2012 at 22:55:27
• examples of (group) schemes ( examples of (group) schemes(rev # 4) | history )
  by Stephan Alexander Spahn? at July 19, 2012 at 22:42:08
• examples of (group) schemes ( examples of (group) schemes(rev # 3) | history )
  by Stephan Alexander Spahn? at July 19, 2012 at 22:09:03
• examples of (group) schemes ( examples of (group) schemes(rev # 2) | history )
  by Stephan Alexander Spahn? at July 19, 2012 at 20:23:17
• examples of (group) schemes ( examples of (group) schemes(rev # 1) | history )
  by Stephan Alexander Spahn? at July 19, 2012 at 18:27:29
• category theoretic aspects of the theory of group schemes ( category theoretic aspects of the theory of group schemes(rev # 3) | history )
  by Stephan Alexander Spahn? at July 19, 2012 at 18:10:58
• category theoretic aspects of the theory of group schemes ( category theoretic aspects of the theory of group schemes(rev # 2) | history )
  by Stephan Alexander Spahn? at July 19, 2012 at 16:34:48
• category theoretic aspects of the theory of group schemes ( category theoretic aspects of the theory of group schemes(rev # 1) | history )
  by Stephan Alexander Spahn? at July 19, 2012 at 13:38:30
• p-torsion ( p-torsion(rev # 6) | history )
  by Stephan Alexander Spahn? at July 18, 2012 at 22:45:48
• p-torsion ( p-torsion(rev # 5) | history )
  by Stephan Alexander Spahn? at July 18, 2012 at 20:32:58
• p-torsion ( p-torsion(rev # 4) | history )
  by Stephan Alexander Spahn? at July 18, 2012 at 20:02:18
• p-torsion ( p-torsion(rev # 3) | history )
  by Stephan Alexander Spahn? at July 18, 2012 at 18:21:30
• p-torsion ( p-torsion(rev # 2) | history )
  by Stephan Alexander Spahn? at July 18, 2012 at 17:47:21
• p-torsion ( p-torsion(rev # 1) | history )
  by Stephan Alexander Spahn? at July 18, 2012 at 16:45:35
• couniversal mapping property 1 ( couniversal mapping property 1(rev # 4) | history )
  by Stephan Alexander Spahn? at July 15, 2012 at 15:14:25
• couniversal mapping property 1 ( couniversal mapping property 1(rev # 3) | history )
  by Stephan Alexander Spahn? at July 15, 2012 at 13:32:48
• couniversal mapping property 1 ( couniversal mapping property 1(rev # 2) | history )
  by Stephan Alexander Spahn? at July 14, 2012 at 22:45:15
• HTT, A.3.1 ( HTT, A.3.1(rev # 2) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 23:37:20
• HTT, 1.2, the language of higher category theory ( HTT, 1.2, the language of higher category theory(rev # 13) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 23:25:01
• HTT, 1.2, the language of higher category theory ( HTT, 1.2, the language of higher category theory(rev # 12) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 22:41:34
• HTT, 1. an overview of higher category theory ( HTT, 1. an overview of higher category theory(rev # 5) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 22:40:58
• HTT, A.3.1 ( HTT, A.3.1(rev # 1) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 22:27:47
• HTT, A.3 simplicial categories ( HTT, A.3 simplicial categories(rev # 10) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 22:26:09
• HTT, A.3.2 ( HTT, A.3.2(rev # 4) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 22:24:15
• HTT, A.2.2 ( HTT, A.2.2(rev # 3) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 22:15:07
• HTT, A.3.2 ( HTT, A.3.2(rev # 3) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 21:28:20
• HTT, A.2.2 ( HTT, A.2.2(rev # 2) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 20:44:02
• HTT, A.3.2 ( HTT, A.3.2(rev # 2) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 19:56:11
• HTT, A.2.2 ( HTT, A.2.2(rev # 1) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 19:43:23
• HTT, A.2 model categories ( HTT, A.2 model categories(rev # 18) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 19:43:09
• HTT, A.3.2 ( HTT, A.3.2(rev # 1) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 19:21:12
• HTT, A.3 simplicial categories ( HTT, A.3 simplicial categories(rev # 9) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 19:20:56
• model structure on s Set Cat in HTT
  by Stephan Alexander Spahn? at June 29, 2012 at 19:17:22
• HTT, 1.1, fondations for higher category theory ( HTT, 1.1, fondations for higher category theory(rev # 2) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 17:02:52
• Joyal model structure in HTT ( Joyal model structure in HTT(rev # 4) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 14:27:34
• HTT, 1.1, fondations for higher category theory ( HTT, 1.1, fondations for higher category theory(rev # 1) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 13:31:36
• HTT, 1. an overview of higher category theory ( HTT, 1. an overview of higher category theory(rev # 4) | history )
  by Stephan Alexander Spahn? at June 29, 2012 at 13:30:54