148 search results - page 11 / 30 » apal 2007 |
107
Voted
APAL
2006
15 years 18 days ago
2006
For a long time people have been trying to develop probability theory starting from `finite' events rather than collections of infinite events. In this way one can find natura...
78
Voted
APAL
2006
15 years 18 days ago
2006
We aim at a conceptually clear and technical smooth investigation of Ackermann's substitution method. Our analysis provides a direct classification of the provable recursive ...
107
Voted
APAL
2006
15 years 18 days ago
2006
I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like...
78
Voted
APAL
2006
15 years 18 days ago
2006
The paper shows elimination of imaginaries for real closed valued fields to the geometric sorts which were introduced in the [6]. We also show that this result is in some sense op...
72
Voted
APAL
2006
15 years 18 days ago
2006
We show that under certain large cardinal requirements there is a generic extension in which the power function behaves differently on different stationary classes. We achieve this...