APAL
2006
13 years 4 months ago
2006
Given a space X, J in an elementary submodel M of H(), define XM to be X M with the topology generated by {U M : U J M}. It is established, using anti-large-cardinals assumptio...
APAL
2006
13 years 4 months ago
2006
We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author's thesis of a model with no 2-Aronszajn trees, and also th...
APAL
2006
13 years 4 months ago
2006
APAL
2006
13 years 4 months ago
2006
We consider the possible cardinalities of the following three cardinal invariants which are related to the permutation group on the set of natural numbers: ag := the least cardina...
APAL
2006
13 years 4 months ago
2006
The na
APAL
2006
13 years 4 months ago
2006
BLE CATEGORICITY OF LOCAL ABSTRACT ELEMENTARY CLASSES WITH AMALGAMATION JOHN T. BALDWIN AND OLIVIER LESSMANN We give a complete and elementary proof of the following upward categor...
APAL
2006
13 years 4 months ago
2006
ence in Finitary Abstract Elementary Classes Tapani Hyttinen and Meeri Kes
APAL
2006
13 years 4 months ago
2006
We show that--unlike products of `transitive' modal logics which are usually undecidable-their `expanding domain' relativisations can be decidable, though not in primiti...
APAL
2006
13 years 4 months ago
2006
Given any subset A of 1 there is a proper partial order which forces that the predicate x A and the predicate x 1\A can be expressed by ZFC
APAL
2006
13 years 4 months ago
2006
In this paper an alternative Skolemization method is introduced that for a large class of formulas is sound and complete with respect to intuitionistic logic. This class extends t...