APAL
2006
14 years 16 days 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
14 years 16 days 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
14 years 16 days ago
2006
APAL
2006
14 years 16 days 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
14 years 16 days ago
2006
The na
APAL
2006
14 years 16 days 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
14 years 16 days ago
2006
ence in Finitary Abstract Elementary Classes Tapani Hyttinen and Meeri Kes
APAL
2006
14 years 16 days 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
14 years 16 days 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
14 years 16 days 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...