A Topological Study of the Closed Fragment of GLP

作者:Icard Thomas*
来源:Journal of Logic and Computation, 2011, 21(4): 683-696.
DOI:10.1093/logcom/exp043

摘要

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 epsilon(0).We then define a simple topological model of this logic by defining a natural polytopology on the ordinal epsilon(0) itself.

  • 出版日期2011-8