Sciweavers

MLQ
2002
74views more  MLQ 2002»
13 years 10 months ago
Computability on Regular Subsets of Euclidean Space
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...
Martin Ziegler
MLQ
2002
75views more  MLQ 2002»
13 years 10 months ago
Recursive Approximability of Real Numbers
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...
Xizhong Zheng
MLQ
2002
65views more  MLQ 2002»
13 years 10 months ago
Metrization of the Uniform Space and Effective Convergence
Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori
MLQ
2002
100views more  MLQ 2002»
13 years 10 months ago
Extensionality Versus Constructivity
We will analyze some extensions of Martin-L
Silvio Valentini
MLQ
2002
73views more  MLQ 2002»
13 years 10 months ago
Located Operators
Bas Spitters
MLQ
2002
67views more  MLQ 2002»
13 years 10 months ago
Intuitionistic Fixed Point Theories for Strictly Positive Operators
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...
Christian Rüede, Thomas Strahm
MLQ
2002
84views more  MLQ 2002»
13 years 10 months ago
Strengths and Weaknesses of LH Arithmetic
Chris Pollett, Randall Pruim
MLQ
2002
77views more  MLQ 2002»
13 years 10 months ago
Algebraization of the Three-valued BCK-logic
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...
Francisco M. García Olmedo, Antonio J. Rodr...
MLQ
2002
59views more  MLQ 2002»
13 years 10 months ago
Weak Arithmetics and Kripke Models
Morteza Moniri
MLQ
2002
95views more  MLQ 2002»
13 years 10 months ago
Invariant Logics
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...
Marcus Kracht