Geodesic

Tome 12 (1989)

Sommaire

Computations with oracles
p. 4-24
Characterization of axiomatizable classes with strong epimorphisms
p. 24-39
Logical properties of partial continuous functions
p. 39-72
Interpolation in modal logics of an infinite slice that contain the logic $\mathbf{K}4$
p. 72-91
On theories of classes of groups of recursive permutations
p. 91-104
Correspondence of proof-intuitionistic logic extensions to proof-logic extensions
p. 104-120
Admissibility of rules of inference in the modal system $G$
p. 120-138
Equivalence of the polynomial constructivity of the Markov principle to the equality $\mathrm{P}=\mathrm{NP}$
p. 138-165
Fine hierarchies of arithmetic sets, and definable index sets
p. 165-185