Sciweavers

MLQ
2008
133views more  MLQ 2008»
13 years 10 months ago
Unions and the axiom of choice
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...
MLQ
2008
63views more  MLQ 2008»
13 years 10 months ago
Generic cuts in models of arithmetic
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...
Richard Kaye
MLQ
2008
50views more  MLQ 2008»
13 years 10 months ago
Computable symbolic dynamics
Douglas Cenzer, S. Ali Dashti, Jonathan L. F. King
MLQ
2008
54views more  MLQ 2008»
13 years 10 months ago
A localic theory of lower and upper integrals
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 ...
Steven Vickers
MLQ
2008
67views more  MLQ 2008»
13 years 10 months ago
Classical truth in higher types
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...
Ulrich Berger
MLQ
2008
50views more  MLQ 2008»
13 years 10 months ago
Long Borel hierarchies
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...
Arnold W. Miller
MLQ
2008
63views more  MLQ 2008»
13 years 10 months ago
The stationary set splitting game
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...
Paul B. Larson, Saharon Shelah
MLQ
2008
77views more  MLQ 2008»
13 years 10 months ago
On countable choice and sequential spaces
Abstract: Under the axiom of choice, every first countable space is a Fr
Gonçalo Gutierres
MLQ
2008
63views more  MLQ 2008»
13 years 10 months ago
On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
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...
Carles Noguera, Francesc Esteva, Joan Gispert