JSYML 2007 | Sciweavers

11

JSYML
2007

91views more JSYML 2007»

13 years 4 months ago

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...

claim paper

Read More »

10

click to vote

JSYML
2007

79views more JSYML 2007»

Models of non-well-founded sets via an indexed final coalgebra theorem

13 years 4 months ago

Download www.math.uu.nl

The paper uses the formalism of indexed categories to recover the proof of a standard ﬁnal coalgebra theorem, thus showing existence of ﬁnal coalgebras for a special class of ...

Federico De Marchi, Benno van den Berg

claim paper

Read More »

11

click to vote

JSYML
2007

79views more JSYML 2007»

Non-branching degrees in the Medvedev lattice of Pi01 classes

13 years 4 months ago

Download www.calfeld.net

Christopher P. Alfeld

claim paper

Read More »

12

click to vote

JSYML
2007

57views more JSYML 2007»

Red fields

13 years 4 months ago

Download home.mathematik.uni-freiburg.de

We apply Hrushovski-Fra¨ıss´e’s amalgamation procedure to obtain a theory of ﬁelds of prime characteristic of Morley rank 2 equipped with a

Andreas Baudisch, A. Martin-Pizarro, M. Ziegler

claim paper

Read More »

8

click to vote

JSYML
2007

88views more JSYML 2007»

The basic intuitionistic logic of proofs

13 years 4 months ago

Download web.cs.gc.cuny.edu

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

claim paper

Read More »

13

click to vote

JSYML
2007

78views more JSYML 2007»

The settling-time reducibility ordering

13 years 4 months ago

Download www.math.uwaterloo.ca

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

claim paper

Read More »

11

click to vote

JSYML
2007

43views more JSYML 2007»

Successor-invariant first-order logic on finite structures

13 years 4 months ago

Download www.mit.edu

Benjamin Rossman

claim paper

Read More »

14

click to vote

JSYML
2007

73views more JSYML 2007»

The ground axiom

13 years 4 months ago

Download websupport1.citytech.cuny.edu

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 ﬁrst-order expr...

Jonas Reitz

claim paper

Read More »

11

click to vote

JSYML
2007

48views more JSYML 2007»

Flag algebras

13 years 4 months ago