MLQ
2002
14 years 12 days 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
14 years 12 days 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
14 years 12 days ago
2002
MLQ
2002
14 years 12 days ago
2002
We will analyze some extensions of Martin-L
MLQ
2002
14 years 12 days ago
2002
MLQ
2002
14 years 12 days 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
14 years 12 days ago
2002
MLQ
2002
14 years 12 days 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
14 years 12 days ago
2002
MLQ
2002
14 years 12 days 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...