Sciweavers

1055 search results - page 7 / 211
» order 2002
Sort
View
JSYML
2002
70views more  JSYML 2002»
14 years 9 months ago
Coding with Ladders A Well Ordering of The Reals
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...
Uri Abraham, Saharon Shelah
JSYML
2002
114views more  JSYML 2002»
14 years 9 months ago
Interpolation for First Order S5
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first orde...
Melvin Fitting
MOC
2002
128views more  MOC 2002»
14 years 9 months ago
Each averaging technique yields reliable a posteriori error control in FEM on unstructured grids. Part II: Higher order FEM
Averaging techniques are popular tools in adaptive finite element methods since they provide efficient a posteriori error estimates by a simple postprocessing. In the second paper ...
Sören Bartels, Carsten Carstensen
ORDER
2002
73views more  ORDER 2002»
14 years 9 months ago
Antichains in Products of Linear Orders
We show that: (1) For many regular cardinals (in particular, for all successors of singular strong limit cardinals, and for all successors of singular -limits), for all n {2, 3, ...
Martin Goldstern, Saharon Shelah
83
Voted
ORDER
2002
104views more  ORDER 2002»
14 years 9 months ago
Partially Well-Ordered Closed Sets of Permutations
It is known that the "pattern containment" order on permutations is not a partial well-order. Nevertheless, many naturally defined subsets of permutations are partially ...
Mike D. Atkinson, Max Murphy, Nikola Ruskuc