Journal of Symbolic Logic (Project Euclid)

Journal of Symbolic Logic, Volume 73, Number 2 (2008)

Mon, 23 Jun 2008 11:28 EDT

Contents:

J. R. Steel. Scales in K(ℝ) at the end of a weak gap . 369--390.

Sy-David Friedman, Philip Welch, W. Hugh Woodin. On the consistency strength of the inner model hypothesis . 391--400.

Bernard A. Anderson. Reals n -generic relative to some perfect tree . 401--411.

Itay Neeman. Finite state automata and monadic definability of singular cardinals . 412--438.

Guillaume Valette. On metric types that are definable in an o-minimal structure . 439--447.

Vincent Astier. Special groups whose isometry relation is a finite union of cosets . 448--473.

James Gray. Coding complete theories in Galois groups . 474--491.

Moti Gitik. Some pathological examples of precipitous ideals . 492--511.

Natasha Dobrinen, Sy-David Friedman. Internal consistency and global co-stationarity of the ground model . 512--521.

Itay Neeman. Hierarchies of forcing axioms II . 522--542.

Sebastiaan A. Terwijn. On the structure of the Medvedev lattice . 543--558.

George Barmpalias, Andrew E. M. Lewis, Mariya Soskova. Randomness, lowness and degrees . 559--577.

Leszek Aleksander Kołodziejczyk, Neil Thapen. The polynomial and linear hierarchies in models where the weak pigeonhole principle fails . 578--592.

Bruno Durand, Leonid A. Levin, Alexander Shen. Complex tilings . 593--613.

Gunter Fuchs, Joel David Hamkins. Changing the heights of automorphism towers by forcing with Souslin trees over L . 614--633.

Mariya I. Soskova, S. Barry Cooper. How enumeration reducibility yields extended Harrington non-splitting . 634--655.

Alexei G. Myasnikov, Alexander N. Rybalov. Generic complexity of undecidable problems . 656--673.

Luís Pereira. The PCF conjecture and large cardinals . 674--688.

Chris Impens, Sam Sanders. Transfer and a supremum principle for ERNA . 689--710.

Miroslav Repický. Cardinal invariants and the collapse of the continuum by Sacks forcing . 711--727.

Journal of Symbolic Logic, Volume 73, Number 3 (2008)

Sat, 27 Dec 2008 11:53 EST

Contents:

Pierre Matet. Weak square bracket relations for P κ (λ) . 729--751.

Hiroaki Minami. Suslin forcing and parametrized ♢ principles . 752--764.

John T. Baldwin, Saharon Shelah. Examples of non-locality . 765--782.

Alexander Rabinovich, Amit Shomrat. Selection in the monadic theory of a countable ordinal . 783--816.

Juliette Kennedy, Saharon Shelah, Jouko Väänänen. Regular ultrafilters and finite square principles . 817--823.

Fredrik Engström. A note on standard systems and ultrafilters . 824--830.

Sy-David Friedman, Katherine Thompson. Internal consistency for embedding complexity . 831--844.

Victoria Gitman. Scott’s problem for Proper Scott sets . 845--860.

Markus Junker, Martin Ziegler. The 116 reducts of (ℚ, <,a) . 861--884.

Chris J. Conidis. Classifying model-theoretic properties . 885--905.

Sy-David Friedman, Katherine Thompson. Perfect trees and elementary embeddings . 906--918.

Morten Heine Sørensen, Paweł Urzyczyn. Strong cut-elimination in sequent calculus using Klop’s ι-translation and perpetual reductions . 919--932.

Josef Berger. The weak König lemma and uniform continuity . 933--939.

Ian Hodkinson, Altaf Hussain. The modal logic of affine planes is not finitely axiomatisable . 940--952.

Albin L. Jones. On a result of Szemerédi . 953--956.

Fares Maalouf. Construction d’un groupe dans les structures C-minimales . 957--968.

Matthias Baaz, Rosalie Iemhoff. On Skolemization in constructive theories . 969--998.

Johanna N. Y. Franklin. Hyperimmune-free degrees and Schnorr triviality . 999--1008.

Karen Lange. The degree spectra of homogeneous models . 1009--1028.

Justin Tatch Moore. Aronszajn lines and the club filter . 1029--1035.

Immanuel Halupczok. Motives for perfect PAC fields with pro-cyclic Galois group . 1036--1050.

Steven Perron. Examining fragments of the quantified propositional calculus . 1051--1080.

Albert Visser. Closed fragments of provability logics of constructive theories . 1081--1096.

Journal of Symbolic Logic, Volume 73, Number 4 (2008)

Sat, 27 Dec 2008 11:56 EST

Contents:

Kenneth Harris. η-representation of sets and degrees . 1097--1121.

Daniel E. Severin. Unary primitive recursive functions . 1122--1138.

Benjamin D. Miller. Measurable chromatic numbers . 1139--1157.

Bart Kastermans, Juris Steprāns, Yi Zhang. Analytic and coanalytic families of almost disjoint functions . 1158--1172.

Maciej Malicki. An example of a Polish group . 1173--1178.

Bruno Poizat. A la recherche de la definition de la complexite d'espace pour le calcul des polynomes a la maniere de Valiant . 1179--1201.

Andrzej Starosolski. P-hierarchy on β ω . 1202--1214.

Thomas A. Johnstone. Strongly unfoldable cardinals made indestructible . 1215--1248.

Kazimierz Swirydowicz. There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height . 1249--1270.

Greg Hjorth. Borel equivalence relations which are highly unfree . 1271--1277.

Boaz Tsaban, Lyubomyr Zdomskyy. Combinatorial images of sets of reals and semifilter trichotomy . 1278--1288.

David Milovich. Splitting families and the Noetherian type of β ω ∖ ω . 1289--1306.

James Cummings, Sy-David Friedman. □ on the singular cardinals . 1307--1314.

Charles McCarty. Completeness and incompleteness for intuitionistic logic . 1315--1327.

Su Gao, Michael Ray Oliver. Borel complexity of isomorphism between quotient Boolean algebras . 1328--1340.

Stephen Binns. Π⁰₁ classes with complex elements . 1341--1353.

Hajime Ishihara, Peter Schuster. A continuity principle, a version of Baire's theorem and a boundedness principle . 1354--1360.

Dima Sinapova. A model for a very good scale and a bad scale . 1361--1372.

Rachel Epstein. Prime models of computably enumerable degree . 1373--1388.

Pavel Pudl'ak. Fragments of bounded arithmetic and the lengths of proofs . 1389--1406.

Roland Sh. Omanadze, Andrea Sorbi. A characterization of the Δ⁰₂ hyperhyperimmune sets . 1407--1415.

Mirna Džamonja, Grzegorz Plebanek. Strictly positive measures on Boolean algebras . 1416--1432.

Miloš S. Kurilić, Boris Šobot. Power-collapsing games . 1433--1457.

Journal of Symbolic Logic, Volume 74, Number 1 (2009)

Sun, 04 Jan 2009 10:19 EST

Contents:

Heike Mildenberger. Creatures on ω 1 and weak diamonds . 1--16.

Nathan Bowler, Thomas Forster. Normal subgroups of infinite symmetric groups, with an application to stratified set theory . 17--26.

Luca Motto Ros. Borel-amenable reducibilities for sets of reals . 27--49.

Ludomir Newelski. Topological dynamics of definable group actions . 50--72.

Jakob Kellner, Saharon Shelah. Decisive creatures and large continuum . 73--104.

Hannu Niemistö. Zero-one law and definability of linear order . 105--123.

Verónica Becher, Serge Grigorieff. From index sets to randomness in ∅ n : random reals and possibly infinite computations. Part II . 124--156.

Konrad Zdanowski. On second order intuitionistic propositional logic without a universal quantifier . 157--167.

Michael A. Benedikt, Luc Segoufin. Towards a characterization of order-invariant queries over tame graphs . 168--186.

Benjamin Claverie, Ralf Schindler. Increasing u 2 by a stationary set preserving forcing . 187--200.

Jennifer Chubb, Jeffry L. Hirst, Timothy H. McNicholl. Reverse mathematics, computability, and partitions of trees . 201--215.

Alexander Usvyatsov. On generically stable types in dependent theories . 216--250.

Sy-David Friedman, Katherine Thompson. An inner model for global domination . 251--264.

Mihai Ganea. Arithmetic on semigroups . 265--278.

Stefan Göller, Markus Lohrey, Carsten Lutz. PDL with intersection and converse: satisfiability and infinite-state model checking . 279--314.

Ronald Jensen, Ernest Schimmerling, Ralf Schindler, John Steel. Stacking mice . 315--335.

Pavel Semukhin. Prime models of finite computable dimension . 336--348.

Stephen Binns, Bjørn Kjos-Hanssen. Finding paths through narrow and wide trees . 349--360.

Journal of Symbolic Logic, Volume 74, Number 2 (2009)

Tue, 02 Jun 2009 09:13 EDT

Contents:

Saharon Shelan. Model theory without choice? Categoricity . 361--401.

Greg Hjorth. Glimm-Effros for coanalytic equivalence relations . 402--422.

Gunter Fuchs, Joel David Hamkins. Degrees of rigidity for Souslin trees . 423--454.

Alan R. Woods, Ch. Cornaros. On bounded arithmetic augmented by the ability to count certain sets of primes . 455--473.

Ravi Rajani, Mike Prest. Pure-injectivity and model theory for G-sets . 474--488.

Lorenzo Carlucci, John Case, Sanjay Jain. Learning correction grammars . 489--516.

Antonín Kučera, Theodore A. Slaman. Low upper bounds of ideals . 517--534.

Douglas Cenzer, Geoffrey LaForte, Jeffrey Remmel. Equivalence structures and isomorphisms in the difference hierarchy . 535--556.

Damir D. Dzhafarov, Carl G Jockusch, Jr.. Ramsey's theorem and cone avoidance . 557--578.

Xianghui Shi. Projective prewellorderings vs projective wellfounded relations . 579--596.

Ya'acov Peterzil. Returning to semi-bounded sets . 597--617.

Serikzhan A. Badaev, Steffen Lempp. A decomposition of the Rogers semilattice of a family of d.c.e. sets . 618--640.

Andrew D. Brooke-Taylor. Large cardinals and definable well-orders on the universe . 641--654.

Yimu Yin. Henselianity and the Denef-Pas language . 655--664.

Noam Greenberg, Joseph S. Miller. Lowness for Kurtz randomness . 665--678.

Bernard A. Anderson. Automorphisms of the truth-table degrees are fixed on a cone . 679--688.

Charles McCarty. Two questions from Dana Scott: Intuitionistic topologies and continuous functions . 689--692.

Carl G. Jockusch, Jr., Bart Kastermans, Steffen Lempp, Manuel Lerman, Reed Solomon. Stability and posets . 693--711.

Kenneth Kunen, Dilip Raghavan. Gregory trees, the continuum, and Martin's axiom . 712--720.

Journal of Symbolic Logic, Volume 74, Number 3 (2009)

Tue, 16 Jun 2009 09:16 EDT

Contents:

Koichiro Ikeda, Hirotaka Kikyo, Akito Tsuboi. On generic structures with a strong amalgamation property . 721--733.

Moshe Kamensky. The model completion of the theory of modules over finitely generated commutative algebras . 734--750.

Ralf Schindler, John Steel. The self-iterability of L[E] . 751--779.

Nikolaos Galatos, Constantine Tsinakis. Equivalence of consequence relations: an order-theoretic and categorical perspective . 780--810.

Robin Hirsch, Ian Hodkinson. Strongly representable atom structures of cylindric algebras . 811--828.

Emil Jeřábek. Approximate counting by hashing in bounded arithmetic . 829--860.

S. Awodey, N. Gambino, P. L. Lumsdaine, M. A. Warren. Lawvere—Tierney sheaves in Algebraic Set Theory . 861--890.

Alessandro Berarducci. Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup . 891--900.

Chris Impens. Saturation and Σ₂-transfer for ERNA . 901--913.

John T. Baldwin, Alexei Kolesnikov, Saharon Shelah. The amalgamation spectrum . 914--928.

Robert H. Gilman, Yuri Gurevich, Alexei Miasnikov. A geometric zero-one law . 929--938.

Stephen Fenner, William Gasarch, Brian Postow. The complexity of learning SUBSEQ(A) . 939--975.

Pavel Hrubeš. Kreisel's Conjecture with minimality principle . 976--988.

Klaus Ambos-Spies, Decheng Ding, Wei Wang, Liang Yu. Bounding non- GL ₂ and R.E.A. . 989--1000.

Miklós Maróti. The existence of a near-unanimity term in a finite algebra is decidable . 1001--1014.

Gunter Fuchs. Combined Maximality Principles up to large cardinals . 1015--1046.

John Chisholm, Ekaterina B. Fokina, Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Sara Quinn. Intrinsic bounds on complexity and definability at limit levels . 1047--1060.

Jörg Brendle, Michael Hrušák. Countable Fréchet Boolean groups: An independence result . 1061--1068.

Sy-David Friedman, Menachem Magidor. The number of normal measures . 1069--1080.

Journal of Symbolic Logic, Volume 74, Number 4 (2009)

Mon, 05 Oct 2009 09:19 EDT

Contents:

Matthew Foreman. Forbidden intervals . 1081--1099.

Jeremy Avigad, Henry Towsner. Functional interpretation and inductive definitions . 1100--1120.

H. Jerome Keisler, Wafik Boulos Lotfallah. Almost everywhere elimination of probability quantifiers . 1121--1142.

David E. Evans, Mark Wing Ho Wong. Some remarks on generic structures . 1143--1154.

Peter Koellner, W. Hugh Woodin. Incompatible Ω-complete theories . 1155--1170.

Emil Jeřábek. Canonical rules . 1171--1205.

Arno Fehm, Wulf-Dieter Geyer. A note on defining transcendentals in function fields . 1206--1210.

Moti Gitik, John Krueger. Approachability at the second successor of a singular cardinal . 1211--1224.

Marcus Tressl. Heirs of box types in polynomially bounded structures . 1225--1263.

David Diamondstone. Promptness does not imply superlow cuppability . 1264--1272.

Greg Hjorth, Ioannis A. Souldatos. Independently axiomatizable ℒ ω 1 ,ω theories . 1273--1286.

Todd Eisworth, Saharon Shelah. Successors of singular cardinals and coloring theorems {II} . 1287--1309.

Barbara F. Csima, Joseph R. Mileti. The strength of the rainbow Ramsey Theorem . 1310--1324.

Russell Miller. d -computable categoricity for algebraic fields . 1325--1351.

Rodney G. Downey, Bart Kastermans, Steffen Lempp. On computable self-embeddings of computable linear orderings . 1352--1366.

L. Alberucci, A. Facchini. The modal μ-calculus hierarchy over restricted classes of transition systems . 1367--1400.

Eyvind Martol Briseid. Logical aspects of rates of convergence in metric spaces . 1401--1428.

John S. Wilson. First-order characterization of the radical of a finite group . 1429--1435.

Anand Pillay, Wai Yan Pong. Corrigendum to: “On Lascar rank and Morley rank of definable groups in differentially closed fields” . 1436--1437.

Peter Cholak, Jr.}, Carl G. {Jockusch, Theodore A. Slaman. Corrigendum to: “On the strength of Ramsey's Theorem for pairs” . 1438--1439.

Journal of Symbolic Logic, Volume 75, Number 1 (2010)

Mon, 25 Jan 2010 10:39 EST

Contents:

P. D'Aquino, J. F. Knight, S. Starchenko. Real closed fields and models of Peano arithmetic . 1--11.

Byunghan Kim. Recovering the hyperdefinable group action in the group configuration theorem . 12--24.

Thomas Blossier, Elisabeth Bouscaren. Finitely axiomatizable strongly minimal groups . 25--50.

Jakob Kellner, Saharon Shelah. A Sacks real out of nowhere . 51--76.

Masahiro Hamano, Ryo Takemura. A phase semantics for polarized linear logic and second order conservativity . 77--102.

Richard A. Shore, Bjørn Kjos-Hanssen. Lattice initial segments of the hyperdegrees . 103--130.

Asher M. Kach, Daniel Turetsky. Limitwise monotonic functions, sets, and degrees on computable domains . 131--154.

Ryota Akiyoshi. Tait's conservative extension theorem revisited . 155--167.

Itaï Ben Yaacov, Arthur Paul Pedersen. A proof of completeness for continuous first-order logic . 168--190.

Johanna N.Y. Franklin. Schnorr triviality and genericity . 191--207.

Pantelis E. Eleftheriou. Groups definable in linear o-minimal structures: the non-compact case . 208--220.

John Goodrick. A monotonicity theorem for dp-minimal densely ordered groups . 221--238.

Yijia Chen, Jörg Flum. On the complexity of Gödel's proof predicate . 239--254.

Marianne Morillon. Notions of compactness for special subsets of ℝ I and some weak forms of the axiom of choice . 255--268.

Greg Hjorth. Uniquely undefinable elements . 269--274.

Elías Baro. Normal triangulations in o-minimal structures . 275--288.

H. Simmons. The Ackermann functions are not optimal, but by how much? . 289--313.

Arthur W. Apter, Grigor Sargsyan. An equiconsistency for universal indestructibility . 314--322.

Luca Motto Ros. Baire reductions and good Borel reducibilities . 323--345.

Bruno Poizat. Groups of small Cantor rank . 346--354.

Jaime Gaspar, Ulrich Kohlenbach. On Tao's “finitary” infinite pigeonhole principle . 355--371.

Krzysztof Krupiński. Fields interpretable in superrosy groups with NIP (the non-solvable case) . 372--386.

George Barmpalias, Andrew E.M. Lewis, Keng Meng Ng. The importance of Π⁰₁ classes in effective randomness . 387--400.

Journal of Symbolic Logic, Volume 75, Number 2 (2010)

Thu, 18 Mar 2010 09:06 EDT

Contents:

Marat M. Arslanov, Iskander Sh. Kalimullin, Steffen Lempp. On Downey's conjecture . 401--441.

Ehud Hrushovski, James Loveys. Strongly and co-strongly minimal abelian structures . 442--458.

Eugenio Omodeo, Alberto Policriti. The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability . 459--480.

Markus Junker, Jochen Koenigsmann. Schlanke Körper (Slim fields) . 481--500.

Johanna N. Y. Franklin, Frank Stephan. Schnorr trivial sets and truth-table reducibility . 501--521.

Thomas F. Kent. Interpreting true arithmetic in the Δ 0 2 -enumeration degrees . 522--550.

Jonathan Kirby. On quasiminimal excellent classes . 551--564.

Giorgi Japaridze. Towards applied theories based on computability logic . 565--601.

Dieter Spreen. Effectivity and effective continuity of multifunctions . 602--640.

Moti Gitik. On changing cofinality of partially ordered sets . 641--660.

Michael Hrušák, David Meza-Alcántara, Hiroaki Minami. Pair-splitting, pair-reaping and cardinal invariants of F σ -ideals . 661--677.

Dietrich Kuske, Markus Lohrey. Some natural decision problems in automatic graphs . 678--710.

Richard Ketchersid, Paul B. Larson, Jindřich Zapletal. Regular embeddings of the stationary tower and Woodin's Σ 2 2 maximality theorem . 711--727.

Bakhadyr Khoussainov, Antonio Montalbán. A computable ℵ 0 -categorical structure whose theory computes true arithmetic . 728--740.

Fares Maalouf. Espaces vectoriels C-minimaux . 741--758.

Patrícia Engrácia, Fernando Ferreira. The bounded functional interpretation of the double negation shift . 759--773.

Jan Krajíček. A form of feasible interpolation for constant depth Frege systems . 774--784.

Journal of Symbolic Logic, Volume 75, Number 3 (2010)

Fri, 09 Jul 2010 09:31 EDT

Contents:

Luis Miguel Villegas Silva. The two-cardinal problem for languages of arbitrary cardinality . 785--801.

Ali Bleybel. p-adically closed fields with nonstandard analytic structure . 802--816.

Itaï Ben Yaacov. Definability of groups in ℵ₀-stable metric structures . 817--840.

Roman Wencel. Topological properties of sets definable in weakly o-minimal structures . 841--867.

Jaroslav Nešetřil, Patrice Ossona de Mendez. First order properties on nowhere dense structures . 868--887.

Inge Bethke, Piet Rodenburg. The initial meadows . 888--895.

Paweł Kawa, Janusz Pawlikowski. Extending Baire property by uncountably many sets. . 896--904.

John Goodrick, Alexei Kolesnikov. Groupoids, covers, and 3-uniqueness in stable theories . 905--929.

Douglas Bridges, Matthew Hendtlass. Continuous isomorphisms from R onto a complete abelian group . 930--944.

Jared Corduan, Marcia J. Groszek, Joseph R. Mileti. Reverse mathematics and Ramsey's property for trees . 945--954.

Carlo Toffalori, Kathryn Vozoris. On complex exponentiation restricted to the integers . 955--970.

Karen Lange. A characterization of the 0 -basis homogeneous bounding degrees . 971--995.

Kyriakos Keremedis, Eleftherios Tachtsis. Products of some special compact spaces and restricted forms of AC . 996--1006.

Luc Bélair, Françoise Point. Quantifier elimination in valued Ore modules . 1007--1034.

Assaf Rinot. A relative of the approachability ideal, diamond and non-saturation . 1035--1065.

Arthur W. Apter, Peter Koepke. The consistency strength of choiceless failures of SCH . 1066--1080.

Christian Rosendal. Universally measurable subgroups of countable index . 1081--1086.

Lou van den Dries, Vinicius Cifú Lopes. Division rings whose vector spaces are pseudofinite . 1087--1090.

Su Gao, Steve Jackson, Vincent Kieftenbeld. The {L}aczkovich—{K}omjáth property for coanalytic equivalence relations . 1091--1101.

Christian Herrmann. On the equational theory of projection lattices of finite von Neumann factors . 1102--1110.

Itaï Ben Yaacov. Stability and stable groups in continuous logic . 1111--1136.

Journal of Symbolic Logic, Volume 75, Number 4 (2010)

Mon, 04 Oct 2010 09:16 EDT

Contents:

Giovanni Curi. On the existence of Stone-Čech compactification . 1137--1146.

Krzysztof Krupiński. Generalizations of small profinite structures . 1147--1175.

Romain Grunert. Directed free pseudospaces . 1176--1198.

Keita Yokoyama. Formalizing non-standard arguments in second-order arithmetic . 1199--1210.

Assaf Hasson, Alf Onshuus. Stable types in rosy theories . 1211--1230.

Karim Er-rhaimini, Boban Veličković. PCF structures of height less than ω 3 . 1231--1248.

Manuel Bodirsky, Hubie Chen, Michael Pinsker. The reducts of equality up to primitive positive interdefinability . 1249--1292.

Tomek Bartoszynski, Saharon Shelah. Dual Borel Conjecture and Cohen reals . 1293--1310.

Harvey Friedman, Krzysztof Kurdyka, Chris Miller, Patrick Speissegger. Expansions of the real field by open sets: definability versus interpretability . 1311--1325.

Sergei Tupailo. Consistency of strictly impredicative NF and a little more … . 1326--1338.

Matthew B. Giorgi. A high c.e. degree which is not the join of two minimal degrees . 1339--1358.

Julien Melleray. A note on Hjorth's oscillation theorem . 1359--1365.

James H. Schmerl. Infinite substructure lattices of models of Peano Arithmetic . 1366--1382.

James Cummings, Matthew Foreman. Diagonal Prikry extensions . 1383--1402.

Vera Fischer, Asger Törnquist. A co-analytic maximal set of orthogonal measures . 1403--1414.

M. E. Malliaris. The characteristic sequence of a first-order formula . 1415--1440.

Tom Foster. Uniform model-completeness for the real field expanded by power functions . 1441--1461.

Alice Medvedev. Grouplike minimal sets in ACFA and in T A . 1462--1488.

Alexander Rabinovich. The full binary tree cannot be interpreted in a chain . 1489--1498.

Journal of Symbolic Logic, Volume 76, Number 1 (2011)

Tue, 04 Jan 2011 14:57 EST

Contents:

Nick Haverkamp. Cardinal characteristics on graphs . 1--33.

Heike Mildenberger. The club principle and the distributivity number . 34--46.

Martin Koerwien. A complicated ω-stable depth 2 theory . 47--65.

Barbara F. Csima, Valentina S. Harizanov, Russell 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, Guido Gherardi. 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, Vera Fischer. Mad families, splitting families and large continuum . 198--208.

Lou van den Dries, Vinicius Cifú Lopes. 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, Stefan Hetzl. 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.

Journal of Symbolic Logic, Volume 76, Number 2 (2011)

Thu, 19 May 2011 09:13 EDT

Contents:

Frank Wagner. Propriétés résiduelles dans les groupes supersimples . 361--367.

Mark Fulk. Robust separations in inductive inference . 368--376.

Ayhan Günaydın. Dependent pairs . 377--390.

Alexander Berenstein, Alf Dolich, Alf Onshuus. The independence property in generalized dense pairs of structures . 391--404.

Pierre Matet. The Magidor function and diamond . 405--417.

P. 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 Halilović. The tree property at ℵ ω+2 . 477--490.

George Barmpalias, Rod Downey, Keng Meng Ng. Jump inversions inside effectively closed sets and applications to randomness . 491--518.

Victoria Gitman. Ramsey-like cardinals . 519--540.

Victoria Gitman, P. D Welch. Ramsey-like cardinals II . 541--560.

Itay Neeman. Necessary use of Σ¹₁ induction in a reversal . 561--574.

Alberto Marcone, Antonio Montalbán. The Veblen functions for computability theorists . 575--602.

Vince Bárány, łukasz Kaiser, Alexander Rabinovich. Expressing cardinality quantifiers in monadic second-order logic over chains . 603--619.

Sy-David Friedman, P. 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.

P. D. Welch. Determinacy in strong cardinal models . 719--728.

Barnabás Farkas. Hechler's Theorem for tall analytic P-ideals . 729--736.

Journal of Symbolic Logic, Volume 76, Number 3 (2011)

Wed, 06 Jul 2011 07:43 EDT

Contents:

Alf Onshuus. On dp-minimality, strong dependence and weight . 737--758.

Tapani Hyttinen, Meeri Kesälä. Categoricity transfer in simple finitary abstract elementary classes . 759--806.

Barry Jay, Thomas Given-Wilson. A combinatory account of internal structure . 807--826.

Sean Cox. Nonregular ultrafilters on ω 2 . 827--845.

E. Fokina, J. F. Knight, A. Melnikov, S. M. Quinn, C. Safranski. Classes of Ulm type and coding rank-homogeneous trees in other structures . 846--869.

Robin Hirsch, Ian Hodkinson, Roger D. Maddux. 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. Low 5 Boolean subalgebras and computable copies . 1061--1074.

Marcin Sabok, Jindřich Zapletal. Forcing properties of ideals of closed sets . 1075--1095.

Sidney C. Bailin. Retraction of: “A normalization theorem for set theory” . 1096--1096.

Journal of Symbolic Logic, Volume 76, Number 4 (2011)

Tue, 11 Oct 2011 09:15 EDT

Contents:

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, Saharon Shelah. Saccharinity . 1153--1183.

Rebecca Weber. Degree invariance in the Π 0 1 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, Francesco Paoli, Matthew Spinks. 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 Krupiński. 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 S. Hardin. On transitive subrelations of binary relations . 1429--1440.

Remi Strullu. MRP , tree properties and square principles . 1441--1452.

Charlotte Kestner, Anand Pillay. Remarks on unimodularity . 1453--1458.

Journal of Symbolic Logic, Volume 77, Number 1 (2012)

Fri, 20 Jan 2012 09:12 EST

Contents:

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 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 Harizanov, Julia F. Knight, Charles McCoy, Antonio Montalbán. Isomorphism relations on computable structures . 122--132.

Hristo Ganchev, Mariya I. Soskova. Cupping and definability in the local structure of the enumeration degrees . 133--158.

Michael Hrušák, Ondřej 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 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 Todorčević. A hierarchy of tree-automatic structures . 350--368.

Journal of Symbolic Logic, Volume 77, Number 2 (2012)

Wed, 04 Apr 2012 15:11 EDT

Contents:

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, M. 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₂² does not imply WKL₀ . 609--620.

Raf Cluckers, Eva Leenknegt. A version of p-adic minimality . 621--630.

A. Fornasiero, E. Vasquez Rifo. Hausdorff measure on o-minimal structures . 631--648.

Zofia Adamowicz, Leszek Aleksander Kołodziejczyk, Jeff 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.

P. D'Aquino, J. F. Knight, S. Starchenko. Corrigendum to: “Real closed fields and models of arithmetic” . 726--726.

Luc Bélair, Françoise Point. Corrigendum to: “Quantifier elimination in valued Ore modules” . 727--728.

Journal of Symbolic Logic, Volume 77, Number 3 (2012)

Mon, 13 Aug 2012 08:49 EDT

Contents:

Emanuel Kieroński, 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 E. Leigh, Michael Rathjen. The Friedman—Sheard programme in intuitionistic logic . 777--806.

Saeed Salehi. Herbrand consistency of some arithmetical theories . 807--827.

Murdoch J. Gabbay. Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free . 828--852.

Alexander P. Kreuzer, Ulrich Kohlenbach. Term extraction and Ramsey's theorem for pairs . 853--895.

Alberto Policriti, Eugenio Omodeo. The Bernays—Schönfinkel—Ramsey class for set theory: decidability . 896--918.

Gregory Cherlin, Adrien Deloro. Small representations of SL 2 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. Σ 1 1 -definability at uncountable regular cardinals . 1011--1046.

Jan Dobrowolski, Krzysztof Krupiński. On ω-categorical, generically stable groups . 1047--1056.

Journal of Symbolic Logic, Volume 77, Number 4 (2012)

Mon, 15 Oct 2012 11:39 EDT

Contents:

Ö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(\omega _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 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 Tanović. 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, J. K. 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.

Journal of Symbolic Logic, Volume 78, Number 1 (2013)

Wed, 23 Jan 2013 09:25 EST

Contents:

Todd Eisworth. Getting more colors I . 1--16.

Todd Eisworth. Getting more colors II . 17--38.

Robert S. Lubarsky. On the failure of BD-ࡃ and BD, and an application to the anti-Specker property . 39--56.

Colin G. Bailey. Some jump-like operations in $\mathbf \beta $-recursion theory. . 57--71.

Cédric Milliet. Fields with few types . 72--84.

Peter Koepke, Karen Räsch, Philipp Schlicht. A minimal Prikry-type forcing for singularizing a measurable cardinal . 85--100.

Clinton T. Conley. Canonizing relations on nonsmooth sets . 101--112.

Adam R. Day. Indifferent sets for genericity . 113--138.

Joel David Hamkins, David Linetsky, Jonas Reitz. Pointwise definable models of set theory . 139--156.

Dilip Raghavan. P-ideal dichotomy and weak squares . 157--167.

Fred Galvin, Marion Scheepers. Borel's conjecture in topological groups . 168--184.

Michael C. Laskowski. Mutually algebraic structures and expansions by predicates . 185--194.

Chris J. Conidis, Theodore A. Slaman. Random reals, the rainbow Ramsey theorem, and arithmetic conservation . 195--206.

Philipp Hieronymi. An analogue of the Baire category theorem . 207--213.

Katalin Bimbó, J. Michael Dunn. On the decidability of implicational ticket entailment . 214--236.

Greg Hjorth, Leigh Humphries, Arnold W. Miller. Universal sets for pointsets properly on the n th level of the projective hierarchy . 237--244.

Nathan Bowler, Cong Chen, Jakub Gismatullin. Model theoretic connected components of finitely generated nilpotent groups . 245--259.

Fernando Ferreira, Gilda Ferreira. Atomic polymorphism . 260--274.

Justin Palumbo. Unbounded and dominating reals in Hechler extensions . 275--289.

Bruno Poizat. Centralisateurs génériques . 290--306.

Fredrik Engström, Juha Kontinen. Characterizing quantifier extensions of dependence logic . 307--316.

Laura Fontanella. Strong tree properties for small cardinals . 317--333.

Jeremy Avigad. Uniform distribution and algorithmic randomness . 334--344.

Journal of Symbolic Logic, Volume 78, Number 2 (2013)

Wed, 15 May 2013 10:11 EDT

Contents:

Robert A. Van Wesep. Satisfaction relations for proper classes: applications in logic and set theory . 345--368.

Alfred Dolich, Chris Miller, Charles Steinhorn. Extensions of ordered theories by generic predicates . 369--387.

Thomas Studer. Decidability for some justification logics with negative introspection . 388--402.

Steve Jackson, Benedikt Löwe. Canonical measure assignments . 403--424.

Antonio Montalbán. A fixed point for the jump operator on structures . 425--438.

Vadim Kulikov. Borel reductions and cub games in generalised descriptive set theory . 439--458.

Henry Towsner. Partial impredicativity in reverse mathematics . 459--488.

Daniel Palacín, Frank O. Wagner. Ample thoughts . 489--510.

Gregory Igusa. Nonexistence of minimal pairs for generic computability . 511--522.

Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson. Unexpected imaginaries in valued fields with analytic structure . 523--542.

David Fernández-Duque, Joost J. Joosten. Models of transfinite provability logic . 543--561.

Joan Bagaria, Andrew Brooke-Taylor. On colimits and elementary embeddings . 562--578.

Sam Buss, Mia Minnes. Probabilistic algorithmic randomness . 579--601.

Adi Jarden, Alon Sitton. Independence, dimension and continuity in non-forking frames . 602--632.

Raphaël Carroy. A quasi-order on continuous functions . 633--648.

Cé{d}ric Milliet. On the definability of radicals in supersimple groups . 649--656.

Anand Pillay. Topological dynamics and definable groups . 657--666.

Yo Matsubara, Toschimichi Usuba. On skinny stationary subsets of $\mathcal {P}_\kappa \lambda $ . 667--680.