default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 80
Volume 80, Number 1, March 2015
- Martín Escardó
, Paulo Oliva:
Bar Recursion and Products of Selection Functions. 1-28 - Nam Trang:
Structure Theory of L(ℝ, μ) and its Applications. 29-55 - Liuzhen Wu:
Set forcing and Strong Condensation for H(ω 2). 56-84 - Franziska Jahnke, Jochen Koenigsmann:
Definable Henselian Valuations. 85-99 - Itaï Ben Yaacov:
FraïSSé Limits of Metric Structures. 100-115 - Noam Greenberg, Asher M. Kach, Steffen Lempp, Daniel Turetsky:
Computability and uncountable Linear Orders I: Computable Categoricity. 116-144 - Noam Greenberg, Asher M. Kach, Steffen Lempp, Daniel D. Turetsky:
Computability and uncountable Linear Orders II: degree spectra. 145-178 - Alexander P. Kreuzer:
On Idempotent Ultrafilters in Higher-order Reverse Mathematics. 179-193 - Paola D'Aquino, Salma Kuhlmann, Karen M. Lange:
A Valuation Theoretic Characterization of Recursively saturated Real Closed Fields. 194-206 - Pablo Cubides Kovacsics:
Locally Constant Functions in C-Minimal Structures. 207-220 - Juan Diego Caycedo, Martin Hils:
Bad Fields with torsion. 221-233 - Clifton F. Ealy, Jana Maríková:
Model Completeness of O-Minimal Fields with Convex Valuations. 234-250 - Sy-David Friedman, Peter Holy, Philipp Lücke:
Large Cardinals and Lightface Definable Well-Orders, without the GCH. 251-284 - Saharon Shelah, Jouko A. Väänänen, Boban Velickovic:
Positional Strategies in Long Ehrenfeucht-FraïSSé Games. 285-300 - Arno Fehm:
Existential ∅-Definability of Henselian Valuation Rings. 301-307 - Predrag Tanovic:
Generically Stable Regular Types. 308-321 - Byunghan Kim, Sunyoung Kim, Junguk Lee:
A Classification of 2-Chains having 1-Shell Boundaries in rosy Theories. 322-340 - Petr Cintula, Carles Noguera:
A Henkin-Style Proof of Completeness for First-order Algebraizable Logics. 341-358
Volume 80, Number 2, June 2015
- Logan M. Axon:
Martin-LöF Randomness in Spaces of Closed Sets. 359-383 - Matthew Moore:
The Undecidability of the Definability of Principal Subcongruences. 384-432 - Kevin Woods:
Presburger Arithmetic, Rational Generating Functions, and quasi-polynomials. 433-449 - Albert Atserias, Moritz Müller, Sergi Oliva:
Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle. 450-476 - Yong Cheng, Ralf Schindler:
Harrington's Principle in Higher order Arithmetic. 477-489 - David Marker, James H. Schmerl, Charles Steinhorn:
Uncountable Real Closed Fields with PA Integer Parts. 490-502 - Otmar Spinas, Marek Wyszkowski:
Silver Antichains. 503-519 - Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan:
Topological Completeness of Logics above S4. 520-566 - Karel Chvalovský:
Undecidability of Consequence Relation in Full non-Associative Lambek Calculus. 567-586 - Konstantinos Tsaprounis:
On Resurrection Axioms. 587-608 - Ellen S. Chih:
Non-splittings of Speedable Sets. 609-635 - Roger Villemaire:
Homogeneity and Fix-Points: Going Forth! 636-660 - Sy-David Friedman, Vadim Kulikov:
Failures of the Silver Dichotomy in the generalized Baire Space. 661-670 - Grigor Sargsyan, John Steel:
The mouse Set conjecture for Sets of Reals. 671-683 - Lorna Gregory:
Decidability for Theories of Modules over Valuation Domains. 684-711
Volume 80, Number 3, September 2015
- Rosalie Iemhoff, Paul Rozière:
Unification in Intermediate Logics. 713-729 - Arnold Beckmann, Samuel R. Buss, Sy-David Friedman:
Safe Recursive Set Functions. 730-762 - John T. Baldwin, Paul B. Larson, Saharon Shelah:
Almost Galois ω-Stable Classes. 763-784 - Camilo Argoty:
Forking and stability in the Representations of a C*-Algebra. 785-796 - Martin Grohe, Martin Otto:
Pebble Games and linear equations. 797-844 - Graham E. Leigh:
Conservativity for Theories of Compositional Truth via Cut Elimination. 845-865 - Andreas Blass, Natasha Dobrinen, Dilip Raghavan:
The Next Best Thing to a P-Point. 866-900 - Saharon Shelah, Otmar Spinas:
Mad spectra. 901-916 - Zhi Yin:
Embeddings of P(ω)/fin into Borel Equivalence Relations between ℓP and ℓQ . 917-939 - Noah David Schweber:
Transfinite Recursion in Higher Reverse Mathematics. 940-969 - Xianghui Shi:
Axiom I 0 and Higher degree Theory. 970-1021 - Zoé Chatzidakis, Matthew Harrison-Trainor, Rahim Moosa:
Differential-Algebraic jet Spaces Preserve Internality to the Constants. 1022-1034 - Farida Kachapova:
A Strong Multi-Typed Intuitionistic Theory of functionals. 1035-1065 - Alessandro Vignati:
An Algebra whose Subalgebras are characterized by density. 1066-1074
Volume 80, Number 4, December 2015
- Asger Törnquist, William Weiss:
The ∑21 Counterparts to Statements that are Equivalent to the Continuum Hypothesis. 1075-1090 - Antongiulio Fornasiero, Philipp Hieronymi:
A Fundamental Dichotomy for definably Complete expansions of Ordered Fields. 1091-1115 - Merlin Carl:
Optimal Results on Recognizability for Infinite Time Register Machines. 1116-1130 - Chi Tat Chong, Liang Yu:
Randomness in the Higher Setting. 1131-1148 - Uri Andrews, H. Jerome Keisler:
Separable Models of Randomizations. 1149-1181 - Peter Cholak, Peter M. Gerdes, Karen M. Lange:
${\cal D}$-MAXIMAL SETS. 1182-1210 - François G. Dorais, Jeffry L. Hirst, Paul Shafer:
Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑20 Induction. 1211-1235 - Miodrag Sokic:
Semilattices and the Ramsey Property. 1236-1259 - Alexander Prestel:
Definable Henselian Valuation Rings. 1260-1267 - Piotr Borodulin-Nadzieja, Barnabás Farkas, Grzegorz Plebanek:
Representations of ideals in Polish Groups and in Banach Spaces. 1268-1289 - Gregory Igusa:
The Generic Degrees of density-1 Sets, and a characterization of the Hyperarithmetic Reals. 1290-1314 - Luc Bélair, Françoise Point:
Separably Closed Fields and contractive Ore Modules. 1315-1338 - Vincenzo Mantova:
A Pseudoexponential-like Structure on the Algebraic numbers. 1339-1347 - Omer Ben-Neria, Moti Gitik:
On the splitting number at Regular Cardinals. 1348-1360 - Peter Holy, Philip D. Welch, Liuzhen Wu:
Local Club Condensation and L-Likeness. 1361-1378 - Itaï Ben Yaacov, Julien Melleray:
Grey Subsets of Polish Spaces. 1379-1397 - David Chodounský, Dusan Repovs, Lyubomyr Zdomskyy:
Mathias forcing and Combinatorial Covering Properties of filters. 1398-1410 - James H. Schmerl:
Automorphism Groups of Countable Arithmetically saturated Models of Peano Arithmetic. 1411-1434
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-11-14 22:40 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:
