Journal: Math. Log. Q.

Volume 31, Issue 31-34

481 -- 486Eugene W. Madison. On Boolean Algebras and their Recursive Completions
487 -- 494John Hickman. Multiply Transitive Sets
495 -- 501Dev Kumar Roy. Linear Order Types of Nonrecursive Presentability
503 -- 508Akira Kanda. Acceptable Numerations of Function Spaces
509 -- 515Mohamed A. Amer. Classification of Boolean Algebras of Logic and Probabilities Defined on them by Classical Models
517 -- 532Paolo Lipparini. Duality for Compact Logics and Substitution in Abstract Model Theory
533 -- 536Marco Forti, Furio Honsell. A Model where Cardinal Ordering is Universal
537 -- 544Zvonimir Sikic. Continuing Variations on a System of Gentzen