European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
From MaRDI portal
Publication:3030791
DOI10.2307/2273851zbMath0627.03001OpenAlexW2330212643MaRDI QIDQ3030791
No author found.
Publication date: 1987
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273851
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture
- Intensionality in mathematics
- Ordinal diagrams. II
- Intensional mathematics
- Combinatorial set theory: Partition relations for cardinals
- A new system of proof-theoretic ordinal functions
- Set theory. An introduction to independence proofs
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Which logic is the right logic?
- Nonstandard hulls of Banach spaces
- LCF considered as a programming language
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Fully abstract models of typed \(\lambda\)-calculi
- Model theory for modal logic. Kripke models for modal predicate calculi
- Programming symposium. Proceedings, colloque sur la programmation, Paris, April 9--11, 1974
- On closed elements in closure algebras
- On a Formalization of the Non-Definedness Notion
- The core model for sequences of measures. I
- Alternation and the computational complexity of logic programs
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
- Register machine proof of the theorem on exponential diophantine representation of enumerable sets
- The Notion of Logical Consequence in the Logic of Inexact Predicates
- Models and types of Peano's arithmetic
- Sequent-systems for modal logic
This page was built for publication: European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
