| Number | Article |
|---|---|
| 280 |
On the termination of Russell's description elimination algorithm
Clemens Grabmayer, Joop Leo, Vincent van Oostrom, Albert Visser November 2009 |
| 279 |
Why the theory R is special
Albert Visser August 2009 |
| 278 |
On topological semantics of GLP
Lev Beklemishev, Guram Bezhanishvili, Thomas Icard August 2009 |
| 277 |
The eskolemization of universal quantifiers
Rosalie Iemhoff June 2009 |
| 276 |
Kripke models for subtheories of CZF
Rosalie Iemhoff June 2009 |
| 275 |
Brouwer's ε-fixed point from Sperner's lemma
Dirk van Dalen June 2009 |
| 274 |
Proof theory for Admissible Rules
Rosalie Iemhoff and George Metcalfe April 2009 |
| 273 |
Eskolemization in intuitionistic logic
Matthias Baaz and Rosalie Iemhoff April 2009 |
| 272 |
Cardinal arithmetic in the style of Baron von Münchhausen
Albert Visser February 2009 |
| 271 |
The Varpakhovskh calculus and Markov arithmetic
Valery Plisko February 2009 |
Welcome to the homepage of the Logic Group Preprint Series. In this series preprints and technical reports of the staff of the logic group of the Department of Philosophy of Utrecht University are published. This site serves as a catalog to all preprints published in the series, and provides access to electronic versions of most of the more recent preprints.
Staff members of the logic group can publish their preprints in the Logic Group Preprint Series. Send an e-mail to the editor, prof. dr Albert Visser (Albert.Visser at phil.uu.nl), with your article as an attachment, preferably in either pdf or postscript format.
