APAL 2006 - PDF Preprint Papers

APAL 2006

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed APAL-2006 Paper

click to vote

APAL
2006

123views more APAL 2006»

The ibT degrees of computably enumerable sets are not dense

13 years 4 months ago

Download www.barmpalias.net

Abstract. We show that the identity bounded Turing degrees of computably enumerable sets are not dense.

George Barmpalias, Andrew E. M. Lewis

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	123	The ibT degrees of computably enumerable sets are not dense	claim
2	118	Final coalgebras and the Hennessy-Milner property	claim
3	113	Coding by club-sequences	claim
4	112	On complexity of verification of interacting agents' behavior	claim
5	107	Frege systems for extensible modal logics	claim
6	103	Canonical structure in the universe of set theory: part two	claim
7	98	Ackermann's substitution method (remixed)	claim
8	94	Parameterized counting problems	claim
9	94	Classifiable theories without finitary invariants	claim
10	91	Computing interpolants in implicational logics	claim
11	89	On modal logic of deductive closure	claim
12	85	Compact spaces, elementary submodels, and the countable chain condition	claim
13	79	Cardinal invariants related to permutation groups	claim
14	78	Categoricity in abstract elementary classes with no maximal models	claim
15	76	Non-primitive recursive decidability of products of modal logics with expanding domains	claim
16	75	On self-embeddings of computable linear orderings	claim
17	74	An Aristotelian notion of size	claim
18	73	On the parallel between the suplattice and preframe approaches to locale theory	claim
19	73	Compactness in locales and in formal topology	claim
20	72	Constructive algebraic integration theory	claim
21	70	On the Hamkins approximation property	claim
22	67	Pretopologies and a uniform presentation of sup-lattices, quantales and frames	claim
23	67	On partial randomness	claim
24	67	Adding clubs with square	claim
25	67	The number of translates of a closed nowhere dense set required to cover a Polish group	claim
26	66	The Skolemization of existential quantifiers in intuitionistic logic	claim
27	66	Uncountable categoricity of local abstract elementary classes with amalgamation	claim
28	64	What can be efficiently reduced to the Kolmogorov-random strings?	claim
29	63	Satisfaction of existential theories in finitely presented groups and some embedding theorems	claim
30	62	Fundamental notions of analysis in subsystems of second-order arithmetic	claim
31	60	The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis	claim
32	57	Heyting-valued interpretations for Constructive Set Theory	claim
33	57	Effective categoricity of equivalence structures	claim
34	56	Power function on stationary classes	claim
35	54	Complexity of monodic guarded fragments over linear and real time	claim
36	54	Covering the Baire space by families which are not finitely dominating	claim
37	52	A globalisation of the Gelfand duality theorem	claim
38	52	Compactly generated Hausdorff locales	claim
39	51	Models of real-valued measurability	claim
40	50	Imaginaries in real closed valued fields	claim
41	50	Independence in finitary abstract elementary classes	claim
42	49	The three dimensions of proofs	claim
43	45	Programming interfaces and basic topology	claim
44	45	On properties of theories which preclude the existence of universal models	claim
45	44	Periodicity based decidable classes in a first order timed logic	claim
46	44	The metamathematics of random graphs	claim
47	42	Iterated pushdown automata and sequences of rational numbers	claim
48	41	Strongly uniform bounds from semi-constructive proofs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers