MLQ 1998 | Sciweavers

27

MLQ
1998

84views more MLQ 1998»

13 years 10 months ago

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

Sebastiaan Terwijn, Leen Torenvliet

claim paper

Read More »

28

click to vote

MLQ
1998

70views more MLQ 1998»

S-Storage Operators

13 years 10 months ago

Download www.lama.univ-savoie.fr

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

Karim Nour

claim paper

Read More »

23

click to vote

MLQ
1998

59views more MLQ 1998»

On Shattering, Splitting and Reaping Partitions

13 years 10 months ago

Download www.iam.unibe.ch

Lorenz Halbeisen

claim paper

Read More »

33

click to vote

MLQ
1998

126views more MLQ 1998»

Reverse Mathematics and Recursive Graph Theory

13 years 10 months ago

Download www.cs.umd.edu

We examine a number of results of inﬁnite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theor...

William I. Gasarch, Jeffry L. Hirst

claim paper

Read More »

22

click to vote

MLQ
1998

71views more MLQ 1998»

Grasping Infinity by Finite Sets

13 years 10 months ago

Download www.dmi.unisa.it

Ferrante Formato, Giangiacomo Gerla

claim paper

Read More »

30

click to vote

MLQ
1998

61views more MLQ 1998»

Extracting Algorithms from Intuitionistic Proofs

13 years 10 months ago

Download www.ciul.ul.pt

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

Fernando Ferreira, António Marques

claim paper

Read More »

28

click to vote

MLQ
1998

74views more MLQ 1998»

Disjoint Unions of Topological Spaces and Choice

13 years 10 months ago

Download www.math.purdue.edu

We ﬁnd properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.

Paul E. Howard, Kyriakos Keremedis, Herman Rubin, ...

claim paper

Read More »

31

click to vote

MLQ
1998

103views more MLQ 1998»

Versions of Normality and Some Weak Forms of the Axiom of Choice

13 years 10 months ago

Download www.math.purdue.edu

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

Paul E. Howard, Kyriakos Keremedis, Herman Rubin, ...

claim paper

Read More »

31

click to vote

MLQ
1998

70views more MLQ 1998»

Elementary Properties of the Finite Ranks

13 years 10 months ago