default search action
The Journal of Symbolic Logic, Volume 76
Volume 76, Number 1, March 2011
- Nick Haverkamp:
Cardinal characteristics on graphs. 1-33 - Heike Mildenberger:
The club principle and the distributivity number. 34-46 - Martin Koerwien:
A complicated omega-stable depth 2 theory. 47-65 - Barbara F. Csima, Valentina S. Harizanov, Russell G. Miller, Antonio Montalbán:
Computability of Fraïssé limits. 66-93 - Lavinia Egidi
, Giovanni Faglia:
Double-exponential inseparability of Robinson subsystem Q+. 94-124 - Javier Moreno:
Iterative differential Galois theory in positive characteristic: A model theoretic approach. 125-142 - Vasco Brattka
Weihrauch degrees, omniscience principles and weak computability. 143-176 - Charles M. Harris:
On the jump classes of noncuppable enumeration degrees. 177-197 - Jörg Brendle
Mad families, splitting families and large continuum. 198-208 - Vinicius Cifú Lopes, Lou van den Dries:
Invariant measures on groups satisfying various chain conditions. 209-226 - Rizos Sklinos
On the generic type of the free group. 227-234 - Vinicius Cifú Lopes:
Euler characteristics for strongly minimal groups and the eq-expansions of vector spaces. 235-242 - Sy-David Friedman, Luca Motto Ros
Analytic equivalence relations and bi-embeddability. 243-266 - Paul Shafer:
Coding true arithmetic in the Medvedev and Muchnik degrees. 267-288 - Noam Greenberg, André Nies
Benign cost functions and lowness properties. 289-312 - Matthias Baaz
On the non-confluence of cut-elimination. 313-340 - Per Lindström:
A theorem on partial conservativity in arithmetic. 341-347 - Cédric Milliet:
Stable division rings. 348-352 - Henry Towsner
Hindman's theorem: an ultrafilter argument in second order arithmetic. 353-360
Volume 76, Number 2, June 2011
- Frank Wagner:
Propriétés résiduelles dans les groupes supersimples. 361-367 - Mark A. Fulk:
Robust separations in inductive inference. 368-376 - Ayhan Günaydin
Dependent pairs. 377-390 - Alexander Berenstein
The independence property in generalized dense pairs of structures. 391-404 - Pierre Matet:
The Magidor function and diamond. 405-417 - Philip D. Welch
Weak systems of determinacy and arithmetical quasi-inductive definitions. 418-436 - Maciej Malicki:
On Polish groups admitting a compatible complete left-invariant metric. 437-447 - Pierre Simon:
On dp-minimal ordered structures. 448-460 - Greg Hjorth, André Nies
Borel structures and Borel theories. 461-476 - Sy-David Friedman, Ajdin Halilovic:
The tree property at ℵω+2. 477-490 - George Barmpalias
Jump inversions inside effectively closed sets and applications to randomness. 491-518 - Victoria Gitman
Ramsey-like cardinals. 519-540 - Victoria Gitman
Ramsey-like cardinals II. 541-560 - Itay Neeman:
Necessary use of Σ¹₁ induction in a reversal. 561-574 - Alberto Marcone
The Veblen functions for computability theorists. 575-602 - Vince Bárány, Lukasz Kaiser, Alexander Rabinovich
Expressing cardinality quantifiers in monadic second-order logic over chains. 603-619 - Sy-David Friedman, Philip D. Welch
Hypermachines. 620-636 - Sam Sanders:
ERNA and Friedman's Reverse Mathematics. 637-664 - Anand Pillay:
Stable embeddedness and NIP. 665-672 - Michael Gabbay:
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language. 673-699 - Noam Greenberg:
A random set which only computes strongly jump-traceable c.e. sets. 700-718 - Philip D. Welch
Determinacy in strong cardinal models. 719-728 - Barnabás Farkas
Hechler's Theorem for tall analytic P-ideals. 729-736
Volume 76, Number 3, September 2011
- Alf Onshuus:
On dp-minimality, strong dependence and weight. 737-758 - Tapani Hyttinen
Categoricity transfer in simple finitary abstract elementary classes. 759-806 - Thomas Given-Wilson
A combinatory account of internal structure. 807-826 - Sean Cox:
Nonregular ultrafilters on ω2. 827-845 - Ekaterina B. Fokina
Classes of Ulm type and coding rank-homogeneous trees in other structures. 846-869 - Robin Hirsch
Weak representations of relation algebras and relational bases. 870-882 - Uri Andrews:
A new spectrum of recursive models using an amalgamation construction. 883-896 - Wei Wang:
Relative enumerability and 1-genericity. 897-913 - Kentaro Fujimoto:
Autonomous progression and transfinite iteration of self-applicable truth. 914-945 - David Diamondstone, Keng Meng Ng
Strengthening prompt simplicity. 946-972 - Marcello Mamino:
Splitting definably compact groups in o-minimal structures. 973-986 - Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke:
Potential isomorphism of elementary substructures of a strictly stable homogeneous model. 987-1004 - Christian Rosendal:
Completely metrisable groups acting on trees. 1005-1022 - Cédric Milliet:
On enveloping type-definable structures. 1023-1034 - John Krueger:
Weak compactness and no partial squares. 1035-1060 - Russell Miller:
Low5 Boolean subalgebras and computable copies. 1061-1074 - Marcin Sabok, Jindrich Zapletal
Forcing properties of ideals of closed sets. 1075-1095 - Sidney C. Bailin:
Retraction of: "A normalization theorem for set theory". 1096
Volume 76, Number 4, December 2011
- Bernhard Irrgang:
Forcings constructed along morasses. 1097-1125 - Andrés Eduardo Caicedo, Sy-David Friedman:
BPFA and projective well-orderings of the reals. 1126-1136 - Jiang Liu, Guohua Wu:
An almost-universal cupping degree. 1137-1152 - Jakob Kellner
Saccharinity. 1153-1183 - Rebecca Weber:
Degree invariance in the Π01 classes. 1184-1210 - Stephen Binns:
Relative Kolmogorov complexity and geometry. 1211-1239 - Joseph Flenner:
Relative decidability and definability in henselian valued fields. 1240-1260 - Tomasz Kowalski
Quasi-subtractive varieties. 1261-1286 - Barbara F. Csima, Rod Downey, Keng Meng Ng
Limits on jump inversion for strong reducibilities. 1287-1296 - Christian Rosendal:
Finitely approximable groups and actions Part I: The Ribes - Zaluesskiĭ property. 1297-1306 - Christian Rosendal:
Finitely approximable groups and actions Part II: Generic representations. 1307-1321 - Heike Mildenberger, Saharon Shelah
The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric groupcan be larger than +. 1322-1340 - Todor Tsankov:
The additive group of the rationals does not have an automatic presentation. 1341-1351 - Dietrich Kuske, Markus Lohrey:
Automatic structures of bounded degree revisited. 1352-1380 - Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller:
Strong isomorphism reductions in complexity theory. 1381-1402 - Krzysztof Krupinski:
On relationships between algebraic properties of groups and rings in some model-theoretic contexts. 1403-1417 - Gareth Jones, Tamara Servi:
On the decidability of the real field with a generic power function. 1418-1428 - Christopher Hardin:
On transitive subrelations of binary relations. 1429-1440 - Rémi Strullu:
MRP, tree properties and square principles. 1441-1452 - Charlotte Kestner, Anand Pillay:
Remarks on unimodularity. 1453-1458
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-10-02 20:32 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: