AML
2007
13 years 5 months ago
2007
We study countable universes similar to a free action of a group G. It turns out that this is equivalent to the study of free semi-actions of G, with two universes being transforma...
AML
2007
13 years 5 months ago
2007
We investigate the computational complexity of deciding whether a given inference rule is admissible for some modal and superintuitionistic logics. We state a broad condition unde...
AML
2007
13 years 5 months ago
2007
In this paper we will prove that the plus cupping degrees generate a definable ideal on c.e. degrees different from other ones known so far, thus answer a question asked by A. Li...
AML
2007
13 years 5 months ago
2007
We provide an exposition of supercompact Radin forcing and present several methods for iterating Radin forcing. In this paper we give an exposition of supercompact Radin forcing us...