Spahn
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

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 typetheoretical approach
(
Giuseppe Primiero, information and knowledge  a constructive typetheoretical 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 typetheoretical approach
(
Giuseppe Primiero, information and knowledge  a constructive typetheoretical approach(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at August 4, 2012 at 15:40:34
Giuseppe Primiero, information and knowledge  a constructive typetheoretical approach
(
Giuseppe Primiero, information and knowledge  a constructive typetheoretical approach(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at August 4, 2012 at 15:06:48
Giuseppe Primiero, information and knowledge  a constructive typetheoretical approach
(
Giuseppe Primiero, information and knowledge  a constructive typetheoretical 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
ptorsion
(
ptorsion(rev # 6)

history
)
by
Stephan Alexander Spahn
?
at July 18, 2012 at 22:45:48
ptorsion
(
ptorsion(rev # 5)

history
)
by
Stephan Alexander Spahn
?
at July 18, 2012 at 20:32:58
ptorsion
(
ptorsion(rev # 4)

history
)
by
Stephan Alexander Spahn
?
at July 18, 2012 at 20:02:18
ptorsion
(
ptorsion(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at July 18, 2012 at 18:21:30
ptorsion
(
ptorsion(rev # 2)

history
)
by
Stephan Alexander Spahn
?
at July 18, 2012 at 17:47:21
ptorsion
(
ptorsion(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
HTT, 1.2, the language of higher category theory
(
HTT, 1.2, the language of higher category theory(rev # 11)

history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 13:22:44
Grothendieck construction in HTT
(
Grothendieck construction in HTT(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at June 29, 2012 at 11:55:28
Joyal model structure in HTT
(
Joyal model structure in HTT(rev # 3)

history
)
by
Stephan Alexander Spahn
?
at June 28, 2012 at 22:41:26
« Previous
1
2
3
4
5
6
7
Next »