default search action
Mathematical Logic Quarterly, Volume 63
Volume 63, Numbers 1-2, April 2017
- Vera Koponen:
Homogeneous 1-based structures and interpretability in random structures. 6-18 - Mohammad Golshani, Vladimir Kanovei
, Vassily A. Lyubetsky
A Groszek-Laver pair of undistinguishable E0-classes. 19-31 - Ove Ahlman
Random ℓ-colourable structures with a pregeometry. 32-58 - Florian Pelupessy:
Monomial ideals and independence of IΣ2. 59-65 - Gunter Fuchs
Incomparable ω1-like models of set theory. 66-76 - Arthur W. Apter:
Precisely controlling level by level behavior. 77-84 - Silvio Valentini:
Generalising the fan theorem. 85-93 - Zachiri McKenzie
On the strength of a weak variant of the axiom of counting. 94-103 - Athipat Thamrongthanyalak
Linear extension operators for continuous functions on definable sets in the p-adic context. 104-108 - Somayyeh Tari
A note on prime models in weakly o-minimal structures. 109-113 - Bruno Dinis
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic. 114-123 - John Krueger:
Forcing with adequate sets of models as side conditions. 124-149 - Yair Hayut
The strong tree property and weak square. 150-154
Volume 63, Numbers 3-4, November 2017
- Petr Glivický
Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics. 162-174 - Tapani Hyttinen
On the reducibility of isomorphism relations. 175-192 - Sebastien Vasey:
Building prime models in fully good abstract elementary classes. 193-201 - Katarzyna Slomczynska:
Algebraic semantics for the (↔, ¬)-fragment of IPC and its properties. 202-210 - Samuel Coskey, Scott Schneider:
Cardinal characteristics and countable Borel equivalence relations. 211-227 - Harry J. Altman:
Intermediate arithmetic operations on ordinal numbers. 228-242 - Christian Delhommé, Maurice Pouzet:
The length of an intersection. 243-255 - Erin Kathryn Carmody:
Killing them softly: degrees of inaccessible and Mahlo cardinals. 256-264 - Chris Lambie-Hanson
Aronszajn trees, square principles, and stationary reflection. 265-281 - Benno van den Berg:
A note on equality in finite-type arithmetic. 282-288 - Boban Velickovic
A direct proof of the five element basis theorem. 289-298 - Erick Garcia-Ramirez
Non-archimedean stratifications of tangent cones. 299-312
Volume 63, Number 5, December 2017
- Marianne Morillon:
Three-space type Hahn-Banach properties. 320-333 - Paul B. Larson, Saharon Shelah
Coding with canonical functions. 334-341 - Panagiotis Rouvelas
Decreasing sentences in Simple Type Theory. 342-363 - Jules Tindzogho Ntsiri:
The Structure of an SL2-module of finite Morley rank. 364-375 - Sofya Kamenkovich, Ya'acov Peterzil:
Euler characteristic of imaginaries in o-minimal structures. 376-383 - Carlos Di Prisco, José G. Mijares
Local Ramsey theory: an abstract approach. 384-396 - Will Boney:
A presentation theorem for continuous logic and metric abstract elementary classes. 397-414 - Levon Haykazyan:
Constructing quasiminimal structures. 415-427 - Guozhen Shen
Generalizations of Cantor's theorem in ZF. 428-436 - Miha E. Habic
The grounded Martin's axiom. 437-453 - Weiguang Peng, Takeshi Yamazaki:
Two kinds of fixed point theorems and reverse mathematics. 454-461 - Yong Cheng:
The HOD Hypothesis and a supercompact cardinal. 462-472
Volume 63, Number 6, December 2017
- Hector Pinedo, Carlos Uzcátegui:
Polish globalization of Polish group partial actions. 481-490 - Xin Ma:
On Schauder equivalence relations. 491-500 - Petr Glivický
A wild model of linear arithmetic and discretely ordered modules. 501-508 - Paul E. Howard, Eleftherios Tachtsis:
On infinite-dimensional Banach spaces and weak forms of the axiom of choice. 509-535 - Jan Dobrowolski
A preservation theorem for theories without the tree property of the first kind. 536-543 - Vassilios Gregoriades:
A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo-Fraenkel set theory. 544-551 - Alexander Berenstein, Juan Felipe Carmona, Evgueni Vassiliev:
Supersimple structures with a dense independent subset. 552-573 - Alfredo Burrieza, Inmaculada Fortes
Completeness of a functional system for surjective functions. 574-597 - Sebastien Vasey:
On the uniqueness property of forking in abstract elementary classes. 598-604 - Antonio Avilés
Free sets for set-mappings relative to a family of sets. 605-613 - Steven Vickers:
The localic compact interval is an Escardó-Simpson interval object. 614-629
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-12-22 18:49 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: