European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979
From MaRDI portal
Publication:3902981
DOI10.2307/2273641zbMath0455.03004OpenAlexW1978719260MaRDI QIDQ3902981
No author found.
Publication date: 1981
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273641
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- A formal system of first-order predicate calculus with infinitely long expressions
- On certain maximal subgroups of symmetric or alternating groups
- An extended joint consistency theorem for free logic with equality
- Large infinitary languages. Model theory
- The \(\Omega\)-system and the \(L\)-system of modal logic
- On Fraissé's order type conjecture
- Failures of the interpolation lemma in quantified modal logic
- New foundations for Lewis modal systems
- Jumping through the transfinite: the master code hierarchy of Turing degrees
- δ-Logics and generalized quantifiers
- On the comparison of order types
- Degrees in Which the Recursive Sets are Uniformly Recursive
- Class groups of integral group rings
This page was built for publication: European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979
