Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 82
Volume 82, Number 1, March 2017
- David Marker, Russell G. Miller:
Turing degree spectra of differentially Closed Fields. 1-25 - Yevhen Zelenyuk:
Left Maximal and strongly Right Maximal idempotents in G. 26-34 - Allen Gehret:
Nip for the asymptotic couple of the field of Logarithmic Transseries. 35-61 - Silvio Ghilardi
, Samuel J. van Gool:
A Model-Theoretic characterization of Monadic second order Logic on Infinite Words. 62-76 - Matthew Harrison-Trainor, Alexander G. Melnikov, Russell G. Miller, Antonio Montalbán:
Computable Functors and Effective interpretability. 77-97 - John T. Baldwin, Martin Koerwien, Michael C. Laskowski:
Disjoint Amalgamation in Locally Finite AEC. 98-119 - Luck Darnière, Immanuel Halupczok:
Cell Decomposition and Classification of Definable Sets in P-Optimal Fields. 120-136 - Gregory Igusa, Julia F. Knight, Noah David Schweber:
Computing strength of Structures Related to the field of Real numbers. 137-150 - Franziska Jahnke, Pierre Simon, Erik Walsberg:
Dp-Minimal Valued Fields. 151-165 - Nathanaël Mariaule:
The field of P-ADIC numbers with a Predicate for the powers of an Integer. 166-182 - Vera Koponen:
Binary Primitive homogeneous Simple Structures. 183-207 - Gemma Carotenuto:
Handmade density Sets. 208-223 - Mohammad Golshani:
Hod, V and the GCH. 224-246 - Konstantinos A. Beros:
Normal numbers and Completeness Results for difference Sets. 247-257 - Clinton T. Conley, Benjamin D. Miller:
Measurable Perfect Matchings for Acyclic Locally Countable Borel graphs. 258-271 - Laura Fontanella, Menachem Magidor:
Reflection of stationary Sets and the Tree Property at the Successor of a singular cardinal. 272-291 - Makoto Kikuchi, Taishi Kurahashi:
Universal Rosser Predicates. 292-302 - Osvaldo Guzmán González, Michael Hrusák, Carlos Azarel Martínez-Ranero, Ulises Ariet Ramos-García:
Generic existence of MAD families. 303-316 - Silvain Rideau, Pierre Simon:
Definable and Invariant Types in Enrichments of NIP Theories. 317-324 - Barbara F. Csima, Matthew Harrison-Trainor:
Degrees of Categoricity on a cone via η-Systems. 325-346 - Pablo Cubides Kovacsics, Luck Darnière, Eva Leenknegt:
Topological cell Decomposition and Dimension Theory in P-Minimal Fields. 347-358 - Rasmus Blanck, Ali Enayat:
Marginalia on a Theorem of Woodin. 359-374 - Philipp Hieronymi, Travis Nell:
Distal and non-distal Pairs. 375-383
Volume 82, Number 2, June 2017
- Andrés Eduardo Caicedo, Martin Zeman:
Downward Transference of mice and Universality of Local Core Models. 385-419 - Krishnendu Chatterjee, Nir Piterman:
Obligation Blackwell Games and P-Automata. 420-452 - Richard Rast, Davender Singh Sahota:
The Borel Complexity of Isomorphism for O-Minimal Theories. 453-473 - Moshe Jarden, Alexandra Shlapentokh:
Decidable Algebraic Fields. 474-488 - Paul B. Larson, Jindrich Zapletal:
Canonical Models for Fragments of the Axiom of Choice. 489-509 - Sherwood Hachtman:
Calibrating Determinacy strength in Levels of the Borel Hierarchy. 510-548 - Carolin Antos, Sy-David Friedman:
Hyperclass forcing in Morse-Kelley class Theory. 549-575 - Kostas Hatzikiriakou, Stephen G. Simpson:
Reverse Mathematics, Young Diagrams, and the ascending Chain condition. 576-589 - Martín Escardó, Paulo Oliva:
The Herbrand Functional Interpretation of the double Negation Shift. 590-607 - Juan P. Aguilera, David Fernández-Duque:
Strong Completeness of Provability Logic for Ordinal Spaces. 608-628 - Vera Fischer, David Schrittesser, Asger Törnquist:
A Co-analytic Cohen-Indestructible Maximal cofinitary Group. 629-647 - Gabriel Conant:
An Axiomatic Approach to Free Amalgamation. 648-671 - Federico Aschieri:
Game Semantics and the Geometry of Backtracking: a New Complexity Analysis of Interaction. 672-708 - Michal Walicki:
Resolving Infinitary Paradoxes. 709-723 - Víctor Torres Pérez:
Weak Reflection Principle, saturation of the nonstationary Ideal on ω 1 and Diamonds. 724-736 - Stefano Berardi, Silvia Steila:
Ramsey's Theorem for Pairs and k Colors as a sub-Classical Principle of Arithmetic. 737-753 - Alexei G. Myasnikov, Mahmood Sohrabi:
ω-stability and Morley Rank of Bilinear Maps, Rings and Nilpotent Groups. 754-777 - Pablo Cubides Kovacsics, Kien Huu Nguyen:
A P-Minimal Structure without Definable Skolem Functions. 778-786
Volume 82, Number 3, September 2017
- Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten, Francisco Félix Lara Martín:
Predicativity through Transfinite Reflection. 787-808 - Assaf Rinot, Ralf Schindler:
Square with Built-in Diamond-plus. 809-833 - Chris Lambie-Hanson:
Squares and narrow Systems. 834-859 - Giorgio Audrito, Silvia Steila:
Generic Large Cardinals and Systems of filters. 860-892 - William Chan:
Equivalence Relations which are Borel Somewhere. 893-930 - Peter Cholak, Gregory Igusa:
Density-1-Bounding and quasiminimality in the Generic Degrees. 931-957 - Osvaldo Guzmán González:
The onto Mapping of Sierpinski and Nonmeager Sets. 958-965 - Hajnal Andréka, Steven Givant, Peter Jipsen, István Németi:
On Tarski's Axiomatic Foundations of the Calculus of Relations. 966-994 - Will Boney, Sebastien Vasey:
Tameness and Frames Revisited. 995-1021 - Michael J. Lieberman, Jirí Rosický:
Metric Abstract Elementary Classes as Accessible Categories. 1022-1040 - Itay Kaplan, Saharon Shelah:
Decidability and Classification of the Theory of Integers with Primes. 1041-1050 - Darío García, Frank O. Wagner:
Unimodularity Unified. 1051-1065 - (Withdrawn) Measuring Club-sequences Together with the continuum Large. 1066-1079
- Krzysztof Krupinski:
Definable Topological dynamics. 1080-1105 - Philipp Lücke, Ralf Schindler, Philipp Schlicht:
Σ1(κ)-DEFINABLE SUBSETS OF H(κ +). 1106-1131 - Özlem Beyarslan, Zoé Chatzidakis:
Geometric Representation in the Theory of Pseudo-finite Fields. 1132-1139 - Leonidas Cerda-Romero, Carlos Martinez-Ranero:
The Diophantine Problem for Addition and Divisibility over subrings of the Rationals. 1140-1149 - Tomás Ibarlucía:
Automorphism Groups of Randomized Structures. 1150-1179
Volume 82, Number 4, December 2017
- Dimitris Tsementzis:
A Syntactic characterization of Morita Equivalence. 1181-1198 - Åsa Hirvonen, Tapani Hyttinen:
Measuring Dependence in Metric Abstract Elementary Classes with perturbations. 1199-1228 - Trevor M. Wilson:
Universally Baire Sets and Generic Absoluteness. 1229-1251 - Vahagn Aslanyan:
Definability of Derivations in the Reducts of differentially closed Fields. 1252-1277 - Vasco Brattka, Tahina Rakotoniaina:
On the Uniform Computational Content of Ramsey's Theorem. 1278-1316 - Philipp Schlicht:
Perfect Subsets of generalized Baire Spaces and Long Games. 1317-1355 - Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill:
Krull Dimension in Modal Logic. 1356-1386 - Rami P. Grossberg, Sebastien Vasey:
Equivalent Definitions of superstability in Tame Abstract Elementary Classes. 1387-1408 - Daniel Palacín:
Generalized Amalgamation and homogeneity. 1409-1421 - Milos S. Kurilic:
Retractions of Reversible Structures. 1422-1437 - Rutger Kuyper:
On Weihrauch Reducibility and intuitionistic Reverse Mathematics. 1438-1458 - Longyun Ding:
On Equivalence Relations Generated by Schauder Bases. 1459-1481 - Pantelis E. Eleftheriou, Assaf Hasson, Gil Keren:
On Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures. 1482-1495 - James S. Barnes:
On the Decidability of the Σ2 Theories of the Arithmetic and Hyperarithmetic Degrees as Uppersemilattices. 1496-1518 - Gönenç Onay:
Valued Modules over skew Polynomial Rings I. 1519-1540 - Shuhei Masumoto:
The Jiang-SU Algebra as a FRAïSSé Limit. 1541-1559 - Natasha Dobrinen, Dan Hathaway:
The Halpern-läUchli Theorem at a Measurable cardinal. 1560-1575
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-25 04:40 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:
