Linear finitely separated objects of subcategories of domains
The maximal column rank of an m by n matrix is the maximal number of the columns of A which are linearly independent. We compare the maximal column rank with rank of matrices over a nonbinary Boolean algebra. We also characterize the linear operators which preserve the maximal column ranks of matrices over nonbinary Boolean algebra.
An o-minimal expansion ℳ = ⟨M,<,+,0, ...⟩ of an ordered group is called semi-bounded if it does not expand a real closed field. Possibly, it defines a real closed field with bounded domain I ⊆ M. Let us call a definable set short if it is in definable bijection with a definable subset of some Iⁿ, and long otherwise. Previous work by Edmundo and Peterzil provided structure theorems for definable sets with respect to the dichotomy ’bounded versus unbounded’. Peterzil (2009) conjectured a refined...
Bounded commutative residuated lattice ordered monoids (-monoids) are a common generalization of, e.g., -algebras and Heyting algebras. In the paper, the properties of local and perfect bounded commutative -monoids are investigated.
For a Tychonoff space , is the lattice-ordered group (-group) of real-valued continuous functions on , and is the sub--group of bounded functions. A property that might have is (AP) whenever is a divisible sub--group of , containing the constant function 1, and separating points from closed sets in , then any function in can be approximated uniformly over by functions which are locally in . The vector lattice version of the Stone-Weierstrass Theorem is more-or-less equivalent...
In this paper, localic upper, respectively lower continuous chains over a locale are defined. A localic Katětov-Tong insertion theorem is given and proved in terms of a localic upper and lower continuous chain. Finally, the localic Urysohn lemma and the localic Tietze extension theorem are shown as applications of the localic insertion theorem.