MLQ
1998
13 years 11 months ago
1998
We develop arithmetical measure theory along the lines of Lutz [10]. This yields the same notion of “measure 0 set” as considered before by Martin-L¨of, Schnorr, and others. W...
MLQ
1998
13 years 11 months ago
1998
In 1990, J.L. Krivine introduced the notion of storage operator to simulate, for Church integers, the “call by value” in a context of a “call by name” strategy. In this pre...
MLQ
1998
13 years 11 months ago
1998
MLQ
1998
13 years 11 months ago
1998
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theor...
MLQ
1998
13 years 11 months ago
1998
MLQ
1998
13 years 11 months ago
1998
This paper presents a new method – which does not rely on the cut-elimination theorem – for characterizing the provably total functions of certain intuitionistic subsystems of ...
MLQ
1998
13 years 11 months ago
1998
We find properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.
MLQ
1998
13 years 11 months ago
1998
Abstract. We investigate the set theoretical strength of some properties of normality, including Urysohn’s Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions o...
MLQ
1998
13 years 11 months ago
1998
