Volume 41; Issue 7

Archive for Mathematical Logic

Volume 41; Issue 7
2

A note on countable models of 1-based theories

Predrag Tanovic
Journal:
Archive for Mathematical Logic
Year:
2002
Language:
english
File:
PDF, 48 KB
english, 2002
3

Metric Boolean algebras and constructive measure theory

Thierry Coquand, Erik Palmgren
Journal:
Archive for Mathematical Logic
Year:
2002
Language:
english
File:
PDF, 142 KB
english, 2002
4

Analytic functions over a field of power series

Marie-Hélène Mourgues
Journal:
Archive for Mathematical Logic
Year:
2002
Language:
english
File:
PDF, 127 KB
english, 2002
5

Fuzzy logic, continuity and effectiveness

Loredana Biacino, Giangiacomo Gerla
Journal:
Archive for Mathematical Logic
Year:
2002
Language:
english
File:
PDF, 180 KB
english, 2002
6

Some Ramsey-type theorems for countably determined sets

Josef Mlček, Pavol Zlatoš
Journal:
Archive for Mathematical Logic
Year:
2002
Language:
english
File:
PDF, 124 KB
english, 2002
7

On the formal points of the formal topology of the binary tree

Silvio Valentini
Journal:
Archive for Mathematical Logic
Year:
2002
Language:
english
File:
PDF, 124 KB
english, 2002