External Links

    Journal: Math. Log. Q.

    Volume 34, Issue 6

    481 -- 490M. B. Thuraisingham. n-Cylindrical Decision Problems
    491 -- 522S. Barry Cooper, C. S. Copestake. 2 Enumeration Degrees
    523 -- 529Leon Harkleroad. Fuzzy Regressivity and Retraceability
    531 -- 539Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen. Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings
    541 -- 552Michal Krynicki. Notion of Interpretation and Nonelementary Languages
    553 -- 562Andrzej Orlicki. On Some Problems Related to Enumerated Types of Algebras
    563 -- 573Josef Slapal. Relations of Type α

    Volume 34, Issue 5

    385 -- 392Seiki Akama. On the Proof Method for Constructive Falsity
    393 -- 398Hiroya Kawai. Ω
    399 -- 401Hilbert Levitz, Warren D. Nichols. A Natural Variant of Ackermann's Function
    403 -- 420Andrea Cantini. Two Impredicative Theories of Properties and Sets
    421 -- 432Anne Preller, N. Lafaye de Micheaux. Intensional Equality in Categories With Structure and Coherence Problems
    433 -- 448Pierluigi Minari. On the Semantics of Comparative Logic
    449 -- 462Pawel Pazdyka. On a Reconstruction of Models with Only One Binary Relation
    463 -- 469Teodor Stepien. On The Uniqueness of the Lindenbaum Extension
    471 -- 480Daniel A. Romano. Equality and Coequality Relations on the Cartesian Product of Sets

    Volume 34, Issue 4

    289 -- 295Leopoldo Román. Ultradiophantine Categories
    297 -- 300Benedetto Intrigila. Negative Results on the Reduction of the Recursion Scheme
    301 -- 304Robert K. Meyer, Errol P. Martin, Steve Giambrone, Alasdair Urquhart. Further Results on Proof Theories For Semilattice Logics
    305 -- 307F. W. Gorgy. 1 into True Formulas of His Language ℝ
    309 -- 315Antonín Sochor. Fin
    317 -- 322Günter Asser. Zur Robinson-Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen
    323 -- 330Joji Takahashi, Kazuaki Kajitori. Precipitousness of a Sum of Ideals on Complete Boolean Algebras
    331 -- 336Frederick Bagemihl. An Aleph Hypothesis, and its Consequences for Beths, Sums of Beths, and Infinite Products of Alephs
    337 -- 342J. Richard Büchi, Steven Senger. Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
    343 -- 354Pascal Ostermann. Many-Valued Modal Propositional Calculi
    355 -- 372Daniel Richardson. Non Standard Models of the Theory of Elementary Functions of a Real Variable
    373 -- 383Maciej Kandulski. Phrase Structure Languages Generated by Categorial Grammars With Product

    Volume 34, Issue 3

    193 -- 200Jean Guillaume Hagendorf. Sur La Reconstruction Des Ordres Totaux
    201 -- 204Martin M. Zuckerman. Products of 3 or 4 Ordinals
    205 -- 211Leila Z. Puga, Newton C. A. da Costa. On The Imaginary Logic of N. A. VASILIEV
    213 -- 220Daniel Gluschankof, Miguel Tilli. Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras
    221 -- 228David W. Kueker. Vaught Sentences and the Covering Theorem
    229 -- 250Dick De Jongh, Franco Montagna. Provable Fixed Points
    251 -- 259Giovanna Corsi. Quantified Modal Logic With Rigid Terms
    261 -- 264Zofia Adamowicz, Roman Kossak. n and an Intermediate Induction Schema
    265 -- 276Andrzej Orlicki. Binary Relations Over the Category of Enumerated Sets
    277 -- 282Martin Kummer. The Length Problem for Co-R.E. Sets
    283 -- 286Charles N. Delzell. Correction to "Note on Quantifier Prefixes Over Diophantine Equations"
    287 -- 288Josep Maria Font. Correction to "Some Remarks on Heyting Matrices"

    Volume 34, Issue 2

    97 -- 103Mark Mandelkern. Constructively Complete Finite Sets
    105 -- 108Shih Ping Tung. Definability on Formulas With Single Quantifier
    109 -- 115Michael H. Albert, Stanley Burris. Bounded Obstructions, Model Companions and Amalgamation Bases
    117 -- 122Antoni Torrens. Y in Some Implicative Algebras
    123 -- 134Jan Krajícek. Some Results and Problems in The Modal Set Theory MST
    135 -- 142Wojciech Zielonka. Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String
    143 -- 162Andrzej Orlicki. Strong Reducibilities of Enumerations and Partial Enumerated Algebras
    163 -- 176Michael Deutsch. ∞∃(∞, 1)
    177 -- 188Klaus Denecke. Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls
    189 -- 192Pierre Matet. n-Subtlety

    Volume 34, Issue 1

    3 -- 12Dirk van Dalen, Fer-Jan de Vries. Intuitionistic Free Abelian Groups
    13 -- 17Costas Dimitracopoulos, Jeff B. Paris. A Note on a Theorem of H. FRIEDMAN
    19 -- 24Ray E. Jennings, J. M. Pelham, Robert R. O'Toole. Modal Undefinability in Some Alternative Leibnizian Frames
    25 -- 40Daniel A. Romano. Rings and Fields, a Constructive View
    41 -- 52Maciej Kandulski. The equivalence of Nonassociative Lambek Categorial Grammars and Context-Free Grammars
    53 -- 64Hans Kleine Büning, Theodor Lettmann. First-Order Formulas in Conjunctive Quantificational Form
    65 -- 66J. W. Degen. There Can Be a Permutation Which Is Not The Product of Two Reflections
    67 -- 78Michael Deutsch. Eine Bemerkung Zur Spektralen Darstellung Aufzählbarer Und Koaufzählbarer Prädikate Durch Ausdrücke Aus ∀∃∀∃∞ (ϱ, 1)
    79 -- 88Horst Struve, Rolf Struve. Zum Begriff Der Projektiv-Metrischen Ebene
    89 -- 95Erhard Quaisser. Zum Stufenaufbau Von Translationsebenen in Spiegelungsgeometrischer Darstellung
    runs on