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.
Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyr...
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...
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 ...
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...
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...
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...
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...