AML
2004
13 years 10 months ago
2004
We examine the Dual Ramsey Theorem and two related combinatorial principles VW(k, l) and OVW(k, l) from the perspectives of reverse mathematics and effective mathematics. We give a...
AML
2004
13 years 10 months ago
2004
We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory. AMS classification: 03C45 , 03C50
AML
2004
13 years 10 months ago
2004
Abstract. Product logic is an important t-norm based fuzzy logic with conjunction interpreted as multiplication on the real unit interval [0, 1], while Cancellative hoop logic CHL ...
AML
2004
13 years 10 months ago
2004
We show that there exists a single minimal (Turing) degree b < 0 s.t. for all c.e. degrees 0 < a < 0 , 0 = a b. Since b is minimal this means that b complements all c.e....
AML
2004
13 years 10 months ago
2004
We point out a connection between reflection principles and generic large cardinals. One principle of pure reflection is introduced that is as strong as generic supercompactness of...
AML
2004
13 years 10 months ago
2004
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
AML
2004
13 years 10 months ago
2004
AML
2004
13 years 10 months ago
2004
AML
2004
13 years 10 months ago
2004
Assuming CH, let 1 be the saturated random graph of cardinal
AML
2004
13 years 10 months ago
2004