Mathematical Logic Quarterly

Article	Citations
Cover Picture	12
Topological duality for orthomodular lattices	4
The theory of hereditarily bounded sets	4
Cover Picture	4
When is a real generic over L?	3
	3
Infinite Wordle and the mastermind numbers	3
The permutations with n non‐fixed points and the subsets with n elements of a set	3
Issue Information	2
Infinitary logic with infinite sequents: syntactic investigations	2
Normalizing notations in the Ershov hierarchy	2
Contents: (Math. Log. Quart. 2/2023)	2
On height of group trees on tame abelian product groups	2
Rogers semilattices of limitwise monotonic numberings	2
Strong Ambiguity	2
Theory and application of labelling techniques for interpretability logics	2
Bernoulli randomness and Bernoulli normality	2
On self‐distributive weak Heyting algebras	2
The profinite topology of free groups and weakly generic tuples of automorphisms	1
Cover Picture	1
A dichotomy for T$T$‐convex fields with a monomial group	1
Strongly unfoldable, splitting and bounding	1
Cover Picture	1
A classification of low c.e. sets and the Ershov hierarchy	1
On bQ1$bQ_1$‐degrees of c.e. sets	1

Product cones in dense pairs	1
An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics	1
Piece selection and cardinal arithmetic	1
Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c.	1
Incomparable Vγ$V_\gamma$‐degrees	1
Good points for scales (and more)	1
A generalisation of Läuchli's lemma	1
Contents: (Math. Log. Quart. 1/2022)	1
Approximate isomorphism of metric structures	1
Examples of weak amalgamation classes	1
Topological properties of definable sets in ordered Abelian groups of burden 2	1
Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups	1
Choiceless large cardinals and set‐theoretic potentialism	1
Forcing revisited	1
Some structural similarities between uncountable sets, powersets and the universe	1
Extremal numberings and fixed point theorems	1
Issue Information	1
A weak theory of building blocks	1
A property of forcing notions and preservation of cardinal invariants	1
Choice principles in local mantles	1
Expansions of real closed fields with the Banach fixed point property	1
Cover Picture	1
Mycielski among trees	1
Gap‐2 morass‐definable η1‐orderings	1
A note on the cardinality of definable families of sets in o‐minimal structures	1
Bounding 2d functions by products of 1d functions	0
Issue Information	0
A categorical equivalence between logical quantale modules and quantum B‐modules	0
Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers	0
Contents: (Math. Log. Quart. 1/2023)	0
Cover Picture	0
Some basic thoughts on the cofinalities of Chang structures with an application to forcing	0
Issue Information	0
On the effective universality of mereological theories	0
Refining the arithmetical hierarchy of classical principles	0
Issue Information	0
	0
On collection schemes and Gaifman's splitting theorem	0
Logics of upsets of De Morgan lattices	0
On a cardinal inequality in ZF$\mathsf {ZF}$	0
Perfectly normal nonrealcompact spaces under Martin's Maximum	0
Compactness in team semantics	0
Decidable quasivarieties of p‐algebras	0
Cover Picture	0
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$	0
The cofinality of the strong measure zero ideal for κ inaccessible	0
	0
Issue Information	0
Nice ℵ1 generated non‐P‐points, Part I	0
	0

Contents: (Math. Log. Quart. 3/2023)	0
Limit models in strictly stable abstract elementary classes	0
A note on fsg$\text{fsg}$ groups in p‐adically closed fields	0
Adding a constant and an axiom to a doctrine	0
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem	0
Issue Information	0
On the algebraization of Henkin‐type second‐order logic	0
Effectiveness of Walker's cancellation theorem	0
Cover Picture	0
Hilbert's tenth problem for lacunary entire functions of finite order	0
Determinacy and regularity properties for idealized forcings	0
Apartness relations between propositions	0
	0
Borel complexity and Ramsey largeness of sets of oracles separating complexity classes	0
Cover Picture	0
Issue Information	0
On the dependent product in toposes	0
Cofinal types on ω2	0
On splitting trees	0
	0
Some definable types that cannot be amalgamated	0
Formal model theory and higher topology	0
Uniformly locally o‐minimal open core	0
Decomposition into special submanifolds	0
The algebraic significance of weak excluded middle laws	0
Contents: (Math. Log. Quart. 3/2021)	0
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis	0
Algebraic completion without the axiom of choice	0
Strongly NIP almost real closed fields	0
The set of injections and the set of surjections on a set	0
Weakly and locally positive Robinson theories	0
The power set and the set of permutations with finitely many non‐fixed points of a set	0
The Hartogs–Lindenbaum spectrum of symmetric extensions	0
Avoiding Medvedev reductions inside a linear order	0
	0
Issue Information	0
Contents: (Math. Log. Quart. 4/2023)	0
A note on edge colorings and trees	0
Effective aspects of Jacobson radicals of rings	0
Quantum B‐modules	0
	0
Filter‐Menger set of reals in Cohen extensions	0
	0
Contents: (Math. Log. Quart. 2/2024)	0
ℵ0‐categorical Banach spaces contain ℓp or c0	0
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$	0
Bowtie‐free graphs and generic automorphisms	0
	0
Contents: (Math. Log. Quart. 4/2021)	0
The persistence principle over weak interpretability logic	0
Issue Information	0
Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin no. 24	0
Omitting types algebraically and more about amalgamation for modal cylindric algebras	0
The subset relation and 2‐stratified sentences in set theory and class theory	0
	0
	0
On the implicative‐infimum subreducts of weak Heyting algebras	0
Controlling the number of normal measures at successor cardinals	0
When cardinals determine the power set: inner models and Härtig quantifier logic	0
Weakly binary expansions of dense meet‐trees	0
A proof‐theoretic metatheorem for tracial von Neumann algebras	0
κ‐Madness and definability	0
Issue Information	0
	0
Cut‐conditions on sets of multiple‐alternative inferences	0
Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$	0
Intuitionistic propositional probability logic	0
Expansions of Presburger arithmetic with the exchange property	0
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts	0
On the logic of distributive nearlattices	0
Bisimulations and bisimulation games between Verbrugge models	0
Pathological examples of structures with o‐minimal open core	0
On dense, locally finite subgroups of the automorphism group of certain homogeneous structures	0
Random graph coloring and the instability	0
Spherically complete models of Hensel minimal valued fields	0
Generic expansion of an abelian variety by a subgroup	0
Issue Information	0
	0
MA(ℵ0) restricted to complete Boolean algebras and choice	0
Paradoxical decompositions of free F2$F_2$‐sets and the Hahn‐Banach axiom	0

	0
Issue Information	0
	0
Issue Information	0
Contents: (Math. Log. Quart. 3/2022)	0
Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$”, https://doi.org/10.1002/malq.202300024	0
Adding highly generic subsets of ω2$\omega _2$	0
Cover Picture	0
On Hausdorff operators in ZF$\mathsf {ZF}$	0
A class of higher inductive types in Zermelo‐Fraenkel set theory	0
Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$	0
CP‐generic expansions of models of Peano Arithmetic	0
On the variety of strong subresiduated lattices	0
Contents: (Math. Log. Quart. 2/2022)	0
Contents: (Math. Log. Quart. 1/2024)	0
Contents: (Math. Log. Quart. 4/2022)	0
Issue Information	0
Interpreting the weak monadic second order theory of the ordered rationals	0
Pregeometry over locally o‐minimal structures and dimension	0
Sequential topologies and Dedekind finite sets	0
Tameness of definably complete locally o‐minimal structures and definable bounded multiplication	0
An effectively closed set with no join property*	0
Automorphism invariant measures and weakly generic automorphisms	0