148 search results - page 12 / 30 » apal 2007 |
69
Voted
APAL
2006
15 years 18 days ago
2006
It is consistent (relative to ZFC) that each union of max{b, g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consist...
75
Voted
APAL
2006
15 years 18 days ago
2006
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be dec...
93
Voted
APAL
2006
15 years 18 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...
101
Voted
APAL
2006
15 years 18 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...
101
Voted
APAL
2006
15 years 18 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...