JSYML
2008
13 years 7 months ago
2008
We construct a model with an indecisive precipitous ideal and a model with a precipitous ideal with a non precipitous normal ideal below it. Such kind of examples were previously ...
JSYML
2008
13 years 7 months ago
2008
We show that if add(null) = c, then the globally Baire and universally measurable chromatic numbers of the graph of any Borel function on a Polish space are equal and at most three...
JSYML
2008
13 years 7 months ago
2008
JSYML
2008
13 years 7 months ago
2008
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...
JSYML
2008
13 years 7 months ago
2008
We show that many singular cardinals above a strongly compact cardinal have regular ultrafilters D that violate the finite square principle fin ,D introduced in [3]. For such ult...
JSYML
2008
13 years 7 months ago
2008
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
JSYML
2008
13 years 7 months ago
2008
Some 40 years ago, Dana Scott proved that every countable Scott set is the standard system of a model of PA. Two decades later, Knight and
JSYML
2008
13 years 7 months ago
2008
0-stable 0-categorical linked quaternionic mappings are studied and are shown to correspond (in some sense) to special groups which are 0stable, 0-categorical, satisfy AP(3) and ha...
JSYML
2008
13 years 7 months ago
2008
If F N N is an analytic family of pairwise eventually different functions then the following strong maximality condition fails: For any countable H N N, no member of which is cov...
JSYML
2008
13 years 7 months ago
2008