Geodesic

Volume 212 (2011) no. 3

Sommaire

Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics
p. 191-216
Countable splitting graphs
p. 217-233
A group topology on the free abelian group of cardinality c that makes its square countably compact
p. 235-260
Openly generated Boolean algebras and the Fodor-type reflection principle
p. 261-283