4966 search results - page 48 / 994 » its 2010 |
154
click to vote
ENTCS
2006
15 years 6 months ago
2006
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
135
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
In its heyday, the video arcade was a social scene to prove
150
click to vote
ENTCS
2007
15 years 6 months ago
2007
A category of event structures with symmetry is introduced and its categorical properties investigated. Applications to the event-structure semantics of higher order processes, no...
126
click to vote
AML
2010
15 years 6 months ago
2010
Let M be a premouse with a top extender, F. Suppose that (a) M is linearly coarsely iterable via hitting F and its images, and (b) if M is a linear iterate of M as in (a), then M ...
177
click to vote
JSYML
2010
15 years 26 days ago
2010
It is shown that under GCH every poset preserves its cofinality in any cofinality preserving extension. On the other hand, starting with measurable cardinals, a model with a part...