default search action
The Journal of Symbolic Logic, Volume 79
Volume 79, Number 1, March 2014
- David Pierce:
Fields with several Commuting Derivations. 1-19 - W. M. Phillip Hudelson:
Mass Problems and initial Segment Complexity. 20-44 - Annalisa Conversano:
A Reduction to the Compact Case for Groups Definable in O-Minimal Structures. 45-53 - Alex Rennet:
The non-Axiomatizability of O-Minimality. 54-59 - Uri Andrews, Steffen Lempp, Joseph S. Miller
, Keng Meng Ng
Universal computably Enumerable Equivalence Relations. 60-88 - Lorenzo Carlucci, Konrad Zdanowski
The strength of Ramsey's Theorem for Coloring Relatively Large Sets. 89-102 - M. Malliaris, Saharon Shelah
Model-Theoretic Properties of Ultrafilters Built by Independent families of Functions. 103-134 - Itaï Ben Yaacov, Artem Chernikov:
An Independence Theorem for Ntp2 Theories. 135-153 - Joseph Flenner, Vincent Guingona:
Convexly orderable Groups and Valued Fields. 154-170 - Richard A. Shore:
The Turing Degrees below generics and randoms. 171-178 - Hans Adler, Enrique Casanovas
Generic stability and stability. 179-185 - Uri Andrews:
Decidable Models of ω-Stable Theories. 186-192 - Laura Fontanella:
The Strong Tree Property at Successors of singular Cardinals. 193-207 - Robin Hirsch
The NEAT Embedding Problem for Algebras Other than cylindric Algebras and for Infinite Dimensions. 208-222 - George M. Bergman:
Families of Ultrafilters, and Homomorphisms on Infinite Direct Product Algebras. 223-239 - Linda Brown Westrick:
A Lightface Analysis of the differentiability rank. 240-265 - Joan Bagaria
ON ${\omega _1}$-STRONGLY COMPACT CARDINALS. 266-278 - Milos S. Kurilic:
From A1 to D5: towards a forcing-Related Classification of Relational Structures. 279-295 - Gennadi Puninski, Carlo Toffalori:
Decidability of Modules over a BéZout Domain D+xq[X] with d a Principal Ideal Domain and Q its Field of fractions. 296-305 - Fernando Ferreira
A New Computation of the σ-Ordinal of KPω. 306-324
Volume 79, Number 2, June 2014
- Toshiyasu Arai:
Lifting Proof Theory to the Countable Ordinals: Zermelo-Fraenkel Set Theory. 325-354 - Hans Schoutens:
O-Minimalism. 355-409 - Katrin Tent:
The Free Pseudospace is n-ample, but not (n + 1)-ample. 410-428 - Itay Neeman:
The Tree Property up to אω+1. 429-459 - Itaï Ben Yaacov, Alexander Berenstein
Almost indiscernible Sequences and convergence of Canonical Bases. 460-484 - Chad E. Brown, Christine Rizkallah
Glivenko and Kuroda for Simple Type Theory. 485-495 - Samuel R. Buss, Leszek Aleksander Kolodziejczyk, Neil Thapen:
Fragments of Approximate Counting. 496-525 - Laurent Bienvenu, Rod Downey, Noam Greenberg, André Nies
Characterizing Lowness for Demuth Randomness. 526-560 - Ermek S. Nurkhaidarov, James H. Schmerl:
Automorphism Groups of saturated Models of Peano Arithmetic. 561-584 - Itay Kaplan
Examples in dependent Theories. 585-619 - Bruno Bauwens
Complexity of Complexity and Strings with Maximal Plain and Prefix Kolmogorov Complexity. 620-632 - Theodore A. Slaman, Andrea Sorbi:
A note on initial Segments of the Enumeration Degrees. 633-643 - Michal Doucha:
F σ Equivalence Relations and Laver forcing. 644-653
Volume 79, Number 3, September 2014
- Itaï Ben Yaacov:
Model Theoretic Properties of Metric Valued Fields. 655-675 - George Barmpalias
Exact Pairs for the Ideal of the k-Trivial Sequences in the Turing Degrees. 676-692 - Clément Lasserre:
R.J. Thompson's Groups F and T are bi-Interpretable with the Ring of the Integers. 693-711 - Sato Kentaro:
Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories. 712-732 - Claudia Degroote, Jeroen Demeyer:
Diophantine Sets of polynomials over Algebraic Extensions of the Rationals. 733-747 - Daniel Lowengrub:
One Dimensional T.T.T Structures. 748-775 - Johanna N. Y. Franklin, Keng Meng Ng:
ω-Change Randomness and Weak Demuth Randomness. 776-791 - Robert S. Lubarsky, Hannes Diener:
Separating the Fan Theorem and its weakenings. 792-813 - Toshiyasu Arai:
Conservations of First-order Reflections. 814-825 - Tomasz Gogacz, Krzysztof Krupinski:
On Regular Groups and Fields. 826-844 - Richard Kaye:
Interpretations between ω-Logic and second-order Arithmetic. 845-858 - Egor Ianovski
Complexity of Equivalence Relations and Preorders from Computability Theory. 859-881 - Nathanael Leedom Ackerman:
Sheaf Recursion and a Separation Theorem. 882-907 - Achilles Beros:
Learning Theory in the Arithmetic Hierarchy. 908-927 - Jay Williams:
Universal Countable Borel quasi-Orders. 928-954 - David R. Bélanger:
Reverse Mathematics of First-order Theories with Finitely Many Models. 955-984
Volume 79, Number 4, December 2014
- Bijan Afshordel:
Generic Automorphisms with prescribed Fixed Fields. 985-1000 - Asher M. Kach, Antonio Montalbán:
Undecidability of the Theories of Classes of Structures. 1001-1019 - Pierre Simon, Sergei Starchenko:
On Forking and Definability of Types in some DP-Minimal Theories. 1020-1024 - Pierre Simon:
Dp-Minimality: Invariant Types and DP-rank. 1025-1045 - Omar Selim:
On Talagrand's Exhaustive pathological submeasure. 1046-1060 - Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi
Algebraic Geometry for MV-Algebras. 1061-1091 - Will Boney:
Tameness from Large Cardinal Axioms. 1092-1119 - Cédric Milliet:
Groupes fins. 1120-1132 - Tristan Kuijpers, Eva Leenknegt:
Differentiation in P-Minimal Structures and a P-ADIC Local monotonicity Theorem. 1133-1147 - Konstantinos A. Beros:
Universal Subgroups of Polish Groups. 1148-1183 - S. Jackson, Richard Ketchersid, Farmer Schlutzenberg
Determinacy and JóNsson Cardinals in L(ℝ). 1184-1198 - Ludomir Newelski:
Topological Dynamics of Stable Groups. 1199-1223 - Merlijn Sevenster:
Dichotomy Result for Independence-Friendly Prefixes of generalized Quantifiers. 1224-1246 - Sean Cox, Martin Zeman:
Ideal Projections and forcing Projections. 1247-1285 - Gunter Fuchs
On Sequences Generic in the Sense of Magidor. 1286-1314 - Antonio Montalbán:
Priority Arguments via True stages. 1315-1335 - Will Anscombe, Jochen Koenigsmann:
AN EXISTENTIAL ∅-DEFINITION OF $F_q [[t]]$ IN $F_q \left( t \right)$. 1336-1343
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:48 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: