148 search results - page 16 / 30 » apal 2007 |
97
Voted
APAL
1999
15 years 6 days ago
1999
A study is carried out of the elementary theory of quotients of symmetric groups in a similar spirit to [10]. Apart from the trivial and alternating subgroups, the normal subgroup...
85
Voted
APAL
2002
15 years 12 days ago
2002
eory in the Abstract J. M. E. Hyland June 7, 2001 Dedicated to Anne Troelstra on the occasion of his 60th birthday: with great affection and respect, this small tribute to his infl...
73
Voted
APAL
2007
15 years 20 days ago
2007
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
90
Voted
APAL
2007
15 years 20 days ago
2007
Based on a result of Nies on definability the upper semilattice of computably enumerable degrees (denoted by R), we find that in R filters generated by definable subsets are al...
84
Voted
APAL
2006
15 years 18 days ago
2006
We investigate the question of whether one can characterize complexity classes (such as PSPACE or NEXP) in terms of efficient reducibility to the set of Kolmogorovrandom strings R...