European Summer Meeting of the Association for Symbolic Logic

DOI10.2307/2273818zbMath0564.03001MaRDI 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

zbMATH Keywords

Aachen; Symbolic Logic; European summer meeting

Mathematics Subject Classification ID

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

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