Math. Log. Q.

Keyphrases

Publications

volume 69, number 1, 2023

Liviu Paunescu, Andrei Sipos
A proof-theoretic metatheorem for tracial von Neumann algebras. Math. Log. Q. 69 (1) (2023)
Teng Zhang
Incomparable V γ $V_\gamma$ -degrees. Math. Log. Q. 69 (1) (2023)
Giorgio Laguzzi, Heike Mildenberger, Brendan Stuber-Rousselle
On splitting trees. Math. Log. Q. 69 (1) (2023)
Johannes Philipp Schürz
The cofinality of the strong measure zero ideal for κ inaccessible. Math. Log. Q. 69 (1) (2023)
Ömer Faruk Bag, Vera Fischer
Strongly unfoldable, splitting and bounding. Math. Log. Q. 69 (1) (2023)
Martin Hils, Rosario Mennuni
Some definable types that cannot be amalgamated. Math. Log. Q. 69 (1) (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) (2023)
Borisa Kuzeljevic, Stevo Todorcevic
. Math. Log. Q. 69 (1) (2023)
Will Johnson
-adically closed fields. Math. Log. Q. 69 (1) (2023)
Zachiri McKenzie
The subset relation and 2-stratified sentences in set theory and class theory. Math. Log. Q. 69 (1) (2023)
Masato Fujita
Decomposition into special submanifolds. Math. Log. Q. 69 (1) (2023)
Saharon Shelah
generated non-P-points, Part I. Math. Log. Q. 69 (1) (2023)

volume 69, number 2, 2023

Joseph McDonald, Katalin Bimbó
Topological duality for orthomodular lattices. Math. Log. Q. 69 (2) (2023)
Alfred Dolich, John Goodrick
Topological properties of definable sets in ordered Abelian groups of burden 2. Math. Log. Q. 69 (2) (2023)
Mohsen Nourany, Shokoofeh Ghorbani, Arsham Borumand Saeid
On self-distributive weak Heyting algebras. Math. Log. Q. 69 (2) (2023)
Daoud Siniora
Bowtie-free graphs and generic automorphisms. Math. Log. Q. 69 (2) (2023)
Sebastijan Horvat, Tin Perkov, Mladen Vukovic
Bisimulations and bisimulation games between Verbrugge models. Math. Log. Q. 69 (2) (2023)
Noah Schweber
Avoiding Medvedev reductions inside a linear order. Math. Log. Q. 69 (2) (2023)
David B. Bradley-Williams, Immanuel Halupczok
Spherically complete models of Hensel minimal valued fields. Math. Log. Q. 69 (2) (2023)
Sergio A. Celani, Hernán Javier San Martín
On the variety of strong subresiduated lattices. Math. Log. Q. 69 (2) (2023)
Emil Jerábek
Models of VTC 0 $\mathsf {VTC^0}$ as exponential integer parts. Math. Log. Q. 69 (2) (2023)

volume 69, number 3, 2023

volume 69, number 4, 2023

volume 68, number 3, 2022

volume 68, number 4, 2022

Masato Fujita, Tomohiro Kawakami, Wataru Komine
Tameness of definably complete locally o-minimal structures and definable bounded multiplication. Math. Log. Q. 68 (4) (2022)
Jørgen Harmse
Algebraic completion without the axiom of choice. Math. Log. Q. 68 (4) (2022)
Angelina Ilic-Stepic, Mateja Knezevic, Zoran Ognjanovic
Intuitionistic propositional probability logic. Math. Log. Q. 68 (4) (2022)
Raffaella Cutolo, Joel David Hamkins
Choiceless large cardinals and set-theoretic potentialism. Math. Log. Q. 68 (4) (2022)
Adi Jarden, Ziv Shami
A note on edge colorings and trees. Math. Log. Q. 68 (4) (2022)
Pierre Matet
Piece selection and cardinal arithmetic. Math. Log. Q. 68 (4) (2022)
Marat Kh. Faizrahmanov
Extremal numberings and fixed point theorems. Math. Log. Q. 68 (4) (2022)
Gábor Sági
Automorphism invariant measures and weakly generic automorphisms. Math. Log. Q. 68 (4) (2022)