| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jouko A. Väänänen |
Second order logic or set theory?  |
Bulletin of Symbolic Logic  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Akihiro Kanamori |
In praise of replacement. |
Bulletin of Symbolic Logic |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jan von Plato |
Gentzen's proof systems: byproducts in a work of genius. |
Bulletin of Symbolic Logic |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman |
The stable core. |
Bulletin of Symbolic Logic |
2012 |
DBLP BibTeX RDF |
|
| 1 | Arianna Betti, Iris Loeb |
On Tarski's foundations of the geometry of solids. |
Bulletin of Symbolic Logic |
2012 |
DBLP BibTeX RDF |
|
| 1 | Philip Ehrlich |
The absolute arithmetic continuum and the unification of all numbers great and small. |
Bulletin of Symbolic Logic |
2012 |
DBLP BibTeX RDF |
|
| 1 | Albert Visser |
Vaught's Theorem on Axiomatizability by a Scheme. |
Bulletin of Symbolic Logic |
2012 |
DBLP BibTeX RDF |
|
| 1 | Deirdre Haskell |
Model theory of analytic functions: some historical comments. |
Bulletin of Symbolic Logic |
2012 |
DBLP BibTeX RDF |
|
| 1 | Peter G. Hinman |
A survey of Mučnik and Medvedev degrees. |
Bulletin of Symbolic Logic |
2012 |
DBLP BibTeX RDF |
|
| 1 | Murdoch James Gabbay |
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. |
Bulletin of Symbolic Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Montalbán |
Open questions in reverse mathematics. |
Bulletin of Symbolic Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tatiana Arrigoni |
V = L and intuitive plausibility in set theory. A case study. |
Bulletin of Symbolic Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Guido Gherardi |
Alan Turing and the foundations of computable analysis. |
Bulletin of Symbolic Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Simon Thomas |
A descriptive view of combinatorial group theory. |
Bulletin of Symbolic Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stevo Todorcevic |
Combinatorial dichotomies in set theory. |
Bulletin of Symbolic Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Vasco Brattka, Guido Gherardi |
Effective choice and boundedness principles in computable analysis. |
Bulletin of Symbolic Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gregory H. Moore |
Early history of the Generalized Continuum Hypothesis: 1878 - 1938. |
Bulletin of Symbolic Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexandra Shlapentokh |
Defining integers. |
Bulletin of Symbolic Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Yu |
A new proof of Friedman's conjecture. |
Bulletin of Symbolic Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | José Ferreirós |
On arbitrary sets and ZFC. |
Bulletin of Symbolic Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dilip Raghavan |
Almost disjoint families and diagonalizations of length continuum. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla |
Well (and better) quasi-ordered transition systems. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Samuel Coskey, Roman Kossak |
The complexity of classification problems for models of arithmetic. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kentaro Fujimoto |
Relative truth definability of axiomatic truth theories. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kevin C. Klement |
The senses of functions in the Logic of Sense and Denotation. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alice Medvedev, Ramin Takloo-Bighash |
An invitation to model-theoretic Galois theory. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Reverse mathematics: the playground of logic. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paul Corazza |
The Axiom of Infinity and transformations j: V -> V. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Colin McLarty |
What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alasdair Urquhart |
Von Neumann, Gödel and complexity theory. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Peter Koellner |
Strong logics of first and second order. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yiannis N. Moschovakis |
Kleene's amazing Second Recursion Theorem. |
Bulletin of Symbolic Logic |
2010 |
DBLP BibTeX RDF |
|
| 1 | Román Sasyk, Asger Törnquist |
Borel reducibility and classification of von Neumann algebras. |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Nachum Dershowitz, Yuri Gurevich |
When are two algorithms the same? |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian Rosendal |
Automatic continuity of group homomorphisms. |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Akihiro Kanamori |
Bernays and Set Theory. |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stephen G. Simpson |
Mass problems and measure-theoretic regularity. |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Philip D. Welch |
Games for truth. |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Valery Plisko |
A Survey of Propositional Realizability Logic. |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Adrien Deloro |
Actions of Groups of Finite Morley Rank on Small Abelian Groups. |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alasdair Urquhart |
Enumerating types of Boolean functions. |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bart Kastermans |
Isomorphism types of maximal cofinitary groups. |
Bulletin of Symbolic Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matteo Viale |
Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sasha Rubin |
Automata Presenting Structures: A Survey of the Finite String Case. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan von Plato |
Gentzen's Proof of Normalization for Natural Deduction. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ian Pratt-Hartmann |
On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nachum Dershowitz, Yuri Gurevich |
A Natural Axiomatization of Computability and Proof of Church's Thesis. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Siegfried Gottwald |
Mathematical Fuzzy Logics. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Peter Cholak, Rodney G. Downey, Leo Harrington |
The Complexity of Orbits of Computably Enumerable Sets. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Eric Jaligot, Alexey Muranov, Azadeh Neman |
Independence Property and Hyperbolic Groups. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Akihiro Kanamori |
Cohen and Set Theory. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Steven Awodey |
A Brief Introduction to Algebraic Set Theory. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vladimir Pestov |
Hyperlinear and Sofic Groups: A Brief Guide. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Denis Bonnay |
Logicality and Invariance. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Rafal Gruszczynski, Andrzej Pietruszczak |
Full Development of Tarski's Geometry of Solids. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dana S. Scott, Dominic McCarty |
Reconsidering Ordered Pairs. |
Bulletin of Symbolic Logic |
2008 |
DBLP BibTeX RDF |
|
| 1 | Étienne Matheron, Miroslav Zelený |
Descriptive Set Theory of Families of Small Sets. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | John L. Bell |
Incompleteness in a General Setting. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Itay Neeman |
Inner Models and Ultrafilters in L(R). |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Akihiro Kanamori |
Gödel and Set Theory. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | André Nies |
Describing Groups. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nathan Segerlind |
The Complexity of Propositional Proofs. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher |
Relating First-order Set Theories and Elementary Toposes. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan von Plato |
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Antonio Montalbán |
On the Equimorphism Types of Linear Orderings. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nikolai Weaver |
Set Theory and C*-Algebras. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michal Rössler, Emil Jerábek |
Fragment of Nonstandard Analysis with a Finitary Consistency Proof. |
Bulletin of Symbolic Logic |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Sebastiaan Terwijn |
Calibrating Randomness. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andreas Weiermann |
Classifying the Provably Total Functions of PA. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Liesbeth De Mol |
Closing the Circle: An Analysis of Emil Post's Early Work. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernard Linsky, Edward N. Zalta |
What is neologicism? |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wesley Calvert, Julia F. Knight |
Classification from a Computable Viewpoint. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sy-David Friedman |
Internal Consistency and the Inner Model Hypothesis. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | John Corcoran |
Schemata: The Concept of Schema in the History of Logic. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Richard A. Shore |
Degree Structures: Local and Global Investigations. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | H. Jerome Keisler |
Nonstandard arithmetic and reverse mathematics. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kai Hauser |
Gödel's Program Revisited, Part I: The Turn to Phenomenology. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph S. Miller, André Nies |
Randomness and Computability: Open Questions. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dag Normann |
Computing with functionals - computability theory or computer science? |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bohuslav Balcar, Thomas Jech |
Weak Distributivity, a Problem of von Neumann and the Mystery of Measurability. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ignacio Jané |
What is Tarski's common concept of consequence? |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Solomon Feferman |
The Gödel editorial project: A synopsis. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Joseph R. Mileti |
Partition Theorems and Computability Theory. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Juris Steprans |
Geometric cardinal invariants, maximal functions and a measure theoretic pigeonhole principle. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Itay Ben-Yaacov |
Compactness and independence in non first order frameworks. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | John W. Dawson Jr., Cheryl A. Dawson |
Future tasks for Gödel scholars. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Harold Simmons |
Tiering as a recursion technique. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | W. W. Tait |
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tarek Sayed Ahmed |
Algebraic logic, where does it stand today? |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev |
Undecidability of first-order intuitionistic and modal logics with two variables. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Carl Mummert, Stephen G. Simpson |
Reverse mathematics and pi12 comprehension. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Justin Tatch Moore |
Proper forcing, cardinal arithmetic, and uncountable linear orders. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wilfried Sieg |
Only two letters: The correspondence between Herbrand and Gödel. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Donald A. Martin |
Göel's conceptual realism. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | |
Kurt Gödel (1906-1978). |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Koepke |
Turing computations on ordinals. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stephen G. Simpson |
Mass problems and randomness. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martin Davis |
What did Gödel believe and when did he believe it? |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Noam Greenberg |
The role of true finiteness in the admissible recursively enumerable degrees. |
Bulletin of Symbolic Logic |
2005 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")