| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Gabbay |
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.  |
J. Symb. Log.  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paul Shafer |
Coding true arithmetic in the Medvedev and Muchnik degrees. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Russell Miller |
Low5 Boolean subalgebras and computable copies. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alf Onshuus |
On dp-minimality, strong dependence and weight. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | John Krueger |
Weak compactness and no partial squares. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rebecca Weber |
Degree invariance in the Π01 classes. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Ajdin Halilovic |
The tree property at ℵω+2. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rizos Sklinos |
On the generic type of the free group. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alberto Marcone, Antonio Montalbán |
The Veblen functions for computability theorists. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas Given-Wilson, Barry Jay |
A combinatory account of internal structure. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Barbara F. Csima, Valentina S. Harizanov, Russell Miller, Antonio Montalbán |
Computability of Fraïssé limits. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christopher Hardin |
On transitive subrelations of binary relations. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux |
Weak representations of relation algebras and relational bases. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman, Moritz Müller |
Strong isomorphism reductions in complexity theory. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Noam Greenberg |
A random set which only computes strongly jump-traceable c.e. sets. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Anand Pillay |
Stable embeddedness and NIP. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Barbara F. Csima, Rod Downey, Keng Meng Ng |
Limits on jump inversion for strong reducibilities. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Rosendal |
Completely metrisable groups acting on trees. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Rosendal |
Finitely approximable groups and actions Part I: The Ribes - Zaluesskiĭ property. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Cédric Milliet |
On enveloping type-definable structures. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jiang Liu 0002, Guohua Wu |
An almost-universal cupping degree. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Cédric Milliet |
Stable division rings. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stephen Binns |
Relative Kolmogorov complexity and geometry. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lavinia Egidi, Giovanni Faglia |
Double-exponential inseparability of Robinson subsystem Q+. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Barnabás Farkas |
Hechler's Theorem for tall analytic P-ideals. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Stefan Hetzl |
On the non-confluence of cut-elimination. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vince Bárány, Lukasz Kaiser, Alexander Rabinovich |
Expressing cardinality quantifiers in monadic second-order logic over chains. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Victoria Gitman |
Ramsey-like cardinals. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marcin Sabok, Jindrich Zapletal |
Forcing properties of ideals of closed sets. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Irrgang |
Forcings constructed along morasses. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Philip D. Welch |
Determinacy in strong cardinal models. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jörg Brendle, Vera Fischer |
Mad families, splitting families and large continuum. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Javier Moreno |
Iterative differential Galois theory in positive characteristic: A model theoretic approach. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Philip D. Welch |
Hypermachines. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Per Lindström |
A theorem on partial conservativity in arithmetic. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nick Haverkamp |
Cardinal characteristics on graphs. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Todor Tsankov |
The additive group of the rationals does not have an automatic presentation. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Uri Andrews |
A new spectrum of recursive models using an amalgamation construction. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vinicius Cifú Lopes, Lou van den Dries |
Invariant measures on groups satisfying various chain conditions. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marcello Mamino |
Splitting definably compact groups in o-minimal structures. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Remi Strullu |
MRP, tree properties and square principles. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Henry Towsner |
Hindman's theorem: an ultrafilter argument in second order arithmetic. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Automatic structures of bounded degree revisited. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi |
Weihrauch degrees, omniscience principles and weak computability. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Heike Mildenberger |
The club principle and the distributivity number. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sam Sanders |
ERNA and Friedman's Reverse Mathematics. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tapani Hyttinen, Meeri Kesälä |
Categoricity transfer in simple finitary abstract elementary classes. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | George Barmpalias, Rod Downey, Keng Meng Ng |
Jump inversions inside effectively closed sets and applications to randomness. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Tapani Hyttinen, Agatha Walczak-Typke |
Potential isomorphism of elementary substructures of a strictly stable homogeneous model. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Frank Wagner |
Propriétés résiduelles dans les groupes supersimples. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Heike Mildenberger, Saharon Shelah |
The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric groupcan be larger than +. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sidney C. Bailin |
Retraction of: "A normalization theorem for set theory". |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mark A. Fulk |
Robust separations in inductive inference. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maciej Malicki |
On Polish groups admitting a compatible complete left-invariant metric. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Itay Neeman |
Necessary use of Σ¹₁ induction in a reversal. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pierre Simon |
On dp-minimal ordered structures. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kentaro Fujimoto |
Autonomous progression and transfinite iteration of self-applicable truth. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Greg Hjorth, André Nies |
Borel structures and Borel theories. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Charles M. Harris |
On the jump classes of noncuppable enumeration degrees. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gareth Jones, Tamara Servi |
On the decidability of the real field with a generic power function. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ekaterina B. Fokina, Julia F. Knight, Alexander G. Melnikov, Sara Quinn, C. Safranski |
Classes of Ulm type and coding rank-homogeneous trees in other structures. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jakob Kellner, Saharon Shelah |
Saccharinity. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vinicius Cifú Lopes |
Euler characteristics for strongly minimal groups and the eq-expansions of vector spaces. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ayhan Günaydin |
Dependent pairs. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Victoria Gitman, Philip D. Welch |
Ramsey-like cardinals II. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Martin Koerwien |
A complicated omega-stable depth 2 theory. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Charlotte Kestner, Anand Pillay |
Remarks on unimodularity. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Noam Greenberg, André Nies |
Benign cost functions and lowness properties. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Philip D. Welch |
Weak systems of determinacy and arithmetical quasi-inductive definitions. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joseph Flenner |
Relative decidability and definability in henselian valued fields. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christian Rosendal |
Finitely approximable groups and actions Part II: Generic representations. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexander Berenstein, Alf Dolich, Alf Onshuus |
The independence property in generalized dense pairs of structures. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pierre Matet |
The Magidor function and diamond. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tomasz Kowalski, Francesco Paoli, Matthew Spinks |
Quasi-subtractive varieties. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sean Cox |
Nonregular ultrafilters on ω2. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrés Eduardo Caicedo, Sy-David Friedman |
BPFA and projective well-orderings of the reals. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Diamondstone, Keng Meng Ng |
Strengthening prompt simplicity. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman, Luca Motto Ros |
Analytic equivalence relations and bi-embeddability. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wei Wang |
Relative enumerability and 1-genericity. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krzysztof Krupinski |
On relationships between algebraic properties of groups and rings in some model-theoretic contexts. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kyriakos Keremedis, Eleftherios Tachtsis |
Products of some special compact spaces and restricted forms of AC. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ehud Hrushovski, James Loveys |
Strongly and co-strongly minimal abelian structures. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | James H. Schmerl |
Infinite substructure lattices of models of Peano Arithmetic. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Matthew B. Giorgi |
A high c.e. degree which is not the join of two minimal degrees. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | John Goodrick |
A monotonicity theorem for dp-minimal densely ordered groups. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas F. Kent |
Interpreting true arithmetic in the Delta02-enumeration degrees. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Tom Foster |
Uniform model-completeness for the real field expanded by power functions. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carlo Toffalori, Kathryn Vozoris |
On complex exponentiation restricted to the integers. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vera Fischer, Asger Törnquist |
A co-analytic maximal set of orthogonal measures. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alice Medvedev |
Grouplike minimal sets in ACFA and in TA. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jared Corduan, Marcia J. Groszek, Joseph R. Mileti |
Reverse mathematics and Ramsey's property for trees. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Byunghan Kim |
Recovering the hyperdefinable group action in the group configuration theorem. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ryota Akiyoshi |
Tait's conservative extension theorem revisited. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Karen Lange |
A characterization of the 0-basis homogeneous bounding degrees. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | George Barmpalias, Andrew E. M. Lewis, Keng Meng Ng |
The importance of Pi01 classes in effective randomness. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Markus Junker, Jochen Koenigsmann |
Schlanke Körper (Slim fields). |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alexander Rabinovich |
The full binary tree cannot be interpreted in a chain. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fares Maalouf |
Espaces vectoriels C-minimaux. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Antonio Montalbán |
A computable Alef0-categorical structure whose theory computes true arithmetic. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Julien Melleray |
A note on Hjorth's oscillation theorem. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")