MLQ
2008
14 years 12 days ago
2008
We study statements about countable and well ordered unions and how they are related to each other and to countable and well ordered forms of the axiom of choice.
MLQ
2008
14 years 12 days ago
2008
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of `indicator' is d...
MLQ
2008
14 years 12 days ago
2008
MLQ
2008
14 years 12 days ago
2008
An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the nonnegative lower reals, then its ...
MLQ
2008
14 years 12 days ago
2008
MLQ
2008
14 years 12 days ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
MLQ
2008
14 years 12 days ago
2008
We show that there is a model of ZF in which the Borel hierarchy on the reals has length 2. This implies that 1 has countable cofinality, so the axiom of choice fails very badly i...
MLQ
2008
14 years 12 days ago
2008
The stationary set splitting game is a game of perfect information of length 1 between two players, unsplit and split, in which unsplit chooses stationarily many countable ordinal...
MLQ
2008
14 years 12 days ago
2008
Abstract: Under the axiom of choice, every first countable space is a Fr
MLQ
2008
14 years 12 days ago
2008
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and its t-norm based axiomatic extensions. We consider the algebraic counterpart of...