In this paper we discuss the inclusion ordering on the filters of a filter algebra, a special type of Metropolis-Rota algeba. Using embeddings into interval algebras we show that the notion of “untwisted” gives rise to a congruence relation on the group of g-filters. We also show that there is a natural reflection operator on the class of filters with an easily definable enveloping cubic subalg...

One of the basic problems in arithmetic mirror symmetry is to compare the number of rational points on a mirror pair of Calabi-Yau varieties. At present, no general algebraic geometric definition is known for a mirror pair. But an important class of mirror pairs comes from certain quotient construction. In this paper, we study the congruence relation for the number of rational points on a quoti...

Stochastic process algebras have been introduced in order to enable compositional performance analysis. The size of the state space is a limiting factor, especially if the system consists of many cooperating components. To fight state space explosion, various proposals for compositional aggregation have been made. They rely on minimisation with respect to a congruence relation. This paper addre...

Bialgebraic models of process calculi enjoy the property that bisimilarity is a congruence. Indeed, the unique morphism to the final bialgebra induces a bisimilarity relation which coincides with observational equivalence and which is a congruence with respect to the operations. However, the application of the bialgebraic approach to process calculi with structural axioms is more problematic, b...

We consider Weierstrass functions and divisor functions arising from q-series. Using these we can obtain new identities for divisor functions. Farkas [3] provided a relation between the sums of divisors satisfying congruence conditions and the sums of numbers of divisors satisfying congruence conditions. In the proof he took logarithmic derivative to theta functions and used the heat equation. ...

The Fork Calculus FC presents a theory of communicating systems in family with CCS, but it differs in the way that processes are put in parallel. In CCS there is a binary parallel operator |, and two processes p and q are put in parallel by p|q. In FC there is a unary fork operator, and a process p is activated to “run in parallel with the rest of the program” by fork(p). An operational semanti...

This study investigates the two facets of the social identity model of deindividuation (SIDE) within the context of online dating and racial stereotyping; visual anonymity and salience of social categorization cues. Experiment 1 (N = 23) employed a 2 (stereotypic attributes) 2 (gender) 12 (repetition) withinsubject design where participants rated individuals as more attractive when their profil...

Revealed preference theory was initiated by Samuelson [8] as a way of defining the rational behaviour of a consumer in terms of a preference relation associated with a demand function. This topic has been axiomatically treated by Arrow (1959), Richter (1966), Sen (1971) and many others. Papers Banerjee (1995), Georgescu (2004; 2005) attempt at developing a theory of revealed preference for fuzz...

Park et al. (2011) introduced the concept of generalized intuitionistic fuzzy soft sets, which can be seen as an effective mathematical tool to deal with uncertainties. In this paper, the concept of generalized intuitionistic fuzzy soft equality is introduced and some related properties are derived. It is proved that generalized intuitionistic fuzzy soft equality is congruence relation with res...

To every morphism of X∗ a congruence fR on X ∗, called kernel congruence, and defined by ufRv iff f(u) = f(v) can be associated. We characterize morphisms having a commutative kernel congruence and, introducing the notion of the index of a morphism, we give a classification of the morphisms of X∗. Moreover, a congruence with special properties, called hp-congruence is considered; every kernel c...