J. Henrik Forssell
Research Fellow
Department of Informatics
University of Oslo
Contact information
Department of Informatics
PO Box 1080 Blindern
N0316 Oslo
Norway
☎ :
✉ :
henrik(insertsurnamehere)@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.

FirstOrder Logical Duality, with Steve Awodey, 2010.

Firstorder 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. 147163, 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