Book contents
- Frontmatter
- Preface
- Contents
- The Logical Foundations of Discourse Interpretation
- Complete Sets and Structure in Subrecursive Classes
- Kernels and cohomology groups for some finite covers
- On “star” schemata of Kossak and Paris
- Arithmetizing proofs in analysis
- Satisfaction classes and automorphisms of models of PA
- Free monoid completeness of the Lambek calculus allowing empty premises
- Simple groups definable in O-minimal structures
- Two-Dimensional Temporal Logic
- Rather Classless, Highly Saturated Models of Peano Arithmetic
- Incompleteness theorems and Si2 versus Si2
Rather Classless, Highly Saturated Models of Peano Arithmetic
Published online by Cambridge University Press: 24 March 2017
- Frontmatter
- Preface
- Contents
- The Logical Foundations of Discourse Interpretation
- Complete Sets and Structure in Subrecursive Classes
- Kernels and cohomology groups for some finite covers
- On “star” schemata of Kossak and Paris
- Arithmetizing proofs in analysis
- Satisfaction classes and automorphisms of models of PA
- Free monoid completeness of the Lambek calculus allowing empty premises
- Simple groups definable in O-minimal structures
- Two-Dimensional Temporal Logic
- Rather Classless, Highly Saturated Models of Peano Arithmetic
- Incompleteness theorems and Si2 versus Si2
- Type
- Chapter
- Information
- Logic Colloquium '96 , pp. 237 - 246Publisher: Cambridge University PressPrint publication year: 2017