Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "J. Symb. Log."( http://dblp.L3S.de/Venues/J._Symb._Log. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/jsyml

Publication years (Num. hits)
1936-1937 (27) 1938-1939 (28) 1940-1941 (23) 1942-1943 (21) 1944-1946 (21) 1947-1948 (25) 1949 (23) 1950 (21) 1951 (17) 1952 (20) 1953 (34) 1954 (21) 1955 (21) 1956 (31) 1957 (26) 1958 (34) 1959 (19) 1960 (21) 1961-1962 (29) 1963 (26) 1964-1965 (38) 1966 (45) 1967 (38) 1968 (48) 1969 (55) 1970 (43) 1971 (48) 1972 (70) 1973 (58) 1974 (67) 1975 (43) 1976 (78) 1977 (54) 1978 (68) 1979 (56) 1980 (49) 1981 (76) 1982 (59) 1983 (113) 1984 (118) 1985 (87) 1986 (91) 1987 (78) 1988 (96) 1989 (102) 1990 (81) 1991 (100) 1992 (86) 1993 (79) 1994 (92) 1995 (74) 1996 (69) 1997 (81) 1998 (90) 1999 (111) 2000 (110) 2001 (114) 2002 (97) 2003 (76) 2004 (77) 2005 (74) 2006 (80) 2007 (79) 2008 (82) 2009 (76) 2010 (80) 2011 (80) 2012 (43)
Publication types (Num. hits)
article(4097)
Venues (Conferences, Journals, ...)
J. Symb. Log.(4097)
Authors
Saharon Shelah(131) Anand Pillay(40) Julia F. Knight(38) Bruno Poizat(30) Carl G. Jockusch Jr.(30) Frederic Brenton Fitch(29) W. V. Quine(28) H. Jerome Keisler(23) James H. Schmerl(22) John T. Baldwin(22) Richard A. Shore(21) Robert I. Soare(21) Andreas Blass(20) Rodney G. Downey(20) Yuri Gurevich(20) Arthur W. Apter(18) More (+10 of total 2243)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 4097 publication records. Showing 4097 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Samuel R. Buss Sharpened lower bounds for cut elimination. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Gareth Boxall, Philipp Hieromyni Expansions which introduce no new open sets. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Luc Bélair, Françoise Point Corrigendum to: "Quantifier elimination in valued Ore modules". Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Artem Chernikov, Itay Kaplan Forking and dividing in NTP₂ theories. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Koushik Pal Multiplicative valued difference fields. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Ahuva C. Shkop Henson and Rubel's theorem for Zilber's pseudoexponentiation. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Ekaterina B. Fokina, Sy-David Friedman, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Antonio Montalbán Isomorphism relations on computable structures. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Pierre Simon Finding generically stable measures. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Jiayi Liu RT₂² does not imply WKL₀. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Tetsuya Ishiu, Paul B. Larson Some results about (+) proved by iterated forcing. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Timothy J. Carlson, Gunnar Wilken Normal forms for elementary patterns. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Raf Cluckers, Eva Leenknegt A version of p-adic minimality. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Aaron Hill The complexity of squares in the group of isometries of the Baire space. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Justin Brody, M. C. Laskowski On rational limits of Shelah - Spencer graphs. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexander Berenstein, Evgueni Vassiliev Weakly one-based geometric theories. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1M. E. Malliaris Hypergraph sequences as a tool for saturation of ultrapowers. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Tetsuya Ishiu, Paul B. Larson ℛmax variations for separating club guessing principles. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Ian M. Hodkinson, Szabolcs Mikulás On canonicity and completions of weakly representable relation algebras. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Chengling Fang, Guohua Wu Nonhemimaximal degrees and the high/low hierarchy. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1David M. Evans, Marco S. Ferreira The geometry of Hrushovski constructions, II. The strongly minimal case. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Mingzhong Cai, Richard A. Shore Domination, forcing, array nonrecursiveness and relative recursive enumerability. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Benjamin Claverie, Ralf Schindler Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Zofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff Paris Truth definitions without exponentiation and the Σ₁ collection scheme. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Chris J. Conidis A real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Hristo Ganchev, Mariya Ivanova Soskova Cupping and definability in the local structure of the enumeration degrees. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Paola D'Aquino, Julia F. Knight, Sergei Starchenko Corrigendum to: "Real closed fields and models of arithmetic". Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Longyun Ding Borel reducibility and Hölder(α) embeddability between Banach spaces. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl, Daniel Weller On the complexity of proof deskolemization. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Olivier Finkel, Stevo Todorcevic A hierarchy of tree-automatic structures. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Hrusák, Ondrej Zindulka Cardinal invariants of monotone and porous sets. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Dima Sinapova The tree property at ℵω+1. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Vincent Guingona On uniform definability of types over finite sets. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Antongiulio Fornasiero, E. Vasquez Rifo Hausdorff measure on o-minimal structures. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1David Fernández Duque Dynamic topological logic of metric spaces. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Cédric Milliet On properties of (weakly) small groups. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Frank Stephan, Jason Teutsch An incomplete set of shortest descriptions. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Toshimichi Usuba Splitting stationary sets in (λ). Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Saharon Shelah, Pierre Simon Adding linear orders. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Ernst-Erich Doberkat A stochastic interpretation of propositional dynamic logic: expressivity. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Mingzhong Cai Array nonrecursiveness and relative recursive enumerability. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Sonat Süer On subgroups of the additive group in differentially closed fields. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Clifton Ealy, Isaac Goldbring Thorn-forking in continuous logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Alexis Bès, Alexander Rabinovich On countable chains having decidable monadic theory. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
1Michael Gabbay A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Paul Shafer Coding true arithmetic in the Medvedev and Muchnik degrees. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Russell Miller Low5 Boolean subalgebras and computable copies. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Alf Onshuus On dp-minimality, strong dependence and weight. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1John Krueger Weak compactness and no partial squares. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Rebecca Weber Degree invariance in the Π01 classes. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Sy-David Friedman, Ajdin Halilovic The tree property at ℵω+2. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Rizos Sklinos On the generic type of the free group. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Alberto Marcone, Antonio Montalbán The Veblen functions for computability theorists. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Thomas Given-Wilson, Barry Jay A combinatory account of internal structure. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Barbara F. Csima, Valentina S. Harizanov, Russell Miller, Antonio Montalbán Computability of Fraïssé limits. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Christopher Hardin On transitive subrelations of binary relations. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux Weak representations of relation algebras and relational bases. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller Strong isomorphism reductions in complexity theory. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Noam Greenberg A random set which only computes strongly jump-traceable c.e. sets. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Anand Pillay Stable embeddedness and NIP. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Barbara F. Csima, Rod Downey, Keng Meng Ng Limits on jump inversion for strong reducibilities. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Rosendal Completely metrisable groups acting on trees. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Rosendal Finitely approximable groups and actions Part I: The Ribes - Zaluesskiĭ property. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Cédric Milliet On enveloping type-definable structures. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Jiang Liu 0002, Guohua Wu An almost-universal cupping degree. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Cédric Milliet Stable division rings. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Stephen Binns Relative Kolmogorov complexity and geometry. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Lavinia Egidi, Giovanni Faglia Double-exponential inseparability of Robinson subsystem Q+. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Barnabás Farkas Hechler's Theorem for tall analytic P-ideals. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl On the non-confluence of cut-elimination. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Vince Bárány, Lukasz Kaiser, Alexander Rabinovich Expressing cardinality quantifiers in monadic second-order logic over chains. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Victoria Gitman Ramsey-like cardinals. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Marcin Sabok, Jindrich Zapletal Forcing properties of ideals of closed sets. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Bernhard Irrgang Forcings constructed along morasses. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Philip D. Welch Determinacy in strong cardinal models. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Jörg Brendle, Vera Fischer Mad families, splitting families and large continuum. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Javier Moreno Iterative differential Galois theory in positive characteristic: A model theoretic approach. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Sy-David Friedman, Philip D. Welch Hypermachines. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Per Lindström A theorem on partial conservativity in arithmetic. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Nick Haverkamp Cardinal characteristics on graphs. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Todor Tsankov The additive group of the rationals does not have an automatic presentation. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Uri Andrews A new spectrum of recursive models using an amalgamation construction. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Vinicius Cifú Lopes, Lou van den Dries Invariant measures on groups satisfying various chain conditions. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Marcello Mamino Splitting definably compact groups in o-minimal structures. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Remi Strullu MRP, tree properties and square principles. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Henry Towsner Hindman's theorem: an ultrafilter argument in second order arithmetic. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Dietrich Kuske, Markus Lohrey Automatic structures of bounded degree revisited. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Vasco Brattka, Guido Gherardi Weihrauch degrees, omniscience principles and weak computability. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Heike Mildenberger The club principle and the distributivity number. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Sam Sanders ERNA and Friedman's Reverse Mathematics. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Tapani Hyttinen, Meeri Kesälä Categoricity transfer in simple finitary abstract elementary classes. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1George Barmpalias, Rod Downey, Keng Meng Ng Jump inversions inside effectively closed sets and applications to randomness. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke Potential isomorphism of elementary substructures of a strictly stable homogeneous model. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Frank Wagner Propriétés résiduelles dans les groupes supersimples. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Heike Mildenberger, Saharon Shelah The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric groupcan be larger than +. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Sidney C. Bailin Retraction of: "A normalization theorem for set theory". Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Mark A. Fulk Robust separations in inductive inference. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Maciej Malicki On Polish groups admitting a compatible complete left-invariant metric. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Itay Neeman Necessary use of Σ¹₁ induction in a reversal. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Pierre Simon On dp-minimal ordered structures. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
1Kentaro Fujimoto Autonomous progression and transfinite iteration of self-applicable truth. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 4097 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.