11160 search results - page 392 / 2232 » Incompleteness in a General Setting |
138
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. We introduce generalized trajectories where the individual symbols are interpreted as operations performed on the operand words. The various previously considered traject...
163
click to vote
IPL
2008
15 years 6 months ago
2008
Let S be a set of n points in general position in the plane, labelled bijectively with the integers {0, 1, . . ., n - 1}. Each edge (the straight segment that joins two points) is...
135
Voted
MLQ
2008
15 years 6 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...
171
click to vote
MSCS
2006
15 years 6 months ago
2006
Abstract. In the paper we introduce and study the uniform regular enumerations for arbitrary recursive ordinals. As an application of the technique we obtain a uniform generalizati...
152
click to vote
NA
2007
15 years 6 months ago
2007
GC-sets are subsets T of Rd of cardinality dim Πn for which, for each τ ∈ T, there are n hyperplanes whose union contains all of T except for τ, thus making interpolation to a...