- The set of injections and the set of surjections on a set
- Effectiveness of Walker’s cancellation theorem
- Good points for scales (and more)
- 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
- Wadge degrees of Δ20$mathbf{Delta }^0_2$ omega‐powers
- Contents: (Math. Log. Quart. 2/2024)
- Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups
- The Hartogs–Lindenbaum spectrum of symmetric extensions
- Filter‐Menger set of reals in Cohen extensions
- Expansions of real closed fields with the Banach fixed point property
- On the implicative‐infimum subreducts of weak Heyting algebras
- Hilbert’s tenth problem for lacunary entire functions of finite order
- Implications of Ramsey Choice principles in ZF$mathsf {ZF}$
- On dense, locally finite subgroups of the automorphism group of certain homogeneous structures
- A generalisation of Läuchli’s lemma
- Contents: (Math. Log. Quart. 1/2024)
- 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
- Adding highly generic subsets of ω2$omega _2$
- Formal model theory and higher topology
- Compactness in team semantics
- A weak theory of building blocks
- Infinitary logic with infinite sequents: syntactic investigations
- A property of forcing notions and preservation of cardinal invariants
- Contents: (Math. Log. Quart. 4/2023)
- A dichotomy for T‐convex fields with a monomial group
- On bQ1$bQ_1$‐degrees of c.e. sets
- The persistence principle over weak interpretability logic
- Infinite Wordle and the mastermind numbers
- When cardinals determine the power set: inner models and Härtig quantifier logic
- A classification of low c.e. sets and the Ershov hierarchy
- Approximate isomorphism of metric structures
- Pregeometry over locally o‐minimal structures and dimension
- Contents: (Math. Log. Quart. 3/2023)
- Contents: (Math. Log. Quart. 2/2023)
- On a cardinal inequality in ZF$mathsf {ZF}$
- The permutations with n non‐fixed points and the subsets with n elements of a set
- Bisimulations and bisimulation games between Verbrugge models
- Borel complexity and Ramsey largeness of sets of oracles separating complexity classes
- On self‐distributive weak Heyting algebras
- Models of VTC0$mathsf {VTC^0}$ as exponential integer parts
- Forcing revisited
- Logics of upsets of De Morgan lattices
- Spherically complete models of Hensel minimal valued fields
- Bowtie‐free graphs and generic automorphisms
- Avoiding Medvedev reductions inside a linear order
- On Hausdorff operators in ZF$mathsf {ZF}$
- Coding of real‐valued continuous functions under WKL$mathsf {WKL}$
- Topological duality for orthomodular lattices
- A categorical equivalence between logical quantale modules and quantum B‐modules
- Topological properties of definable sets in ordered Abelian groups of burden 2
- On the variety of strong subresiduated lattices
- Contents: (Math. Log. Quart. 1/2023)
- Cofinal types on ω2
- Nice ℵ1 generated non‐P‐points, Part I
- A proof‐theoretic metatheorem for tracial von Neumann algebras
- The cofinality of the strong measure zero ideal for κ inaccessible
- Some definable types that cannot be amalgamated
- The subset relation and 2‐stratified sentences in set theory and class theory
- On splitting trees
- Incomparable Vγ$V_gamma$‐degrees
- Strongly unfoldable, splitting and bounding
- A note on fsg$text{fsg}$ groups in p‐adically closed fields
- Decomposition into special submanifolds
- The power set and the set of permutations with finitely many non‐fixed points of a set
- Contents: (Math. Log. Quart. 4/2022)
- Piece selection and cardinal arithmetic
- Intuitionistic propositional probability logic
- Automorphism invariant measures and weakly generic automorphisms
- Tameness of definably complete locally o‐minimal structures and definable bounded multiplication
- A note on edge colorings and trees
- Extremal numberings and fixed point theorems
- Contents: (Math. Log. Quart. 3/2022)
- Algebraic completion without the axiom of choice
- Theory and application of labelling techniques for interpretability logics
- Choiceless large cardinals and set‐theoretic potentialism
- On the logic of distributive nearlattices
- κ‐Madness and definability
- Refining the arithmetical hierarchy of classical principles
- Choice principles in local mantles
- Some model theory of Th(N,·)$operatorname{Th}(mathbb {N},cdot )$
- Controlling the number of normal measures at successor cardinals
- Determinacy and regularity properties for idealized forcings
- Contents: (Math. Log. Quart. 2/2022)
- Gap‐2 morass‐definable η1‐orderings
- The theory of hereditarily bounded sets
- Bounding 2d functions by products of 1d functions
- Rogers semilattices of limitwise monotonic numberings
- Some structural similarities between uncountable sets, powersets and the universe
- An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics
- Quantum B‐modules
- Examples of weak amalgamation classes
- CP‐generic expansions of models of Peano Arithmetic
- Contents: (Math. Log. Quart. 1/2022)
- On the algebraization of Henkin‐type second‐order logic
- Forcing axioms for λ‐complete μ+$mu ^+$‐c.c.
- Cut‐conditions on sets of multiple‐alternative inferences
- The algebraic significance of weak excluded middle laws
- Strong Ambiguity
- A class of higher inductive types in Zermelo‐Fraenkel set theory
- Product cones in dense pairs
- Sequential topologies and Dedekind finite sets
- Contents: (Math. Log. Quart. 4/2021)
- Interpreting the weak monadic second order theory of the ordered rationals
- On the effective universality of mereological theories
- Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś’s theorem
- Normalizing notations in the Ershov hierarchy
- Effective aspects of Jacobson radicals of rings
- MA(ℵ0) restricted to complete Boolean algebras and choice
- ℵ0‐categorical Banach spaces contain ℓp or c0
- When is a real generic over L?
- Weakly binary expansions of dense meet‐trees
- The profinite topology of free groups and weakly generic tuples of automorphisms
- Generic expansion of an abelian variety by a subgroup
- Remarks on infinite factorials and cardinal subtraction in ZF
- Uniformly locally o‐minimal open core
- Contents: (Math. Log. Quart. 3/2021)
- Expansions of Presburger arithmetic with the exchange property
- Weakly and locally positive Robinson theories
- On the dependent product in toposes
- Mycielski among trees
- Strongly NIP almost real closed fields
- An effectively closed set with no join property*
- Bernoulli randomness and Bernoulli normality
- Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
- Omitting types algebraically and more about amalgamation for modal cylindric algebras
- On height of group trees on tame abelian product groups
- Pathological examples of structures with o‐minimal open core
- Some basic thoughts on the cofinalities of Chang structures with an application to forcing
- Contents: (Math. Log. Quart. 2/2021)
- Modal completeness of sublogics of the interpretability logic IL
- König’s lemma, weak König’s lemma, and the decidable fan theorem
- Unbounded actions of metric groups and continuous logic
- Bounded finite set theory
- The Suszko operator relative to truth‐equational logics
- The finite subsets and the permutations with finitely many non‐fixed points of a set
- A note on an alternative Gentzenization of RW+∘
- The isomorphism theorem for linear fragments of continuous logic
- Contents: (Math. Log. Quart. 1/2021)
- Meeting numbers and pseudopowers
- r‐Maximal sets and Q1,N‐reducibility
- Evolving Shelah‐Spencer graphs
- Atomic saturation of reduced powers
- Decidable fan theorem and uniform continuity theorem with continuous moduli
- More about divisibility in βN
- Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability
- First‐order undefinability of the notion of transfinitely uplifting cardinals
- Varieties of pseudocomplemented Kleene algebras
- Contents: (Math. Log. Quart. 4/2020)
- Special subsets of the generalized Cantor space and generalized Baire space
- What is effective transfinite recursion in reverse mathematics?
- Decidable variables for constructive logics
- A note on chain‐based semi‐Heyting algebras
- On universal modules with pure embeddings
- Agreement reducibility
- On the completeness and the decidability of strictly monadic second‐order logic
- A fixed point theory over stratified truth
- Surjectively rigid chains
- Remarks on Gitik’s model and symmetric extensions on products of the Lévy collapse
- Editorial correction for A. Tzouvaras, “Russell’s typicality as another randomness notion”
- Contents: (Math. Log. Quart. 3/2020)
- Editorial correction for A. Tzouvaras, “Russell’s typicality as another randomness notion”
- Remarks on Gitik’s model and symmetric extensions on products of the Lévy collapse
- The Hanf number in the strictly stable case
- Word problems and ceers
- A note on the non‐forking‐instances topology
- A note on ordinal exponentiation and derivatives of normal functions
- A note on the finitization of Abelian and Tauberian theorems
- Russell’s typicality as another randomness notion
- Existential definability of modal frame classes
- Nonstandard methods for finite structures
- Strategic equivalence among hat puzzles of various protocols with many colors
- Independent families of functions and permutations
- Contents: (Math. Log. Quart. 2/2020)
- Orders on computable rings
- More on trees and Cohen reals
- Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces
- The classification of countable models of set theory
- The choice property in tame expansions of o‐minimal structures
- The Cichoń diagram for degrees of relative constructibility
- Axiomatizing first order consequences in inclusion logic
- Singly generated quasivarieties and residuated structures
- A game‐theoretic proof of Shelah’s theorem on labeled trees
- On a strengthening of Jónssonness for ℵω
- Turing invariant sets and the perfect set property
- Contents: (Math. Log. Quart. 1/2020)
- The torsion‐free part of the Ziegler spectrum of orders over Dedekind domains
- Computability of graphs
- On weak square, approachability, the tree property, and failures of SCH in a choiceless context
- Lowness for isomorphism, countable ideals, and computable traceability
- On the Herbrand functional interpretation
- Local weak presaturation of the strongly non‐stationary ideal
- Expansions of the p‐adic numbers that interpret the ring of integers
- Cohen forcing and inner models
- On p‐adic semi‐algebraic continuous selections
- Contents: (Math. Log. Quart. 12/2019)
- A two‐dimensional metric temporal logic
- New substitution bases for complexity classes
- Inner mantles and iterated HOD
- The small‐is‐very‐small principle
- Ultrafilter extensions do not preserve elementary equivalence
- Complete Lω1,ω‐sentences with maximal models in multiple cardinalities
- When does every definable nonempty set have a definable element?
- Concrete barriers to quantifier elimination in finite dimensional C*‐algebras
- Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups
- Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin No. 23
- Generalised pseudointersections
- Contents: (Math. Log. Quart. 3/2019)
- Łoś’s theorem and the axiom of choice
- Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets
- Π11‐Martin‐Löf randomness and Π11‐Solovay completeness
- The axiom of determinacy implies dependent choice in mice
- Degrees of categoricity of trees and the isomorphism problem
- Nonstandard characterisations of tensor products and monads in the theory of ultrafilters
- Definable topological dynamics for trigonalizable algebraic groups over Qp
- On definability of types and relative stability
- Łoś’s theorem and the axiom of choice
- Contents: (Math. Log. Quart. 2/2019)
- Parametric Presburger arithmetic: complexity of counting and quantifier elimination
- Injective tests of low complexity in the plane
- Bi‐embeddability spectra and bases of spectra
- On unstable and unoptimal prediction
- Souslin trees at successors of regular cardinals
- On cardinal characteristics of Yorioka ideals
- A variant of Shelah’s characterization of Strong Chang’s Conjecture
- Hall’s universal group has ample generic automorphisms
- Neutrally expandable models of arithmetic
- Contents: (Math. Log. Quart. 1/2019)
- Indivisible sets and well‐founded orientations of the Rado graph
- The cofinality of the least Berkeley cardinal and the extent of dependent choice
- The first omitting cardinal for Magidority
- Factorials and the finite sequences of sets
- Distal and non‐distal behavior in pairs
- Rigid models of Presburger arithmetic
- Reductions on equivalence relations generated by universal sets
- Jump inversions of algebraic structures and Σ‐definability
- An intuitionistic formula hierarchy based on high‐school identities
- Algebraic numbers with elements of small height
- On the relative strengths of fragments of collection
- Some forms of excluded middle for linear orders
- Contents: (Math. Log. Quart. 6/2018)
- Subcomplete forcing principles and definable well‐orders
- Some transfinite natural sums
- Which subsets of an infinite random graph look random?
- Categoricity and universal classes
- Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space
- Contents: (Math. Log. Quart. 4‐5/2018)
- Short refutations for an equivalence‐chain principle for constant‐depth formulas
- A remark on pseudo proof systems and hard instances of the satisfiability problem
- Remarks on the NIP in a model
- Relations between cardinalities of the finite sequences and the finite subsets of a set
- The gap‐two cardinal problem for uncountable languages
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach
- Scales with various kinds of good points
- Spectra and satisfiability for logics with successor and a unary function
- New combinatorial principle on singular cardinals and normal ideals
- Universal and complete sets in martingale theory
- Connectedness of the continuum in intuitionistic mathematics
- A large list of small cardinal characteristics of Boolean algebras
- Contents: (Math. Log. Quart. 3/2018)
- Maximality of linear continuous logic
- Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
- On elimination of quantifiers in some non‐classical mathematical theories
- On differential Galois groups of strongly normal extensions
- Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension
- Measurable cardinals and good ‐wellorderings
- Formally continuous functions on Baire space
- Bounded Namba forcing axiom may fail
- Some properties of infinite factorials
- A note on sequences witnessing singularity, following Magidor and Sinapova
- A note on decidability of variables in intuitionistic propositional logic
- A note on the deductive strength of the Nielsen‐Schreier theorem
- Contents: (Math. Log. Quart. 1‐2/2018)
- Clubs on quasi measurable cardinals
- On the finite axiomatizability of
- Shelah’s eventual categoricity conjecture in tame abstract elementary classes with primes
- Bishop’s Lemma
- Normal forms, linearity, and prime algebraicity over nonflat domains
- Two new equivalents of Lindelöf metric spaces
- On the universality of the nonstationary ideal
- The tree property and the continuum function below
- Generic at
- Contents: (Math. Log. Quart. 6/2017)
- Completeness of a functional system for surjective functions
- On infinite-dimensional Banach spaces and weak forms of the axiom of choice
- The localic compact interval is an Escardó-Simpson interval object
- Supersimple structures with a dense independent subset
- A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo-Fraenkel set theory
- Free sets for set-mappings relative to a family of sets
- Contents: (Math. Log. Quart. 5/2017)
- A preservation theorem for theories without the tree property of the first kind
- On Schauder equivalence relations
- Polish globalization of Polish group partial actions
- On the uniqueness property of forking in abstract elementary classes
- A wild model of linear arithmetic and discretely ordered modules
- Constructing quasiminimal structures
- Coding with canonical functions
- Generalizations of Cantor’s theorem in ZF
- The grounded Martin’s axiom
- Three-space type Hahn-Banach properties
- Decreasing sentences in Simple Type Theory
- Local Ramsey theory: an abstract approach
- A presentation theorem for continuous logic and metric abstract elementary classes
- Two kinds of fixed point theorems and reverse mathematics
- The HOD Hypothesis and a supercompact cardinal
- Euler characteristic of imaginaries in o-minimal structures
- The Structure of an SL2-module of finite Morley rank
- Contents: (Math. Log. Quart. 3-4/2017)
- The length of an intersection
- Intermediate arithmetic operations on ordinal numbers
- Non-archimedean stratifications of tangent cones
- Killing them softly: degrees of inaccessible and Mahlo cardinals
- A direct proof of the five element basis theorem
- Aronszajn trees, square principles, and stationary reflection
- Algebraic semantics for the (,¬)-fragment of IPC and its properties
- Fermat’s last theorem and Catalan’s conjecture in weak exponential arithmetics
- Cardinal characteristics and countable Borel equivalence relations
- A note on equality in finite-type arithmetic
- On the reducibility of isomorphism relations
- Building prime models in fully good abstract elementary classes
- Homogeneous 1-based structures and interpretability in random structures
- Contents: (Math. Log. Quart. 1-2/2017)
- Generalising the fan theorem
- Linear extension operators for continuous functions on definable sets in the p-adic context
- Random ℓ-colourable structures with a pregeometry
- Forcing with adequate sets of models as side conditions
- A Groszek-Laver pair of undistinguishable E0-classes
- Incomparable ω1-like models of set theory
- A note on prime models in weakly o-minimal structures
- On the strength of a weak variant of the axiom of counting
- Monomial ideals and independence of IΣ2
- Precisely controlling level by level behavior
- Paraconsistent double negation as a modal operator
- Cover Picture
- Separating principles below WKL0
- Forcing a countable structure to belong to the ground model
- Hyperhypersimple sets and Q1-reducibility
- choice classes
- Automorphisms of η-like computable linear orderings and Kierstead’s conjecture
- Contents: (Math. Log. Quart. 6/2016)
- The strong tree property and weak square
- An alternative Gentzenisation of RW+∘
- Interpreting weak Kőnig’s lemma in theories of nonstandard arithmetic
- Cluster expansion and the boxdot conjecture
- The conjugacy problem for automorphism groups of countable homogeneous structures
- Fixed-parameter decidability: Extending parameterized complexity analysis
- Abelian pro-countable groups and non-Borel orbit equivalence relations
- An automorphism group of an ω-stable structure that is not locally (OB)