AML 2008 - PDF Preprint Papers

AML 2008

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AML-2008 Paper

click to vote

AML
2008

124views more AML 2008»

The elementary computable functions over the real numbers: applying two new techniques

13 years 11 months ago

Download www.math.ist.utl.pt

The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether def...

Manuel Lameiras Campagnolo, Kerry Ojakian

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	124	The elementary computable functions over the real numbers: applying two new techniques	claim
2	91	On meta complexity of propositional formulas and propositional proofs	claim
3	85	A hierarchy of hereditarily finite sets	claim
4	84	Harrington's conservation theorem redone	claim
5	84	Model theory of the regularity and reflection schemes	claim
6	83	Even more simple cardinal invariants	claim
7	74	Homogeneous iteration and measure one covering relative to HOD	claim
8	73	An L-like model containing very large cardinals	claim
9	72	On Lachlan's major sub-degree problem	claim
10	66	Algorithmic randomness of continuous functions	claim
11	66	Register computations on ordinals	claim
12	63	Forcing with quotients	claim
13	60	Computable shuffle sums of ordinals	claim
14	59	Monadic GMV-algebras	claim
15	57	Sheaf toposes for realizability	claim
16	56	On a question of Pereira	claim
17	56	Making all cardinals almost Ramsey	claim
18	55	G-compactness and groups	claim
19	54	Potential continuity of colorings	claim
20	53	Pairs, sets and sequences in first-order theories	claim
21	47	Fruitful and helpful ordinal functions	claim
22	44	Elementary equivalence of some rings of definable functions	claim
23	37	On two problems concerning end extensions	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers