11160 search results - page 408 / 2232 » Incompleteness in a General Setting |
160
click to vote
COLING
1992
15 years 8 months ago
1992
No one has come up with a completely satisfactory set of deep cases relations (or thematic relations). The underlying reason is that any finite set of case relations can capture o...
144
click to vote
JSYML
2007
15 years 6 months ago
2007
Abstract. A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set forcing extension of any inner model. The Ground Axiom is first-order expr...
176
click to vote
DMTCS
2008
15 years 5 months ago
2008
Recently, Kitaev and Remmel [8] refined the well-known permutation statistic "descent" by fixing parity of one of the descent's numbers. Results in [8] were extende...
176
click to vote
JUCS
2010
15 years 5 months ago
2010
: The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between upd...
167
click to vote
CIAC
2010
Springer
16 years 4 months ago
2010
Springer
The problem of sharing the cost of a common infrastructure among a set of strategic and cooperating players has been the subject of intensive research in recent years. However, mos...