External Links

    Journal: Math. Log. Q.

    Volume 35, Issue 6

    481 -- 0G. E. Puninskij. The Model Completion of the Theory of All Partially Ordered Sets
    483 -- 484Mitsuru Yasuhara. An Addition to "Cut Elimination in ϵ-Calculi"
    485 -- 494Hanamantagouda P. Sankappanavar. Linked Double Weak Stone Algebras
    495 -- 514Andrey A. Kuzichev. A Theory of Ambiguous Types and Its Axiomatizations
    515 -- 516Daniel Abraham Romano. Construction of An Equality Relation on a Set with Coequality Relation
    517 -- 529Michael Deutsch. ∞∀∃∀ (ϱ, 1)
    531 -- 535Victor Pambuccian. Ternary Operations as Primitive Notions for Constructive Plane Geometry
    537 -- 538Juji Takahashi. Models of Set Theory in Which Every Normal Precipitous Ideal is Uniformly Normed
    539 -- 550A. K. Khalifa. A New Approach to Constructive Topology and Measure Theory
    551 -- 557Heinrich Wansing. Bemerkungen Zur Semantik Nicht-Normaler Möglicher Welten
    559 -- 572Ewa Orlowska. Logic For Reasoning About Knowledge
    573 -- 0Pawel Pazdyka. On A Reconstruction of Models in Models with Only One Binary Relation: A Correction
    574 -- 0Roland Hinnion. Correction to "Embedding Properties and Anti-Foundation in Set Theory"

    Volume 35, Issue 5

    385 -- 386Thomas Forster. A Consistent Higher-Order Theory Without a (Higher-Order) Model
    387 -- 390Takao Inoué. A Note on Stahl's Opposite System
    391 -- 397Henryk Kotlarski. S)
    399 -- 412Ramon Jansana. On the Mathematical Content of the Theory of Classes KM
    413 -- 414Jannis Manakos. On a Subtheory of the Bernays-Gödel Set Theory
    415 -- 421Shin'ichi Yokota. Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
    423 -- 432Zhixiang Chen. On Splitting of a Recursive Set with Polynomial Time Minimal Pairs
    433 -- 435Douglas S. Bridges. A General Constructive Intermediate Value Theorem
    437 -- 442Melven Krom, Myren Krom. Recursive Solvability of Problems with Matrices
    443 -- 456Richard Kaye. Parameter-Free Universal Induction
    457 -- 468Andrzej Orlicki. On Lifting of Ω-Operations From the Category of Sets to the Category of Enumerated Sets
    469 -- 480Karol Habart. On Absoluteness

    Volume 35, Issue 4

    289 -- 301Giovanna Corsi. A Cut-Free Calculus For Dummett's LC Quantified
    303 -- 310Klaus Denecke. Hyperidentities of Dyadic Algebras
    311 -- 320W. Richard Strark. A Logic For Distributed Processes
    321 -- 332Roger D. Maddux. Finitary Algebraic Logic
    333 -- 342J. Castro, Felipe Cucker. Nondeterministic Ω-Computations and the Analytical Hierarchy
    343 -- 358Alessandra Carbone, Franco Montagna. Rosser Orderings in Bimodal Logics
    359 -- 362Walter Felscher. A Linear Parsing Algorithm For Parenthesis Terms
    363 -- 366Stephen H. Brackin. Partitions with no Coarsenings of Higher Degree
    367 -- 373Pier Luigi Ferrari. The Rank Function and Hilbert'S Second ϵ-Theorem
    375 -- 383Rod Downey. A Contiguous Nonbranching Degree

    Volume 35, Issue 3

    193 -- 196Martin Dowd. An Extension of the Lebesgue Measure Pertaining to the Repeated Experiment
    197 -- 209Thomas G. McLaughlin. Some Extension and Rearrangement Theorems For Nerode Semirings
    211 -- 224Sherrie J. Nicol. Continuous and Exact Sets of Specified Cardinality
    225 -- 227Stanley Burris. Decidable Model Companions
    229 -- 236Hanamantagouda P. Sankappanavar. Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences
    237 -- 246Rodney G. Downey, Michael F. Moses. On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders
    247 -- 260Dick De Jongh, Franco Montagna. Much Shorter Proofs
    261 -- 268Stefano Baratella. On Some Properties of Recursively Enumerable Equivalence Relations
    269 -- 271Peter Zahn. Supplements to "A Predicative Approach to Nonstandard Mathematics"
    273 -- 282Reinhard Pöschel. The Equational Logic For Graph Algebras
    283 -- 288Ingo Bandlow. A Note on Applications of the Löwenheim-Skolem-Theorem in General Topology

    Volume 35, Issue 2

    97 -- 130Andrea Cantini. Notes on Formal Theories of Truth
    131 -- 136Yehuda Rav. Lattice Theoretical Equivalences of the Ultrafilter Principle
    137 -- 153Michael Deutsch. ∞ (0, 1) Mit Einer Anwendung Auf Die Spektrale Darstellung Von Prädikaten
    155 -- 168Peter Zahn. A Meaningful Mathematical First Order Language: Partial Peano Algebras and Rule Systems
    169 -- 182Michel Hébert. Preservation and Interpolation Through Binary Relations Between Theories
    183 -- 184Daniel Abraham Romano. Construction of a Coideal of a Ring Compatible with a Principal Ideal
    185 -- 186Thomjas Bedürftig. Another Characterization of the Natural Numbers
    187 -- 192Helmut Wolter. Orderings in Exponential Fields of Term Defined Functions

    Volume 35, Issue 1

    3 -- 14Peter A. Fejer. 2 Degrees
    15 -- 21Néstor G. Martínez. Elimination of Quantifiers on Łukasiewicz Logics
    23 -- 28Carlo Toffalori. 0-Categorical Lattice-Ordered Structures
    29 -- 43Douglas S. Bridges, William Julian, Ray Mines. A Constructive Treatment of Open and Unopen Mapping Theorems
    45 -- 48Marcin Mostowski. Pure Logic with Branched Quantifiers
    49 -- 62Loredana Biacino, Giangiacomo Gerla. L-Subsets
    63 -- 70Roland Hinnion. Embedding Properties and Anti-Foundation in Set Theory
    71 -- 77Alexander Leitsch. On Different Concepts of Resolution
    79 -- 94Andrzej Orlicki. Covariant Hom-Functors on the Category of Enumerated Sets
    95 -- 0Andrzej Orlicki. Correction to "Strong Reducibilities of Enumerations and Partial Enumerated Algebras"
    runs on