619 search results - page 50 / 124 » Generic Extensions and Generic Polynomials |
EFDBS
2001
13 years 9 months ago
2001
The existing standard for object-oriented databases (ODMG) provides no facility for storing behaviour. This lack of stored behaviour introduces problems for generic applications as...
AML
2010
13 years 7 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
ENTCS
2008
13 years 7 months ago
2008
We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...
ENTCS
2008
13 years 7 months ago
2008
At the early stages of the phagocytic signalling, Rho GTP-binding proteins play a key role. With the stimulus from the cell membrane and with the help from the regulators (GEF, GA...
APAL
2006
13 years 7 months ago
2006
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form ...