Sciweavers

8 search results - page 1 / 2

» apal 1998

25

APAL
1998

51views more APAL 1998»

What's the Difference?

13 years 11 months ago

What's the Difference?

Download www.ptg.org

James H. Schmerl

claim paper

Read More »

33

APAL
1998

60views more APAL 1998»

Classifying Toposes for First-Order Theories

13 years 11 months ago

Classifying Toposes for First-Order Theories

Download www.brics.dk

Carsten Butz, Peter Johnstone

claim paper

Read More »

34

APAL
1998

54views more APAL 1998»

Computable Isomorphisms, Degree Spectra of Relations, and Scott Families

13 years 11 months ago

Computable Isomorphisms, Degree Spectra of Relations, and Scott Families

Download www.math.cornell.edu

Bakhadyr Khoussainov, Richard A. Shore

claim paper

Read More »

30

APAL
1998

88views more APAL 1998»

The Dense Simple Sets are Orbit Complete with Respect to the Simple Sets

13 years 11 months ago

The Dense Simple Sets are Orbit Complete with Respect to the Simple Sets

Download www.nd.edu

We prove conjectures of Herrmann and Stob by showing that the dense simple sets are orbit complete w.r.t. the simple sets.

Peter Cholak

claim paper

Read More »

37

APAL
1998

121views more APAL 1998»

Computably Enumerable Sets and Quasi-Reducibility

13 years 11 months ago

Computably Enumerable Sets and Quasi-Reducibility

Download homepages.mcs.vuw.ac.nz

We consider the computably enumerable sets under the relation of Qreducibility. We ﬁrst give several results comparing the upper semilattice of c.e. Q-degrees, RQ, ≤Q , under ...

Rodney G. Downey, Geoffrey LaForte, André N...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »