72
Voted
AML
2005
15 years 4 days ago
2005
The canonical function game is a game of length 1 introduced by W. Hugh Woodin which falls inside a class of games known as Neeman games. Using large cardinals, we show that it is...
71
Voted
AML
2005
15 years 4 days ago
2005
61
Voted
AML
2005
15 years 4 days ago
2005
72
Voted
AML
2005
15 years 4 days ago
2005
In this paper, we investigate the extent to which techniques used in [10], [2], and [3] -- developed to prove coloring theorems at successors of singular cardinals of uncountable c...
90
Voted
AML
2005
15 years 4 days ago
2005
This paper is devoted to a logical and algebraic treatment of conditional probability. The main ideas are the use of non-standard probabilities and of some kind of standard part f...
80
Voted
AML
2005
15 years 4 days ago
2005
A strong reducibility relation between partial numberings is introduced which is such that the reduction function transfers exactly the numbers which are indices under the numberin...
72
Voted
AML
2005
15 years 4 days ago
2005
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border indu...
82
Voted
AML
2005
15 years 4 days ago
2005
Under certain cardinal arithmetic assumptions, we prove that for every large enough regular cardinal, for many regular < , many stationary subsets of concentrating on cofinali...
62
Voted
AML
2005
15 years 4 days ago
2005
78
Voted
AML
2005
15 years 4 days ago
2005
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...