Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993

DOI10.2307/2275423zbMath0802.03002OpenAlexW2009680330MaRDI QIDQ4302362

No author found.

Publication date: 15 August 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275423

zbMATH Keywords

MeetingLogicSymbolic logicNotre Dame

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new strongly minimal set
• Real closed rings. II. Model theory
• Labelling systems and r.e. structures
• Stability of recursive structures in arithmetical degrees
• Structure of the upper semilattice of recursively enumerable m-degrees and related questions. I
• Nonstandard hulls of Banach spaces
• The upper semilattice of numerations of a finite set
• Espaces de Banach stables
• Truth and paradox
• Recursively enumerable many-one degrees
• Herbrand analyses
• The undecidability of the recursively enumerable degrees

This page was built for publication: Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993