Geodesic

Sommaire

Completeness and cut-elimination theorems in higher-order classical logic. Constructive methods
p. 3-18
Unitriangular groups and undecidability
p. 19-22
The equational theory of relation algebras with positive operations
p. 23-30
The relation between NP and co-NP sets with respect to a~random oracle
p. 31-39
Identities and quasi-identities in lattices of pseudovarieties
p. 40-50
On elementary equivalence for fragments of the language Lω1,ω
p. 51-58
Continuous convergences of mappings
p. 59-67
Vop\v enka's principle and skeletons of varieties
p. 68-71
On Euler summation of series of factorials with alternating signs
p. 72-77
An intuitionistic proof of the consistency of Church's thesis with set theory
p. 78-80