45 search results - page 3 / 9 » apal 2010 |
APAL
2010
13 years 5 months ago
2010
Computability theory concerns information with a causal
APAL
2010
13 years 5 months ago
2010
In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi ...
APAL
2010
13 years 5 months ago
2010
It is shown that every locally countable upper semi-lattice of cardinality continuum can be embedded into the Turing degrees, assuming Martin's Axiom.
APAL
2010
13 years 5 months ago
2010
We prove the strong normalization of full classical natural deduction (i.e. with conjunction, disjunction and permutative conversions) by using a translation into the simply typed...
APAL
2010
13 years 5 months ago
2010
We obtain very strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. In particular, the sim...