Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 61
Volume 61, Numbers 1-2, February 2015
- Kyriakos Keremedis:
On sequentially closed subsets of the real line in ZF. 24-31 - Stefano Baratella
, Domenico Zambella:
The Real truth. 32-44 - Grzegorz Jagiella:
Definable topological dynamics and real Lie groups. 45-55 - Nam Trang:
Derived models and supercompact measures on ℘ω1(℘(R)). 56-65 - Tapani Hyttinen, Vadim Kulikov:
On Σ11-complete equivalence relations on the generalized Baire space. 66-81 - Beibut Sh. Kulpeshov, Viktor Verbovskiy:
On weakly circularly minimal groups. 82-90 - Giorgio Laguzzi:
Generalized Silver and Miller measurability. 91-102 - Athanassios Tzouvaras:
Totally non-immune sets. 103-116 - Françoise Point:
Corrigendum to F. Point, Existentially closed ordered difference fields and rings. 117-119 - Greg Oman:
The theory of integrally closed domains is not finitely axiomatizable. 120-122
Volume 61, Number 3, May 2015
- Armin Hemmerling:
Günter Asser (1926-2015). 127-131
- Makoto Fujiwara, Ulrich Kohlenbach:
Classical provability of uniform versions and intuitionistic provability. 132-150 - Tristan Kuijpers:
Lipschitz extensions of definable p-adic functions. 151-158 - Yu-ichi Tanaka, Akito Tsuboi:
A construction of real closed fields. 159-168 - Teruyuki Yorioka:
A note on a forcing related to the S-space problem in the extension with a coherent Suslin tree. 169-178 - Ermek S. Nurkhaidarov:
Decoding in the automorphism group of a recursively saturated model of arithmetic. 179-188 - Rod Downey, Carl G. Jockusch Jr., Timothy H. McNicholl, Paul E. Schupp:
Asymptotic density and the Ershov hierarchy. 189-195 - Jan Saroch:
Σ-algebraically compact modules and Lω1ω-compact cardinals. 196-201 - Gianluca Paolini:
Independence logic and abstract independence relations. 202-216 - Robert S. Lubarsky, Norman Lewis Perlmutter:
On extensions of supercompactness. 217-223 - Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin:
Limitwise monotonic sets of reals. 224-229 - Victor Pambuccian:
Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic. 230-235 - Kota Takeuchi, Yu-ichi Tanaka, Akito Tsuboi:
Model companions of theories of graphs. 236-246
Volume 61, Numbers 4-5, August 2015
- Laurence Kirby:
Digraph parameters and finite set arithmetic. 250-262 - Timothy Trujillo:
Ramsey for R1 ultrafilter mappings and their Dedekind cuts. 263-273 - Yong Cheng:
Forcing a set model of Z3 + Harrington's Principle. 274-287 - Ivan Georgiev:
Continued fractions of primitive recursive real numbers. 288-306 - Aleksander Ivanov:
An ω-categorical structure with amenable automorphism group. 307-314 - Dalibor Prazák, Jakub Slavík:
Nonstandard analysis of global attractors. 315-328 - Yong Cheng:
The strong reflecting property and Harrington's Principle. 329-340 - Nadav Meir:
Many symmetrically indivisible structures. 341-346 - Arno Fehm, Franziska Jahnke:
On the quantifier complexity of definable canonical Henselian valuations. 347-361 - Immanuel Halupczok, Franziska Jahnke:
A definable Henselian valuation with high quantifier complexity. 362-366 - Vera Fischer:
Maximal cofinitary groups revisited. 367-379
Volume 61, Number 6, November 2015
- Saharon Shelah:
Models of PA: when two elements are necessarily order automorphic. 399-417 - Tarek Sayed Ahmed:
On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality. 418-477 - Stefano Baratella:
A note on infinitary continuous logic. 448-457 - Philipp Kleppmann:
Nielsen-Schreier and the Axiom of Choice. 458-465 - Márton Elekes, Tamás Keleti:
Decomposing the real line into Borel sets closed under addition. 466-473 - Ian Pratt-Hartmann:
The two-variable fragment with counting and equivalence. 474-515 - Su Gao, Zhi Yin:
A note on equivalence relations ℓp(ℓq). 516-523
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-22 20:03 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:
