Sciweavers

JSYML
2007
91views more  JSYML 2007»
13 years 10 months ago
Ideal convergence of bounded sequences
We generalize the Bolzano-Weierstrass theorem (that every bounded sequence of reals admits a convergentsubsequence) on ideal convergence. Weshow examplesofidealswith and without th...
Rafal Filipów, Reclaw Ireneusz, Mrozek Niko...
JSYML
2007
79views more  JSYML 2007»
13 years 10 months ago
Models of non-well-founded sets via an indexed final coalgebra theorem
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of ...
Federico De Marchi, Benno van den Berg
JSYML
2007
57views more  JSYML 2007»
13 years 10 months ago
Red fields
We apply Hrushovski-Fra¨ıss´e’s amalgamation procedure to obtain a theory of fields of prime characteristic of Morley rank 2 equipped with a
Andreas Baudisch, A. Martin-Pizarro, M. Ziegler
JSYML
2007
88views more  JSYML 2007»
13 years 10 months ago
The basic intuitionistic logic of proofs
The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete ...
Sergei N. Artëmov, Rosalie Iemhoff
JSYML
2007
78views more  JSYML 2007»
13 years 10 months ago
The settling-time reducibility ordering
Abstract. To each computable enumerable (c.e.) set A with a particular enumeration {As}s∈ω, there is associated a settling function mA(x), where mA(x) is the last stage when a n...
Barbara F. Csima, Richard A. Shore
JSYML
2007
73views more  JSYML 2007»
13 years 10 months ago
The ground axiom
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...
Jonas Reitz
JSYML
2007
48views more  JSYML 2007»
13 years 10 months ago
Flag algebras
Alexander A. Razborov
JSYML
2007
51views more  JSYML 2007»
13 years 10 months ago
Some results in polychromatic Ramsey theory
Uri Abraham, James Cummings, Clifford Smyth