JSYML
2000
13 years 11 months ago
2000
We investigate topological properties of subsets S of the real plane, expressed by first-order logic sentences in the language of the reals augmented with a binary relation symbol...
JSYML
2000
13 years 11 months ago
2000
It is consistent that there is a set mapping from the four-tuples of n into the finite subsets with no free subsets of size tn for some natural number tn. For any n < it is con...
JSYML
2000
13 years 11 months ago
2000
JSYML
2000
13 years 11 months ago
2000
We give a new proof of the classification of 0-categorical quasivarieties by using Morita equivalence to reduce to term minimal quasivarieties.
JSYML
2000
13 years 11 months ago
2000
We characterize Maharam spectra of Loeb probability spaces and give some applications of the results.
JSYML
2000
13 years 11 months ago
2000
Let X be a compact metric space. A closed set K X is located if the distance function d(x, K) exists as a continuous realvalued function on X; weakly located if the predicate d(x,...
JSYML
2000
13 years 11 months ago
2000
The class of weakly algebrizable logics is defined as the class of logics having monotonic and injective Leibniz operator. We show that "monotonicity" cannot be discarde...
JSYML
2000
13 years 11 months ago
2000
JSYML
2000
13 years 11 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
JSYML
2000
13 years 11 months ago
2000
We address ZFC inequalities between some cardinal invariants of the continuum, which turned to be true in spite of strong expectations given by [10].