APAL

2010

13 years 1 months ago
2010

APAL

2010

13 years 4 months ago
2010

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

APAL

2010

13 years 4 months ago
2010

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

APAL

2010

13 years 4 months ago
2010

APAL

2010

13 years 5 months ago
2010

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

APAL

2010

13 years 7 months ago
2010

APAL

2010

13 years 7 months ago
2010

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

APAL

2010

13 years 7 months ago
2010

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

APAL

2010

13 years 7 months ago
2010

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

APAL

2010

13 years 7 months ago
2010

We prove that if S is an -model of weak weak K