1996–97 Annual Meeting of the Association for Symbolic Logic

DOI10.2307/421152zbMath0900.03006OpenAlexW2322251126MaRDI QIDQ4372927

No author found.

Publication date: 18 January 1998

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

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0303-toc.htm

zbMATH Keywords

LogicAnnual MeetingAssociation for Symbolic LogicCambridge, Massachusetts

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Undecidability and 1-types in the recursively enumerable degrees
• The density of infima in the recursively enumerable degrees
• The density of the nonbranching degrees
• Rings of real-valued continuous functions. II
• On the logic of theory change: Partial meet contraction and revision functions
• Inconsistent models for relevant arithmetics
• Combinatorics on ideals and axiom A
• On natural deduction

This page was built for publication: 1996–97 Annual Meeting of the Association for Symbolic Logic