Title of article
On a Particular Condition for Regular Coequality Relations
Author/Authors
Romano، Daniel Abraham نويسنده Faculty of Education Bijeljina,East Sarajevo University,Bijeljina,Bosnia and Herzegovina ,
Issue Information
ماهنامه با شماره پیاپی سال 2011
Pages
8
From page
32
To page
39
Abstract
The setting of this research is Bishop’s constructive mathematics, the mathematics developed on intuitionistic logic. If (X,=,≠,θ) is an anti-ordered set, for a coequality q on X we say that it is strongly regular if it is regular and θ∘q^C ⊆q^C ∘θ holds. In this case, θ∘q^C is a quasi-antiorder relation on X such that the relation Θ=π∘θ∘π^-1 on X/q is the maximal antiorder on X/q.
Keywords
coequality relation , Constructive mathematics , anti-order , Regular , quasi-antiorder , , strongly regular coequality relations
Journal title
General Mathematics Notes
Journal title
General Mathematics Notes
Record number
2398777
Link To Document