JSYML
2008
13 years 11 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 11 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 11 months ago
2008
JSYML
2008
13 years 11 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 11 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 11 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 11 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 11 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 11 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 11 months ago
2008