A stabilization property and its applications in theory of sections
A stochastic model of choice.
An approach to choice function theory is suggested which is probabilistic and non-deterministic. In the framework of this approach fuzzy choice functions are introduced and a number of necessary and sufficient conditions for a fuzzy choice function to be a fuzzy rational choice function of a certain type are established.
A strong boundedness result for separable Rosenthal compacta
It is proved that the class of separable Rosenthal compacta on the Cantor set having a uniformly bounded dense sequence of continuous functions is strongly bounded.
A strongly non-Ramsey uncountable graph
It is consistent that there exists a graph X of cardinality such that every graph has an edge coloring with colors in which the induced copies of X (if there are any) are totally multicolored (get all possible colors).
A sufficient condition for a variety to have the amalgamation property
A supplement to Gottwald's note on fuzzy cardinals
A survey of hereditary properties of graphs
In this paper we survey results and open problems on the structure of additive and hereditary properties of graphs. The important role of vertex partition problems, in particular the existence of uniquely partitionable graphs and reducible properties of graphs in this structure is emphasized. Many related topics, including questions on the complexity of related problems, are investigated.
A Survey of the m-M Calculus
A survey on real structural complexity theory.
A system for deduction-based formal verification of workflow-oriented software models
The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model's behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal logic formulas, seems to be a significant obstacle for an inexperienced user when applying the deductive approach. A system, along with its architecture, for deduction-based verification of workflow-oriented models is proposed. The process inference is...
A Tableaux System in Modal Logic
A ternary variety generated by lattices
A theorem for basis operators over intuitionistic fuzzy sets.
The concept of s-basis operators over intuitionistic fuzzy sets is introduced and all 2-, 3-, 4- basis operators are listed.
A theorem on almost disjoint sets
A Theorem on Anti-ordered Factor-semigroups
A Theorem on Directed Quasi-Ordered Sets and Some Remarks
A theorem on generic intersections in an o-minimal structure
Consider a transitive definable action of a Lie group G on a definable manifold M. Given two (locally) definable subsets A and B of M, we prove that the dimension of the intersection σ(A) ∩ B is not greater than the expected one for a generic σ ∈ G.
A theorem on implication functions defined from triangular norms.
Several transformation which enable implication functions in multivalued logics to be generated from conjunctions have been proposed in the literature. It is proved that for a rather general class of conjunctions modeled by triangular norms, the generation process is closed, thus shedding some light on the relationships between seemingly independent classes of implication functions.
A theorem on polarised partition relations for singular cardinals
A theorem on supports in the theory of semisets