MLQ
2002
13 years 4 months ago
2002
For the computability of subsets of real numbers, several reasonable notions have been suggested in the literature. We compare these notions in a systematic way by relating them to...
MLQ
2002
13 years 4 months ago
2002
A real number is recursively approximable if there is a computable sequence of rational numbers converging to it. If some extra condition to the convergence is added, then the limi...
MLQ
2002
13 years 4 months ago
2002
MLQ
2002
13 years 4 months ago
2002
We will analyze some extensions of Martin-L
MLQ
2002
13 years 4 months ago
2002
MLQ
2002
13 years 4 months ago
2002
In this paper it is shown that the intuitionistic fixed point theory ID i (strict) for times iterated fixed points of strictly positive operator forms is conservative for negativ...
MLQ
2002
13 years 4 months ago
2002
MLQ
2002
13 years 4 months ago
2002
In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivale...
MLQ
2002
13 years 4 months ago
2002
MLQ
2002
13 years 4 months ago
2002
A modal logic is called invariant if for all automorphisms of NExt K, () = . An invariant logic is therefore uniquely determined by its surrounding in the lattice. It will be est...