Journal of Logic and Computation Advance Access published online on August 12, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp043
Original Papers |
A Topological Study of the Closed Fragment of GLP
Department of Philosophy, Stanford University, Stanford, California, USA.
E-mail: icard{at}stanford.edu
Received 2 February 2009.
| Abstract |
|---|
In this article, we study the canonical model for the closed fragment of GLP and establish its precise relationship with a universal model constructed by Ignatiev. In particular, we effectively characterize the canonical model in terms of a coordinate system based on sequences of ordinals up to
0.We then define a simple topological model of this logic by defining a natural polytopology on the ordinal
0 itself.