13 search results - page 2 / 3 » mlq 2010 |
MLQ
2010
13 years 3 months ago
2010
MLQ
2010
13 years 3 months ago
2010
We consider logical expressions built on the single binary connector of implication and a finite number of literals (boolean variables and their negations). We prove that asympto...
MLQ
2010
13 years 3 months ago
2010
We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or...
MLQ
2010
13 years 3 months ago
2010
Abstract. In this paper, we give a classification of (finite or countable) ℵ0categorical coloured linear orders, generalizing Rosenstein’s characterization of ℵ0-categorica...
APAL
2010
13 years 4 months ago
2010
In an earlier paper (MLQ 54, 128