Geodesic

Volume 32 (1993) no. 6

Sommaire

Linear finitary representations of infinite symmetric and
p. 591-606
Nonstandard analysis and the axiom of determinacy
p. 607-617
On the strong constructivizability of Boolean algebras of
p. 618-630
Effectively infinite classes of weak constructivizations of
p. 631-664
Solvable and semisimple Bol algebras
p. 665-682
Least fixed points in the G\"odel-L\"ob logic
p. 683-689
The Lascar rank and the finite covering property for
p. 690-706
Sessions of the seminar “Algebra i Logika”