2963 search results - page 41 / 593 » An architecture for generic extensions |
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
EUSAI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this article we identify the general communication patterns of physical devices and define all interfaces and conflict resolution strategies that are present in any ...
APAL
2006
14 years 9 months ago
2006
We show that under certain large cardinal requirements there is a generic extension in which the power function behaves differently on different stationary classes. We achieve this...
JSYML
2002
14 years 9 months ago
2002
Any model of ZFC + GCH has a generic extension (made with a poset of size 2) in which the following hold: MA + 20 = 2+ there exists a 2 1-well ordering of the reals. The proof con...
WEA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Extensions of the randomized tournaments techniques introduced in [6, 7] to approximate solutions of 1-median and diameter computation of finite subsets of general metri...