Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 64
Volume 64, Numbers 1-2, April 2018
- Chris Pollett:
On the finite axiomatizability of. 6-24 - Sebastien Vasey:
Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes. 25-36 - Kyriakos Keremedis:
Two new equivalents of Lindelöf metric spaces. 37-43 - Ashutosh Kumar, Saharon Shelah
:
Clubs on quasi measurable cardinals. 44-48 - Hannes Diener, Matthew Hendtlass:
Bishop's Lemma. 49-54 - Basil A. Karádais:
Normal forms, linearity, and prime algebraicity over nonflat domains. 55-88 - Radek Honzik, Sárka Stejskalová:
The tree property and the continuum function below. 89-102 - Sean D. Cox:
On the universality of the nonstationary ideal. 103-117 - Vincenzo Dimonte:
Generic at. 118-132
Volume 64, Number 3, July 2018
- Cover Picture. 135
- Contents: (Math. Log. Quart. 3/2018). 137-139
- Guillermo Badia, Andrew Tedder:
On elimination of quantifiers in some non-classical mathematical theories. 140-154 - Quentin Brouette, Françoise Point:
On differential Galois groups of strongly normal extensions. 155-169 - Jindrich Zapletal:
Bounded Namba forcing axiom may fail. 170-172 - Eleftherios Tachtsis:
A note on the deductive strength of the Nielsen-Schreier theorem. 173-177 - Florian Pelupessy:
Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension. 178-182 - Katsumasa Ishii:
A note on decidability of variables in intuitionistic propositional logic. 183-184 - Mahya Malekghasemi, Seyed Mohammad Bagheri:
Maximality of linear continuous logic. 185-191 - Tatsuji Kawai:
Formally continuous functions on Baire space. 192-200 - Nattapon Sonpanow, Pimpen Vejjajiva:
Some properties of infinite factorials. 201-206 - Philipp Lücke, Philipp Schlicht:
Measurable cardinals and good -wellorderings. 207-217 - Ian Pratt-Hartmann:
Finite satisfiability for two-variable, first-order logic with one transitive relation is decidable. 218-248 - Moti Gitik:
A note on sequences witnessing singularity, following Magidor and Sinapova. 249-253
Volume 64, Numbers 4-5, November 2018
- Cover Picture. 257
- Contents: (Math. Log. Quart. 4-5/2018). 259-261
- Luis Miguel Villegas-Silva:
The gap-two cardinal problem for uncountable languages. 262-285 - Arthur Milchior:
Spectra and satisfiability for logics with successor and a unary function. 286-311 - Dominique Lecomte, Miroslav Zelený:
Universal and complete sets in martingale theory. 312-335 - J. Donald Monk:
A large list of small cardinal characteristics of Boolean algebras. 336-348 - Pierre Matet:
Scales with various kinds of good points. 349-370 - Norihiro Kamide:
Extending paraconsistent quantum logic: a single-antecedent/succedent system approach. 371-386 - Mark Bickford:
Connectedness of the continuum in intuitionistic mathematics. 387-394 - Toshimichi Usuba:
New combinatorial principle on singular cardinals and normal ideals. 395-408
Volume 64, Number 6, December 2018
- Cover Picture. 413
- Contents: (Math. Log. Quart. 6/2018). 415-417
- Jan Maly, Moritz Müller:
A remark on pseudo proof systems and hard instances of the satisfiability problem. 418-428 - Karim Khanaki, Anand Pillay:
Remarks on the NIP in a model. 429-434 - Floris Geerts, Bart Kuijpers:
Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space. 435-463 - Tapani Hyttinen, Kaisa Kangas:
Categoricity and universal classes. 464-477 - Will Brian:
Which subsets of an infinite random graph look random? 478-486 - Gunter Fuchs:
Subcomplete forcing principles and definable well-orders. 487-504 - Sam Buss, Ramyaa Ramyaa:
Short refutations for an equivalence-chain principle for constant-depth formulas. 505-513 - Paolo Lipparini:
Some transfinite natural sums. 514-528 - Navin Aksornthong, Pimpen Vejjajiva:
Relations between cardinalities of the finite sequences and the finite subsets of a set. 529-534
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-16 20:20 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:
