default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 74
Volume 74, Number 1, March 2009
- Heike Mildenberger:
Creatures on omega1 and weak diamonds. 1-16 - Nathan J. 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 EMPTY SET 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 Benedikt, Luc Segoufin:
Towards a characterization of order-invariant queries over tame graphs. 168-186 - Benjamin Claverie, Ralf Schindler:
Increasing u2 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 R. 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
Volume 74, Number 2, June 2009
- Saharon Shelah:
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 - Charalampos Cornaros, Alan R. Woods:
On bounded arithmetic augmented by the ability to count certain sets of primes. 455-473 - Mike Prest, Ravi Rajani:
Pure-injectivity and model theory for G-sets. 474-488 - Lorenzo Carlucci, John Case, Sanjay Jain:
Learning correction grammars. 489-516 - Antonín Kucera, Theodore A. Slaman:
Low upper bounds of ideals. 517-534 - Douglas Cenzer, Geoffrey LaForte, Jeffrey B. 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
Volume 74, Number 3, September 2009
- 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 R. 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 M. Hodkinson:
Strongly representable atom structures of cylindric algebras. 811-828 - Emil Jerábek:
Approximate counting by hashing in bounded arithmetic. 829-860 - Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael 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 Sigma2-transfer for ERNA. 901-913 - John T. Baldwin, Alexei Kolesnikov, Saharon Shelah:
The amalgamation spectrum. 914-928 - Robert H. Gilman, Yuri Gurevich, Alexei D. Miasnikov:
A geometric zero-one law. 929-938 - Stephen A. Fenner, William I. Gasarch, Brian Postow:
The complexity of learning SUBSEQ(A). 939-975 - Pavel Hrubes:
Kreisel's Conjecture with minimality principle. 976-988 - Klaus Ambos-Spies, Decheng Ding, Wei Wang, Liang Yu:
Bounding non-GL2 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, Sergei 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 Hrusák:
Countable Fréchet Boolean groups: An independence result. 1061-1068 - Sy-David Friedman, Menachem Magidor:
The number of normal measures. 1069-1080
Volume 74, Number 4, December 2009
- 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 Omega-complete theories. 1155-1170 - Emil Jerá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 Lomega1, omega 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 - Luca Alberucci, Alessandro 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, Theodore A. Slaman, Carl G. Jockusch Jr.:
Corrigendum to: "On the strength of Ramsey's Theorem for pairs". 1438-1439
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-06 23:21 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:
