default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 57
Volume 57, Numbers 1-2, February 2018
- Ali Enayat, Massoud Pourmahdian
, Ralf Schindler:
Preface. 1-2 - Mohammad Golshani:
The tree property at the successor of a singular limit of measurable cardinals. 3-25 - Mohammad Golshani, Shahram Mohsenipour:
On a question of Silver about gap-two cardinal transfer principles. 27-35 - Alireza Mofidi:
On some dynamical aspects of NIP theories. 37-71 - Ralf Schindler:
The long extender algebra. 73-82 - James Cummings:
Aronszajn and Kurepa trees. 83-90 - Ali Enayat, Matt Kaufmann, Zachiri McKenzie:
Largest initial segments pointwise fixed by automorphisms of models of set theory. 91-139 - Zaniar Ghadernezhad, Andrés Villaveces:
The small index property for homogeneous models in AEC's. 141-157 - Dugald Macpherson:
Model theory of finite and pseudofinite groups. 159-184 - Stevo Todorcevic:
Collapsing $$\omega _2$$ ω 2 with semi-proper forcing. 185-194
Volume 57, Numbers 3-4, May 2018
- Riccardo Camerlo, Jacques Duparc:
Some remarks on Baire's grand theorem. 195-201 - Haydar Göral:
Interpretable groups in Mann pairs. 203-237 - Philip Scowcroft:
l-Groups C(X) in continuous logic. 239-272 - Gunter Fuchs:
The subcompleteness of Magidor forcing. 273-284 - Vladimir Kanovei, Vassily A. Lyubetsky:
Countable OD sets of reals belong to the ground model. 285-298 - Sebastien Vasey:
Quasiminimal abstract elementary classes. 299-315 - Hiroshi Sakai:
On Katětov and Katětov-Blass orders on analytic P-ideals and Borel ideals. 317-327 - Philipp Schlicht:
Continuous reducibility and dimension of metric spaces. 329-359 - Michel Marti, George Metcalfe:
Expressivity in chain-based modal logics. 361-380 - Lorenzo Carlucci:
A weak variant of Hindman's Theorem stronger than Hilbert's Theorem. 381-389 - Petr Cintula, Carles Noguera:
Implicational (semilinear) logics III: completeness properties. 391-420 - Jörg Brendle:
Maximal trees. 421-428 - Linda Lawton:
Decidability of the AE-theory of the lattice of Π10 classes. 429-451 - Julia F. Knight, Vikram Saraph:
Scott sentences for certain groups. 453-472
Volume 57, Numbers 5-6, August 2018
- Matthew Harrison-Trainor:
Computable valued fields. 473-495 - Henry Towsner:
Epsilon substitution for ID1 via cut-elimination. 497-531 - Harry Crane, Henry Towsner:
Relative exchangeability with equivalence relations. 533-556 - Ali Enayat, Matt Kaufmann, Zachiri McKenzie:
Iterated ultrapowers for the masses. 557-576 - John Goodrick:
Bounding quantification in parametric expansions of Presburger arithmetic. 577-591 - Lorenz Halbeisen:
A weird relation between two cardinals. 593-599 - Simon Thomas:
Complete groups are complete co-analytic. 601-606 - Jan Mycielski, Grzegorz Tomkowicz:
Shadows of the axiom of choice in the universe L(R). 607-616 - Hector Pinedo, Carlos Uzcátegui:
Borel globalizations of partial actions of Polish groups. 617-627 - Vahagn Aslanyan:
Ax-Schanuel for linear differential equations. 629-648 - Toshiyasu Arai:
Derivatives of normal functions and ω-models. 649-664 - Eleftherios Tachtsis:
On the minimal cover property and certain notions of finite. 665-686 - Will Boney, Sebastien Vasey:
Good frames in the Hart-Shelah example. 687-712 - Daisuke Ikegami, Nam Trang:
On a class of maximality principles. 713-725
Volume 57, Numbers 7-8, November 2018
- Claribet Piña:
A partition relation for pairs on $$\omega ^{\omega ^\omega }$$ ωωω. 727-753 - Francesco Ciraulo, Giovanni Sambin:
Embedding locales and formal topologies into positive topologies. 755-768 - Hirotaka Kikyo:
Model completeness of generic graphs in rational cases. 769-794 - Konstantinos A. Beros:
Homomorphism reductions on Polish groups. 795-807 - Françoise Point:
Definability of types and VC density in differential topological fields. 809-828 - Gunter Fuchs:
Closure properties of parametric subcompleteness. 829-852 - Paul B. Larson, Saharon Shelah:
A model of $$\mathsf {ZFA}+ \mathsf {PAC}$$ ZFA + PAC with no outer model of $$\mathsf {ZFAC}$$ ZFAC with the same pure part. 853-859 - Jan Dobrowolski:
Generic variations and NTP $$_1$$ 1. 861-871 - Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher:
Consistency of the intensional level of the Minimalist Foundation with Church's thesis and axiom of choice. 873-888 - Sergey Goncharov, Julia F. Knight, Ioannis A. Souldatos:
Hanf number for Scott sentences of computable structures. 889-907 - Maxwell Levine:
Stationary sets added when forcing squares. 909-916 - Ruggero Pagnan:
Splitting idempotents in a fibered setting. 917-938 - Yuan Yuan Zheng:
A collection of topological Ramsey spaces of trees and their application to profinite graph theory. 939-952 - Taishi Kurahashi:
On partial disjunction properties of theories containing Peano arithmetic. 953-980
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 2025-12-05 22:24 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:
