Volume 51; Issue 4

Mathematical Logic Quarterly

Volume 51; Issue 4
1

Worms, gaps, and hydras

Lorenzo Carlucci
Journal:
Mathematical Logic Quarterly
Year:
2005
Language:
english
File:
PDF, 173 KB
english, 2005
2

A constructive proof of the Peter-Weyl theorem

Thierry Coquand, Bas Spitters
Journal:
Mathematical Logic Quarterly
Year:
2005
Language:
english
File:
PDF, 137 KB
english, 2005
3

Brouwer's fan theorem and unique existence in constructive analysis

Josef Berger, Hajime Ishihara
Journal:
Mathematical Logic Quarterly
Year:
2005
Language:
english
File:
PDF, 92 KB
english, 2005
4

Largest fixed points of set continuous operators and Boffa's Anti-Foundation

Hisato Muraki
Journal:
Mathematical Logic Quarterly
Year:
2005
Language:
english
File:
PDF, 180 KB
english, 2005
5

Minimality conditions on circularly ordered structures

Beibut Sh. Kulpeshov, H. Dugald Macpherson
Journal:
Mathematical Logic Quarterly
Year:
2005
Language:
english
File:
PDF, 278 KB
english, 2005
6

Henselian valued fields: a constructive point of view

Hervé Perdry
Journal:
Mathematical Logic Quarterly
Year:
2005
Language:
english
File:
PDF, 243 KB
english, 2005
7

Some variations of the Hardy hierarchy

Henryk Kotlarski, Bożena Piekart
Journal:
Mathematical Logic Quarterly
Year:
2005
Language:
english
File:
PDF, 228 KB
english, 2005
8

A spatial modal logic with a location interpretation

Norihiro Kamide
Journal:
Mathematical Logic Quarterly
Year:
2005
Language:
english
File:
PDF, 141 KB
english, 2005