Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 66
Volume 66, Number 1, March 2020
- Cover Picture. 1
- Contents: (Math. Log. Quart. 1/2020). 3-5
- Editorial. 6
- Stefano Baratella, Andrea Masini:
A two-dimensional metric temporal logic. 7-19 - Lorna Gregory
, Sonia L'Innocente, Carlo Toffalori:
The torsion-free part of the Ziegler spectrum of orders over Dedekind domains. 20-36 - Stefano Mazzanti:
New substitution bases for complexity classes. 37-50 - Zvonko Iljazovic:
Computability of graphs. 51-64 - Jonas Reitz:
Cohen forcing and inner models. 65-72 - Athipat Thamrongthanyalak:
On p-adic semi-algebraic continuous selections. 73-81 - Nathanaël Mariaule:
Expansions of the p-adic numbers that interpret the ring of integers. 82-90 - Paulo Oliva, Chuangjie Xu:
On the Herbrand functional interpretation. 91-98 - Masahiro Shioya, Naoki Yamaura:
Local weak presaturation of the strongly non-stationary ideal. 99-103 - Johanna N. Y. Franklin, Reed Solomon:
Lowness for isomorphism, countable ideals, and computable traceability. 104-114 - Arthur W. Apter:
On weak square, approachability, the tree property, and failures of SCH in a choiceless context. 115-120
Volume 66, Number 2, July 2020
- Cover Picture. 121
- Contents: (Math. Log. Quart. 2/2020). 123-125
- Huishan Wu:
Orders on computable rings. 126-135 - Karim Khanaki:
Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces. 136-149 - Tommaso Moraschini, James G. Raftery, Jamie J. Wannenburg:
Singly generated quasivarieties and residuated structures. 150-172 - Giorgio Laguzzi, Brendan Stuber-Rousselle:
More on trees and Cohen reals. 173-181 - John D. Clemens, Samuel Coskey, Samuel Dworetzky:
The classification of countable models of set theory. 182-189 - Trevor M. Wilson:
A game-theoretic proof of Shelah's theorem on labeled trees. 190-194 - Fan Yang:
Axiomatizing first order consequences in inclusion logic. 195-216 - Corey Bacal Switzer:
The Cichoń diagram for degrees of relative constructibility. 217-234 - Monroe Eskew:
On a strengthening of Jónssonness for אω. 235-238 - Pantelis E. Eleftheriou, Ayhan Günaydin, Philipp Hieronymi:
The choice property in tame expansions of o-minimal structures. 239-246 - Clovis Hamel, Haim Horowitz, Saharon Shelah:
Turing invariant sets and the perfect set property. 247-250
Volume 66, Number 3, October 2020
- Cover Picture. 253
- Contents: (Math. Log. Quart. 3/2020). 255-258
- Amitayu Banerjee:
Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse. 259-279 - Saharon Shelah:
The Hanf number in the strictly stable case. 280-294 - Masaru Kada, Souji Shizuma:
Strategic equivalence among hat puzzles of various protocols with many colors. 295-299 - Thomas Powell:
A note on the finitization of Abelian and Tauberian theorems. 300-310 - Nattapon Sonpanow, Pimpen Vejjajiva:
Independent families of functions and permutations. 311-315 - Tin Perkov, Luka Mikec:
Existential definability of modal frame classes. 316-325 - Anton Freund:
A note on ordinal exponentiation and derivatives of normal functions. 326-335 - Ziv Shami:
A note on the non-forking-instances topology. 336-340 - Valentino Delle Rose, Luca San Mauro, Andrea Sorbi:
Word problems and ceers. 341-354 - Athanassios Tzouvaras:
Russell's typicality as another randomness notion. 355-365 - Editorial correction for A. Tzouvaras, "Russell's typicality as another randomness notion". 366
- Akito Tsuboi:
Nonstandard methods for finite structures. 367-372
Volume 66, Number 4, December 2020
- Cover Picture. 375
- Contents: (Math. Log. Quart. 4/2020). 377-379
- Andrea Cantini:
A fixed point theory over stratified truth. 380-394 - Thomas G. Kucera, Marcos Mazari-Armida:
On universal modules with pure embeddings. 395-408 - Juan Manuel Cornejo, Luiz F. Monteiro, Hanamantagouda P. Sankappanavar, Ignacio D. Viglizzo:
A note on chain-based semi-Heyting algebras. 409-417 - Michal Korch, Tomasz Weiss:
Special subsets of the generalized Cantor space and generalized Baire space. 418-437 - Kento Takagi, Ryo Kashima:
On the completeness and the decidability of strictly monadic second-order logic. 438-447 - Rachel Epstein, Karen M. Lange:
Agreement reducibility. 448-465 - Mayra Montalvo-Ballesteros, John Kenneth Truss:
Surjectively rigid chains. 466-478 - Anton Freund:
What is effective transfinite recursion in reverse mathematics? 479-483 - Satoru Niki:
Decidable variables for constructive logics. 484-493
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 04:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
