Year:

  1.  6
    A Fixed Point Theory Over Stratified Truth.Andrea Cantini - 2020 - Mathematical Logic Quarterly 66 (4):380-394.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  3
    A Note on Chain‐Based Semi‐Heyting Algebras.Juan Manuel Cornejo, Luiz F. Monteiro, Hanamantagouda P. Sankappanavar & Ignacio D. Viglizzo - 2020 - Mathematical Logic Quarterly 66 (4):409-417.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  3
    Agreement Reducibility.Rachel Epstein & Karen Lange - 2020 - Mathematical Logic Quarterly 66 (4):448-465.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  3
    What is Effective Transfinite Recursion in Reverse Mathematics?Anton Freund - 2020 - Mathematical Logic Quarterly 66 (4):479-483.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  2
    Special Subsets of the Generalized Cantor Space and Generalized Baire Space.Michał Korch & Tomasz Weiss - 2020 - Mathematical Logic Quarterly 66 (4):418-437.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  2
    On Universal Modules with Pure Embeddings.Thomas G. Kucera & Marcos Mazari-Armida - 2020 - Mathematical Logic Quarterly 66 (4):395-408.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  2
    Surjectively Rigid Chains.Mayra Montalvo-Ballesteros & John K. Truss - 2020 - Mathematical Logic Quarterly 66 (4):466-478.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    Decidable Variables for Constructive Logics.Satoru Niki - 2020 - Mathematical Logic Quarterly 66 (4):484-493.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  4
    On the Completeness and the Decidability of Strictly Monadic Second‐Order Logic.Kento Takagi & Ryo Kashima - 2020 - Mathematical Logic Quarterly 66 (4):438-447.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Remarks on Gitik's Model and Symmetric Extensions on Products of the Lévy Collapse.Amitayu Banerjee - 2020 - Mathematical Logic Quarterly 66 (3):259-279.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    Word Problems and Ceers.Valentino Delle Rose, Luca San Mauro & Andrea Sorbi - 2020 - Mathematical Logic Quarterly 66 (3):341-354.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  3
    A Note on Ordinal Exponentiation and Derivatives of Normal Functions.Anton Freund - 2020 - Mathematical Logic Quarterly 66 (3):326-335.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  2
    Strategic Equivalence Among Hat Puzzles of Various Protocols with Many Colors.Masaru Kada & Souji Shizuma - 2020 - Mathematical Logic Quarterly 66 (3):295-299.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  4
    Existential Definability of Modal Frame Classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  1
    A Note on the Finitization of Abelian and Tauberian Theorems.Thomas Powell - 2020 - Mathematical Logic Quarterly 66 (3):300-310.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  3
    A Note on the Non‐Forking‐Instances Topology.Ziv Shami - 2020 - Mathematical Logic Quarterly 66 (3):336-340.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  1
    The Hanf Number in the Strictly Stable Case.Saharon Shelah - 2020 - Mathematical Logic Quarterly 66 (3):280-294.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  1
    Independent Families of Functions and Permutations.Nattapon Sonpanow & Pimpen Vejjajiva - 2020 - Mathematical Logic Quarterly 66 (3):311-315.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  3
    Nonstandard Methods for Finite Structures.Akito Tsuboi - 2020 - Mathematical Logic Quarterly 66 (3):367-372.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  4
    Russell's Typicality as Another Randomness Notion.Athanassios Tzouvaras - 2020 - Mathematical Logic Quarterly 66 (3):355-365.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  4
    The Classification of Countable Models of Set Theory.John Clemens, Samuel Coskey & Samuel Dworetzky - 2020 - Mathematical Logic Quarterly 66 (2):182-189.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  3
    The Choice Property in Tame Expansions of o‐Minimal Structures.Pantelis E. Eleftheriou, Ayhan Günaydın & Philipp Hieronymi - 2020 - Mathematical Logic Quarterly 66 (2):239-246.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  2
    On a Strengthening of Jónssonness for ℵω.Monroe Eskew - 2020 - Mathematical Logic Quarterly 66 (2):235-238.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  3
    Turing Invariant Sets and the Perfect Set Property.Clovis Hamel, Haim Horowitz & Saharon Shelah - 2020 - Mathematical Logic Quarterly 66 (2):247-250.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  4
    Stability, the NIP, and the NSOP: Model Theoretic Properties of Formulas Via Topological Properties of Function Spaces.Karim Khanaki - 2020 - Mathematical Logic Quarterly 66 (2):136-149.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  5
    More on Trees and Cohen Reals.Giorgio Laguzzi & Brendan Stuber‐Rousselle - 2020 - Mathematical Logic Quarterly 66 (2):173-181.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  2
    Singly Generated Quasivarieties and Residuated Structures.Tommaso Moraschini, James G. Raftery & Johann J. Wannenburg - 2020 - Mathematical Logic Quarterly 66 (2):150-172.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  3
    The Cichoń Diagram for Degrees of Relative Constructibility.Corey Bacal Switzer - 2020 - Mathematical Logic Quarterly 66 (2):217-234.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  2
    A Game‐Theoretic Proof of Shelah's Theorem on Labeled Trees.Trevor M. Wilson - 2020 - Mathematical Logic Quarterly 66 (2):190-194.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  3
    Orders on Computable Rings.Huishan Wu - 2020 - Mathematical Logic Quarterly 66 (2):126-135.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    Axiomatizing First Order Consequences in Inclusion Logic.Fan Yang - 2020 - Mathematical Logic Quarterly 66 (2):195-216.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  4
    On Weak Square, Approachability, the Tree Property, and Failures of SCH in a Choiceless Context.Arthur W. Apter - 2020 - Mathematical Logic Quarterly 66 (1):115-120.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  7
    A Two‐Dimensional Metric Temporal Logic.Stefano Baratella & Andrea Masini - 2020 - Mathematical Logic Quarterly 66 (1):7-19.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  2
    Lowness for Isomorphism, Countable Ideals, and Computable Traceability.Johanna N. Y. Franklin & Reed Solomon - 2020 - Mathematical Logic Quarterly 66 (1):104-114.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  5
    The Torsion‐Free Part of the Ziegler Spectrum of Orders Over Dedekind Domains.Lorna Gregory, Sonia L'Innocente & Carlo Toffalori - 2020 - Mathematical Logic Quarterly 66 (1):20-36.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  4
    Computability of Graphs.Zvonko Iljazović - 2020 - Mathematical Logic Quarterly 66 (1):51-64.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  4
    Expansions of the P ‐Adic Numbers That Interpret the Ring of Integers.Nathanaël Mariaule - 2020 - Mathematical Logic Quarterly 66 (1):82-90.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  3
    New Substitution Bases for Complexity Classes.Stefano Mazzanti - 2020 - Mathematical Logic Quarterly 66 (1):37-50.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  3
    On the Herbrand Functional Interpretation.Paulo Oliva & Chuangjie Xu - 2020 - Mathematical Logic Quarterly 66 (1):91-98.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  2
    Cohen Forcing and Inner Models.Jonas Reitz - 2020 - Mathematical Logic Quarterly 66 (1):65-72.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  1
    Local Weak Presaturation of the Strongly Non‐Stationary Ideal.Masahiro Shioya & Naoki Yamaura - 2020 - Mathematical Logic Quarterly 66 (1):99-103.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  1
    On P ‐Adic Semi‐Algebraic Continuous Selections.Athipat Thamrongthanyalak - 2020 - Mathematical Logic Quarterly 66 (1):73-81.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues