The prospects for mathematical logic in the twenty-first century

DOI10.2307/2687773zbMATH0981.03003OpenAlexW1653380582MaRDI QIDQ2736583FDOQ2736583

Authors Alexander S. Kechris, Richard A. Shore, Samuel R. Buss, Anand Pillay

Publication date 10 September 2001

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://authors.library.caltech.edu/38610/

zbMATH Keywords

proof theorymodel theoryrecursion theoryset theorycomputer science logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematics in the 21st century (01A61) History of mathematical logic and foundations (03-03) Future perspectives in mathematics (01A67)

Recommendations

• scientific article; zbMATH DE number 2078138
• What Is Mathematical Logic? A Survey
• scientific article; zbMATH DE number 2003401
• scientific article; zbMATH DE number 1359342
• Symbioses between mathematical logic and computer science

Cites work

• scientific article; zbMATH DE number 4109317 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 1388189 (Why is no real title available?)
• A Borel reductibility theory for classes of countable structures
• A trichotomy theorem for o-minimal structures
• An outline of inner model theory
• Defining the Turing jump
• Descriptive set theory
• Finite functions and the necessary use of large cardinals
• Forking in Simple Unstable Theories
• Infinite Abelian groups, Whitehead problem and some constructions
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Partition Problems in Topology
• Positive reducibility of the interior of filled Julia sets
• Progress in mathematics
• Quantifier elimination for neocompact sets
• Simple theories
• Simple unstable theories
• Step by Recursive Step: Church's Analysis of Effective Calculability
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• The Mordell-Lang conjecture for function fields
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The completeness of the isomorphism relation for countable Boolean algebras
• The fine structure of the constructible hierarchy
• The jump is definable in the structure of the degrees of unsolvability
• The polynomial topological complexity of Fatou-Julia sets
• Zariski geometries

Cited in

(6)

• scientific article; zbMATH DE number 7117706 (Why is no real title available?)
• On the correspondence between arithmetic theories and propositional proof systems – a survey
• A Natural Axiomatization of Computability and Proof of Church's Thesis
• Fractals and the monadic second order theory of one successor
• Execution trace sets for real computation
• scientific article; zbMATH DE number 724262 (Why is no real title available?)

This page was built for publication: The prospects for mathematical logic in the twenty-first century

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2736583)