Journal: Math. Log. Q.

Volume 27, Issue 31-35

481 -- 488Sauro Tulipani. Model-Completions of Theories of Finitely Additive Measures with Values in An Ordered Field
489 -- 494F. W. Gorgy, A. H. Sahyoun. Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic
495 -- 529Robert Ian Goldblatt. Grothendieck Topology as Geometric Modality
531 -- 538Luiz Paulo de Alcantara, Walter Alexandre Carnielli. Transfinite Induction on Ordinal Configurations
539 -- 548Steven Homer, Barry E. Jacobs. Degrees of Non α-Speedable Sets
549 -- 555John R. Cowles. The Henkin Quantifier and Real Closed Fields
557 -- 560Stephen D. Comer. The Decision Problem for Certain Nilpotent Closed Varieties