Komplexität von Algorithmen mit Anwendung auf die Analysis.
König's Lemma, the ...-rule and primitive recursive arithmetic.
Kripke models and manivalued logics, II
Kripke models for intuitionistic theories with decidable atomic formulas.
Kripke models with relative accessibility and their applications to inferences from incomplete information
Kripke-Semantik der derivativen Prädikatelogik.
Krull-Gabriel dimension and Cantor-Bendixson rank of 1-domestic string algebras
We prove that the Krull-Gabriel dimension of the category of modules over any 1-domestic non-degenerate string algebra is 3.
Kurepa's Hypothesis and a Problem of Ulam on Families of Measures.
Kurepa's hypothesis and the continuum
Kurzer Weg zur Bestimmung der durch eine Aussageverbindung dargestellten Wahrheitsfunktion.
Kvantová teorie a operace spojení v teorii svazů
logic and completeness theorem
-fuzzy ideal degrees in effect algebras
In this paper, considering being a completely distributive lattice, we first introduce the concept of -fuzzy ideal degrees in an effect algebra , in symbol . Further, we characterize -fuzzy ideal degrees by cut sets. Then it is shown that an -fuzzy subset in is an -fuzzy ideal if and only if which can be seen as a generalization of fuzzy ideals. Later, we discuss the relations between -fuzzy ideals and cut sets (-nested sets and -nested sets). Finally, we obtain that the -fuzzy...
-multifunctions and their properties.
logic and Completeness Theorem
-sums and the Banach space
This paper is concerned with the isomorphic structure of the Banach space and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that does not have an orthogonal -decomposition, that is, it is not of the form for any Banach space X. The main local result is that it is consistent that does not embed isomorphically into , where is the cardinality of the continuum, while ...
equivalence between countable and uncountable linear orderings
La catégorie des algèbres quantifiées
La créativité des définitions dans les systèmes para-euclidiens
Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b) ni (c), une...
La détermination projective