2006 Annual Meeting of the Association for Symbolic Logic

DOI10.2178/bsl/1174668222zbMath1118.03305OpenAlexW2480697542MaRDI QIDQ3594488

No author found.

Publication date: 8 August 2007

Published in: 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

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

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