default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 67
Volume 67, Number 1, February 2021
- Cover Picture. 1
- Contents: (Math. Log. Quart. 1/2021). 3-5
- Richard Elwes
:
Evolving Shelah-Spencer graphs. 6-17 - Saharon Shelah:
Atomic saturation of reduced powers. 18-42 - Aleksander Ivanov:
Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability. 43-58 - Pierre Matet:
Meeting numbers and pseudopowers. 59-76 - Boris Sobot:
More about divisibility in β N. 77-87 - Diego Nicolás Castaño, Valeria Castaño, José Patricio Díaz Varela, Marcela Muñoz Santis:
Varieties of pseudocomplemented Kleene algebras. 88-104 - Kentaro Fujimoto:
First-order undefinability of the notion of transfinitely uplifting cardinals. 105-115 - Makoto Fujiwara, Tatsuji Kawai:
Decidable fan theorem and uniform continuity theorem with continuous moduli. 116-130
Volume 67, Number 2, May 2021
- Cover Picture. 133
- Contents: (Math. Log. Quart. 2/2021). 135-137
- Roland Sh. Omanadze, Irakli O. Chitaia:
r-Maximal sets and Q 1 , N -reducibility. 138-148 - Laurence Kirby:
Bounded finite set theory. 149-163 - Taishi Kurahashi, Yuya Okawa:
Modal completeness of sublogics of the interpretability logic IL. 164-185 - Mirjana Ilic:
A note on an alternative Gentzenization of RW + ∘. 186-192 - Seyed Mohammad Bagheri:
The isomorphism theorem for linear fragments of continuous logic. 193-205 - Aleksander Ivanov:
Unbounded actions of metric groups and continuous logic. 206-225 - Hugo Albuquerque:
The Suszko operator relative to truth-equational logics. 226-240 - Makoto Fujiwara:
König's lemma, weak König's lemma, and the decidable fan theorem. 241-257 - Jukkrid Nuntasri, Supakun Panasawatwong, Pimpen Vejjajiva:
The finite subsets and the permutations with finitely many non-fixed points of a set. 258-263
Volume 67, Number 3, August 2021
- Cover Picture. 265
- Contents: (Math. Log. Quart. 3/2021). 267-270
- Marcin Michalski, Robert Ralowski, Szymon Zeberski:
Mycielski among trees. 271-281 - Olivia Caramello, Riccardo Zanfa:
On the dependent product in toposes. 282-294 - Tarek Sayed Ahmed:
Omitting types algebraically and more about amalgamation for modal cylindric algebras. 295-312 - Ahmet Çevik:
An effectively closed set with no join property. 313-320 - Lothar Sebastian Krapp, Salma Kuhlmann, Gabriel Lehéricy:
Strongly NIP almost real closed fields. 321-328 - Miklós Erdélyi-Szabó:
Encoding true second-order arithmetic in the real-algebraic structure of models of intuitionistic elementary analysis. 329-341 - Mohammed Belkasmi:
Weakly and locally positive Robinson theories. 342-353 - Dominik Thomas Adolf:
Some basic thoughts on the cofinalities of Chang structures with an application to forcing. 354-358 - Andrew DeLapo:
Bernoulli randomness and Bernoulli normality. 359-373 - Jialiang He:
On height of group trees on tame abelian product groups. 374-381 - Alexi Block Gorman, Erin Caulfield, Philipp Hieronymi:
Pathological examples of structures with o-minimal open core. 382-393
Volume 67, Number 4, November 2021
- Cover Picture. 397
- Contents: (Math. Log. Quart. 4/2021). 399-401
- Christian d'Elbée:
Generic expansion of an abelian variety by a subgroup. 402-408 - Nathanaël Mariaule:
Expansions of Presburger arithmetic with the exchange property. 409-419 - Eleftherios Tachtsis:
MA ( ℵ 0 ) restricted to complete Boolean algebras and choice. 420-431 - Gábor Sági:
The profinite topology of free groups and weakly generic tuples of automorphisms. 432-444 - Hisashi Aratake:
Sheaves of structures, Heyting-valued structures, and a generalization of Łoś's theorem. 445-468 - Karim Khanaki:
ℵ0-categorical Banach spaces contain ℓ p or c0. 469-488 - Huishan Wu:
Effective aspects of Jacobson radicals of rings. 489-505 - Cheng Peng:
Normalizing notations in the Ershov hierarchy. 506-513 - Masato Fujita:
Uniformly locally o-minimal open core. 514-524
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-11-21 20:33 CET 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:
