European Summer Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:3677726
DOI10.2307/2273818zbMath0564.03001OpenAlexW1532785807MaRDI QIDQ3677726
No author found.
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273818
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
- Unnamed Item
- On certain lattices of degrees of interpretability
- Admissible representations of effective cpo's
- Semantical investigations in Heyting's intuitionistic logic
- Computational complexity of real functions
- Embedding covers and the theory of Frobenius fields
- Relative strength of Malitz quantifiers
- On expandability of models of Peano arithmetic. II
- An essay in modal logic
- Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
- A propositional calculus with denumerable matrix
- Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
- Decidability and undecidability theorems for PAC-fields
- On the Gentzen Type Formalizations
- Compact extensions of L(Q) (part 1a)
- Internal set theory: A new approach to nonstandard analysis
- Ein erweiterter Klassenkalkül
- Turing machines and the spectra of first-order formulas
- 1 — Consistency and faithful interpretations
- Modal Operators, Equivalence Relations, and Projective Algebras
This page was built for publication: European Summer Meeting of the Association for Symbolic Logic
