- Mohsen Nourany, Shokoofeh Ghorbani
, Arsham Borumand Saeid:
On self-distributive weak Heyting algebras. Math. Log. Q. 69(2): 192-206 (2023) - Supakun Panasawatwong
, Pimpen Vejjajiva
:
The permutations with n non-fixed points and the subsets with n elements of a set. Math. Log. Q. 69(3): 341-346 (2023) - Liviu Paunescu, Andrei Sipos
:
A proof-theoretic metatheorem for tracial von Neumann algebras. Math. Log. Q. 69(1): 63-76 (2023) - Adam Prenosil:
Logics of upsets of De Morgan lattices. Math. Log. Q. 69(4): 419-445 (2023) - Xianglong Ruan
, Xiaochuan Liu:
A categorical equivalence between logical quantale modules and quantum B-modules. Math. Log. Q. 69(4): 446-459 (2023) - Johannes Philipp Schürz:
The cofinality of the strong measure zero ideal for κ inaccessible. Math. Log. Q. 69(1): 31-39 (2023) - Noah Schweber
:
Avoiding Medvedev reductions inside a linear order. Math. Log. Q. 69(2): 165-173 (2023) - Saharon Shelah
:
Nice ℵ1 generated non-P-points, Part I. Math. Log. Q. 69(1): 117-129 (2023) - Guozhen Shen:
The power set and the set of permutations with finitely many non-fixed points of a set. Math. Log. Q. 69(1): 40-45 (2023) - Guozhen Shen
:
On a cardinal inequality in ZF $\mathsf {ZF}$. Math. Log. Q. 69(4): 417-418 (2023) - Daoud Siniora
:
Bowtie-free graphs and generic automorphisms. Math. Log. Q. 69(2): 221-230 (2023) - Jouko Väänänen, Philip D. Welch
:
When cardinals determine the power set: inner models and Härtig quantifier logic. Math. Log. Q. 69(4): 460-471 (2023) - Teng Zhang
:
Incomparable V γ $V_\gamma$ -degrees. Math. Log. Q. 69(1): 58-62 (2023) - 2022
- Athar Abdul-Quader
, James H. Schmerl:
CP-generic expansions of models of Peano Arithmetic. Math. Log. Q. 68(2): 171-177 (2022) - Arthur W. Apter
:
Controlling the number of normal measures at successor cardinals. Math. Log. Q. 68(3): 304-309 (2022) - Nikolay Bazhenov
, Manat Mustafa
, Zhansaya Tleuliyeva:
Rogers semilattices of limitwise monotonic numberings. Math. Log. Q. 68(2): 213-226 (2022) - Nikolay Bazhenov
, Hsing-chien Tsai:
On the effective universality of mereological theories. Math. Log. Q. 68(1): 48-66 (2022) - Fabiana Castiblanco, Ralf Schindler
:
When is a real generic over L? Math. Log. Q. 68(1): 27-31 (2022) - Raffaella Cutolo
, Joel David Hamkins:
Choiceless large cardinals and set-theoretic potentialism. Math. Log. Q. 68(4): 409-415 (2022) - François G. Dorais
, Dan Hathaway
:
Bounding 2d functions by products of 1d functions. Math. Log. Q. 68(2): 202-212 (2022) - Bob A. Dumas
:
Gap-2 morass-definable η1-orderings. Math. Log. Q. 68(2): 227-242 (2022) - Pantelis E. Eleftheriou
:
Product cones in dense pairs. Math. Log. Q. 68(3): 279-287 (2022) - Marat Kh. Faizrahmanov
:
Extremal numberings and fixed point theorems. Math. Log. Q. 68(4): 398-408 (2022) - Miklós Ferenczi
:
On the algebraization of Henkin-type second-order logic. Math. Log. Q. 68(2): 149-158 (2022) - Masato Fujita
, Tomohiro Kawakami, Wataru Komine:
Tameness of definably complete locally o-minimal structures and definable bounded multiplication. Math. Log. Q. 68(4): 496-515 (2022) - Makoto Fujiwara
, Taishi Kurahashi
:
Refining the arithmetical hierarchy of classical principles. Math. Log. Q. 68(3): 318-345 (2022) - Luciano J. González:
On the logic of distributive nearlattices. Math. Log. Q. 68(3): 375-385 (2022) - Evan Goris, Marta Bílková
, Joost J. Joosten
, Luka Mikec
:
Theory and application of labelling techniques for interpretability logics. Math. Log. Q. 68(3): 352-374 (2022) - Jørgen Harmse
:
Algebraic completion without the axiom of choice. Math. Log. Q. 68(4): 394-397 (2022) - Harold T. Hodes
:
Cut-conditions on sets of multiple-alternative inferences. Math. Log. Q. 68(1): 95-106 (2022)