1190 search results - page 55 / 238 » The Continuing Quest for Abstraction |
MLQ
2008
13 years 9 months ago
2008
Abstract. We continue investigations of reasonable ultrafilters on uncountable cardinals defined in Shelah [8]. We introduce a general scheme of generating a filter on from filter...
MLQ
2006
13 years 9 months ago
2006
Abstract. We continue investigations of forcing notions with strong ccc properties introducing new methods of building sweet forcing notions. We also show that quotients of topolog...
TOC
2008
13 years 9 months ago
2008
Abstract: We give a quantum algorithm for the binary NAND tree problem in the Hamiltonian oracle model. The algorithm uses a continuous time quantum walk with a running time propor...
ACS
2004
13 years 9 months ago
2004
Abstract. In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effec...
EATCS
2002
13 years 9 months ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...