Journal: Math. Log. Q.

Volume 33, Issue 4

289 -- 292Kenneth L. Manders. On Algebraic Geometry Over Rings with Exponentiation
293 -- 303Franco Montagna. Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras
305 -- 312M. B. Thuraisingham. Reducibility Relationships Between Decision Problems for System Functions
313 -- 314Stanley Burris. The Model Completion of the Class of ℒ-Structures
315 -- 316Paul E. Howard. The Existence of Level Sets in a Free Group Implies the Axiom of Choice
317 -- 333Hiroakira Ono. Reflection Principles in Fragments of Peano Arithmetic
335 -- 338Akito Tsuboi. Categoricity and Non-Orthogonality of Types
339 -- 345Rodney G. Downey, Jeffrey B. Remmel. Automorphisms and Recursive Structures
347 -- 358Michael Deutsch. Eine Verschärfung Eines Satzes von Kostyrko zur Reduktionstheorie mit Einer Anwendung Auf die Spektrale Darstellung von Prädikaten
359 -- 370Michal Krynicki. On Some Applications of Games for Härtig Quantifier
371 -- 384Andrzej Orlicki. Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets