Sciweavers

APAL
2010
130views more  APAL 2010»
12 years 10 months ago
Fundamental results for pointfree convex geometry
Yoshihiro Maruyama
APAL
2010
123views more  APAL 2010»
13 years 1 months ago
Classical descriptive set theory as a refinement of effective descriptive set theory
The (effective) Suslin-Kleene Theorem is obtained as a corollary of a standard proof of the classical Suslin Theorem, by noticing that it is mostly constructive and applying to it...
Yiannis N. Moschovakis
APAL
2010
92views more  APAL 2010»
13 years 1 months ago
The eskolemization of universal quantifiers
This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifie...
Rosalie Iemhoff
APAL
2010
97views more  APAL 2010»
13 years 1 months ago
The free n-generated BL-algebra
The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07...
Stefano Aguzzoli, Simone Bova
APAL
2010
141views more  APAL 2010»
13 years 3 months ago
Locatedness and overt sublocales
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...
Bas Spitters
APAL
2010
78views more  APAL 2010»
13 years 3 months ago
Generic embeddings associated to an indestructibly weakly compact cardinal
I use generic embeddings induced by generic normal measures on P() that can be forced to exist if is an indestructibly weakly compact cardinal. These embeddings can be used in or...
Gunter Fuchs
APAL
2010
93views more  APAL 2010»
13 years 3 months ago
Edge distribution and density in the characteristic sequence
The characteristic sequence of hypergraphs Pn : n < associated to a formula (x; y), introduced in [5], is defined by Pn(y1, . . . yn) = (x) in (x; yi). We continue the study o...
M. E. Malliaris
APAL
2010
93views more  APAL 2010»
13 years 3 months ago
A measure-theoretic proof of Turing incomparability
We prove that if S is an -model of weak weak K
Chris J. Conidis