default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 77
Volume 77, Number 1, March 2012
- Artem Chernikov, Itay Kaplan
:
Forking and dividing in NTP₂ theories. 1-20 - Mingzhong Cai:
Array nonrecursiveness and relative recursive enumerability. 21-32 - Mingzhong Cai, Richard A. Shore:
Domination, forcing, array nonrecursiveness and relative recursive enumerability. 33-48 - Toshimichi Usuba:
Splitting stationary sets in (λ). 49-62 - Clifton F. Ealy, Isaac Goldbring:
Thorn-forking in continuous logic. 63-93 - Cédric Milliet:
On properties of (weakly) small groups. 94-110 - Gareth Boxall, Philipp Hieromyni:
Expansions which introduce no new open sets. 111-121 - Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán:
Isomorphism relations on computable structures. 122-132 - Hristo Ganchev, Mariya Ivanova Soskova:
Cupping and definability in the local structure of the enumeration degrees. 133-158 - Michael Hrusák, Ondrej Zindulka:
Cardinal invariants of monotone and porous sets. 159-173 - Timothy J. Carlson, Gunnar Wilken:
Normal forms for elementary patterns. 174-194 - M. E. Malliaris:
Hypergraph sequences as a tool for saturation of ultrapowers. 195-223 - Longyun Ding:
Borel reducibility and Hölder(α) embeddability between Banach spaces. 224-244 - Ian M. Hodkinson, Szabolcs Mikulás:
On canonicity and completions of weakly representable relation algebras. 245-262 - Pierre Simon:
Finding generically stable measures. 263-278 - Dima Sinapova:
The tree property at ℵω+1. 279-290 - Frank Stephan, Jason Teutsch:
An incomplete set of shortest descriptions. 291-307 - David Fernández-Duque:
Dynamic topological logic of metric spaces. 308-328 - Aaron Hill:
The complexity of squares in the group of isometries of the Baire space. 329-336 - David M. Evans, Marco S. Ferreira:
The geometry of Hrushovski constructions, II. The strongly minimal case. 337-349 - Olivier Finkel, Stevo Todorcevic:
A hierarchy of tree-automatic structures. 350-368
Volume 77, Number 2, June 2012
- Sonat Süer:
On subgroups of the additive group in differentially closed fields. 369-391 - Alexander Berenstein, Evgueni Vassiliev:
Weakly one-based geometric theories. 392-422 - Ahuva C. Shkop:
Henson and Rubel's theorem for Zilber's pseudoexponentiation. 423-432 - Chengling Fang, Guohua Wu:
Nonhemimaximal degrees and the high/low hierarchy. 433-446 - Chris J. Conidis:
A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one. 447-474 - Benjamin Claverie, Ralf Schindler:
Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁. 475-498 - Vincent Guingona:
On uniform definability of types over finite sets. 499-514 - Tetsuya Ishiu, Paul B. Larson:
Some results about (+) proved by iterated forcing. 515-531 - Tetsuya Ishiu, Paul B. Larson:
ℛmax variations for separating club guessing principles. 532-544 - Koushik Pal:
Multiplicative valued difference fields. 545-579 - Justin Brody, Michael C. Laskowski:
On rational limits of Shelah - Spencer graphs. 580-592 - Alexis Bès, Alexander Rabinovich:
On countable chains having decidable monadic theory. 593-608 - Jiayi Liu:
RT₂2 does not imply WKL₀. 609-620 - Raf Cluckers, Eva Leenknegt:
A version of p-adic minimality. 621-630 - Antongiulio Fornasiero, E. Vasquez Rifo:
Hausdorff measure on o-minimal structures. 631-648 - Zofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff B. Paris:
Truth definitions without exponentiation and the Σ₁ collection scheme. 649-655 - Samuel R. Buss:
Sharpened lower bounds for cut elimination. 656-668 - Matthias Baaz, Stefan Hetzl, Daniel Weller:
On the complexity of proof deskolemization. 669-686 - Ernst-Erich Doberkat:
A stochastic interpretation of propositional dynamic logic: expressivity. 687-716 - Saharon Shelah, Pierre Simon:
Adding linear orders. 717-725 - Paola D'Aquino, Julia F. Knight, Sergei Starchenko:
Corrigendum to: "Real closed fields and models of arithmetic". 726 - Luc Bélair, Françoise Point:
Corrigendum to: "Quantifier elimination in valued Ore modules". 727-728
Volume 77, Number 3, September 2012
- Emanuel Kieronski, Martin Otto:
Small substructures and decidability issues for first-order logic with two variables. 729-765 - Shimon Garti, Saharon Shelah:
A strong polarized relation. 766-776 - Graham Emil Leigh, Michael Rathjen:
The Friedman - Sheard programme in intuitionistic logic. 777-806 - Saeed Salehi:
Herbrand consistency of some arithmetical theories. 807-827 - Murdoch James Gabbay:
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free. 828-852 - Ulrich Kohlenbach, Alexander Kreuzer:
Term extraction and Ramsey's theorem for pairs. 853-895 - Eugenio G. Omodeo, Alberto Policriti:
The Bernays - Schönfinkel - Ramsey class for set theory: decidability. 896-918 - Gregory L. Cherlin, Adrien Deloro:
Small representations of SL2 in the finite Morley rank category. 919-933 - Dima Sinapova:
The tree property and the failure of the Singular Cardinal Hypothesis at ℵω2. 934-946 - David Fernández-Duque:
A sound and complete axiomatization for Dynamic Topological Logic. 947-969 - Agi Kurucz, Sérgio Marcelino:
Non-finitely axiomatisable two-dimensional modal logics. 970-986 - Konstantin Slutsky:
Non-genericity phenomena in ordered Fraïssé classes. 987-1010 - Philipp Lücke:
Σ11-definability at uncountable regular cardinals. 1011-1046 - Jan Cz. Dobrowolski, Krzysztof Krupinski:
On ω-categorical, generically stable groups. 1047-1056
Volume 77, Number 4, December 2012
- Özlem Beyarslan, Ehud Hrushovski:
On algebraic closure in pseudofinite fields. 1057-1066 - Brooke M. Andersen, Asher M. Kach, Alexander G. Melnikov, Reed Solomon:
Jump degrees of torsion-free abelian groups. 1067-1100 - David Asperó, Sy-David Friedman:
Definable well-orders of H(ω2) and GCH. 1101-1121 - Farmer Schlutzenberg:
Homogeneously Suslin sets in tame mice. 1122-1146 - Nicolas Guzy, Françoise Point:
Topological differential fields and dimension functions. 1147-1164 - James H. Schmerl:
A generalization of Sierpiński's paradoxical decompositions: Coloring semialgebraic grids. 1165-1183 - Hristo Ganchev, Mariya Ivanova Soskova:
Interpreting true arithmetic in the local structure of the enumeration degrees. 1184-1194 - Andrew Polonsky:
The range property fails for H. 1195-1210 - Robin Hirsch, Marcel Jackson:
Undecidability of representability as binary relations. 1211-1244 - Predrag Tanovic:
On Kueker's conjecture. 1245-1256 - Sarah Cotter, Sergei Starchenko:
Forking in VC-minimal theories. 1257-1271 - Stephen Flood:
Reverse mathematics and a Ramsey-type König's Lemma. 1272-1280 - Bernhard König, Yasuo Yoshinobu:
Kurepa trees and Namba forcing. 1281-1290 - R. Elageili, John Kenneth Truss:
Finitely generated free Heyting algebras: the well-founded initial segment. 1291-1307 - Francesco Ciraulo, Giovanni Sambin:
A constructive Galois connection between closure and interior. 1308-1324 - Todd Eisworth:
Simultaneous reflection and impossible ideals. 1325-1338
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-01-02 18:02 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:
