J. Henrik Forssell
Research Fellow
Department of Informatics
University of Oslo
Contact information
Department of Informatics
PO Box 1080 Blindern
N-0316 Oslo
Norway
☎ :
✉ :
henrik(insert-surname-here)@gmail.com
Research Interests
-
Category theory
-
Mathematical logic
-
Semantic and database technology
-
Philosophy of mathematics, logic, and language
Links to Papers, Preprints, and Notes
-
Subgroupoids and Quotient Theories, 2011.
-
Topological Representation of Geometric Theories, 2011.
-
First-Order Logical Duality, with Steve Awodey, 2010.
-
First-order logical duality, Ph.D. thesis, 2008.
[PDF]
-
Algebraic models of sets and classes in categories of ideals with Steve Awodey and Michael Warren, 2006.
[PS]
-
Algebraic models of intuitionistic theories of sets and classes, with Steve Awodey,
Theory and Applications of Categories, volume 15,
pp. 147-163, 2005.
-
Categorical models of intuitionistic theories of sets and classes, M.Sc. thesis in logic, supervisor: Steve Awodey, 2004.
[PS] [PDF]
Curriculum Vitae
Outline:
-
Post doc, Eduard Cech Center for Algebra and Topology,
Masaryk University,
2009
-
PhD in Logic, Computation and Methodology,
Carnegie Mellon University,
2008
-
Master of Science in Mathematics, Carnegie Mellon University,
2006
-
Master of Science in Logic, Computation and Methodology,
Carnegie Mellon University,
2004
-
Cand. Philol. (MA),
University of Oslo,
2000