Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
MLQ
2000
99views more  MLQ 2000»
11 years 5 months ago
The Essentially Equational Theory of Horn Classes
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
Hans-E. Porst
MLQ
2000
99views more  MLQ 2000»
11 years 5 months ago
Von Rimscha's Transitivity Conditions
In Zermelo-Fraenkel set theory with the axiom of choice every set has the same cardinal number as some ordinal. Von Rimscha has weakened this condition to "Every set has the s...
Paul E. Howard, Jean E. Rubin, Adrienne Stanley
MLQ
2000
72views more  MLQ 2000»
11 years 5 months ago
Paracompactness of Metric Spaces and the Axiom of Multiple Choice
The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin,...
MLQ
2000
80views more  MLQ 2000»
11 years 5 months ago
Compactness in Countable Tychonoff Products and Choice
We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.
Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin,...
MLQ
2000
88views more  MLQ 2000»
11 years 5 months ago
Logics of Complementarity in Information Systems
: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantic...
Ivo Düntsch, Ewa Orlowska
MLQ
2000
71views more  MLQ 2000»
11 years 5 months ago
Common Belief with the Logic of Individual Belief
The logic of common belief does not always reect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief ope...
Giacomo Bonanno, Klaus Nehring
MLQ
2000
90views more  MLQ 2000»
11 years 5 months ago
Approximate Reasoning Based on Similarity
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composin...
Loredana Biacino, Giangiacomo Gerla, Mingsheng Yin...
MLQ
2000
51views more  MLQ 2000»
11 years 5 months ago
There is No Low Maximal D.C.E. Degree
We give a corrected proof of an extension of the Robinson Splitting Theorem for the d.c.e. degrees. The purpose of this short paper is to clarify and correct the main result and p...
Marat M. Arslanov, S. Barry Cooper, Angsheng Li
MLQ
2000
73views more  MLQ 2000»
11 years 5 months ago
Sequential Continuity of Functions in Constructive Analysis
It is shown, constructively, that the mapping T AT is sequentially continuous with respect to the weak
Douglas S. Bridges, Ayan Mahalanobis
books