Math. Log. Q.

Keyphrases

Publications

volume 70, number 1, 2024

Sohei Iwata, Taishi Kurahashi, Yuya Okawa
The persistence principle over weak interpretability logic. Math. Log. Q. 70 (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. Math. Log. Q. 70 (1) (2024)
Rouholah Hoseini Naveh, Mohammad Golshani, Esfandiar Eslami
Adding highly generic subsets of ω 2 $\omega _2$. Math. Log. Q. 70 (1) (2024)
Elliot Kaplan, Christoph Kesting
A dichotomy for T $T$ -convex fields with a monomial group. Math. Log. Q. 70 (1) (2024)
Contents: (Math. Log. Quart. 1/2024). Math. Log. Q. 70 (1) (2024)
Roland Sh. Omanadze, Irakli O. Chitaia
On b Q 1 $bQ_1$ -degrees of c.e. sets. Math. Log. Q. 70 (1) (2024)
Ivan Di Liberti
Formal model theory and higher topology. Math. Log. Q. 70 (1) (2024)
Yushiro Aoki
A property of forcing notions and preservation of cardinal invariants. Math. Log. Q. 70 (1) (2024)
Matteo Tesi
Infinitary logic with infinite sequents: syntactic investigations. Math. Log. Q. 70 (1) (2024)

volume 70, number 2, 2024

Nattapon Sonpanow, Pimpen Vejjajiva
A generalisation of Läuchli's lemma. Math. Log. Q. 70 (2) (2024)
Joni Puljujärvi, Davide Emilio Quadrellaro
Compactness in team semantics. Math. Log. Q. 70 (2) (2024)
Juvenal Murwanashyaka
A weak theory of building blocks. Math. Log. Q. 70 (2) (2024)
Athipat Thamrongthanyalak
Expansions of real closed fields with the Banach fixed point property. Math. Log. Q. 70 (2) (2024)
Lorenz Halbeisen, Riccardo Plati, Saharon Shelah
Implications of Ramsey Choice principles in ZF $\mathsf {ZF}$. Math. Log. Q. 70 (2) (2024)
Contents: (Math. Log. Quart. 2/2024). Math. Log. Q. 70 (2) (2024)
Hang Zhang, Shuguo Zhang
Filter-Menger set of reals in Cohen extensions. Math. Log. Q. 70 (2) (2024)
Natalia Garcia-Fritz, Hector Pasten
Hilbert's tenth problem for lacunary entire functions of finite order. Math. Log. Q. 70 (2) (2024)
Gábor Sági
On dense, locally finite subgroups of the automorphism group of certain homogeneous structures. Math. Log. Q. 70 (2) (2024)
Sergio A. Celani, Hernán Javier San Martín
On the implicative-infimum subreducts of weak Heyting algebras. Math. Log. Q. 70 (2) (2024)
Calliope Ryan-Smith
The Hartogs-Lindenbaum spectrum of symmetric extensions. Math. Log. Q. 70 (2) (2024)

volume 69, number 1, 2023

volume 69, number 2, 2023

David B. Bradley-Williams, Immanuel Halupczok
Spherically complete models of Hensel minimal valued fields. Math. Log. Q. 69 (2) (2023)
Joseph McDonald, Katalin Bimbó
Topological duality for orthomodular lattices. 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)
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)
Noah Schweber
Avoiding Medvedev reductions inside a linear order. 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)
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