2006 Annual Meeting of the Association for Symbolic Logic

DOI10.2178/BSL/1174668222MaRDI QIDQ3594488zbMATH OpenOpenAlexFDO

Authors

Publication date 8 August 2007

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

Full work available at URL https://doi.org/10.2178/bsl/1174668222

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites work

• A characterization of Martin's axiom in terms of absoluteness
• A compositional approach to defining logics for coalgebras
• A feasible theory for analysis
• An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
• Bounded functional interpretation
• EM + Ext₋ + AC_int is equivalent to AC_ext
• Functional interpretations of feasibly constructive arithmetic
• How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
• Infinite time Turing machines
• Internal logic. Foundations of mathematics from Kronecker to Hilbert
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• Sheaf models for set theory
• The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
• Universal graphs with forbidden subgraphs and algebraic closure

This page was built for publication: 2006 Annual Meeting of the Association for Symbolic Logic

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