2007-2008 Winter Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:3616437
DOI10.2178/bsl/1231081374zbMath1156.03303OpenAlexW1817477511MaRDI QIDQ3616437
No author found.
Publication date: 25 March 2009
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1231081374
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Relational semantics for Kleene logic and action logic
- Decidable theories of non-projectable \(l\)-groups of continuous functions
- Passive induction and a solution to a Paris-Wilkie open question
- A generalization of the second incompleteness theorem and some exceptions to it
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles
- On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
- The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem
- Turing computable embeddings
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency