ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Unknown

A Topological Study of the Closed Fragment of GLP (2011)

Icard, T.

Oxford University Press

In: Journal of Logic and Computation

add to mindlist on the mindlist

Details

Publication Date: 2011-11-24

Description: 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.

Print ISSN: 0955-792X

Electronic ISSN: 1465-363X

Topics: Computer Science , Mathematics

Published by Oxford University Press

	Location	Call Number	Expected	Availability

Others were also interested in ...

PAPER CURRENT

S·F·X

Fulltext

hit 1 - 1 | 1 hit