272 search results - page 1 / 55 » Some Results on Ordered Structures in Toposes |
RML
2006
13 years 4 months ago
2006
Abstract. A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers Q, < is homogeneous in any ...
ACS
2007
13 years 4 months ago
2007
A 2-categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling ...
ANOR
2008
13 years 4 months ago
2008
Abstract Given a collection of individual preferences defined on a same finite set of candidates, we consider the problem of aggregating them into a collective preference minimizin...
CONCUR
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we describe a flexible and efficient new algorithm for model order reduction of parameterized systems. The method is based on the reformulation of the parametric s...