2001 Annual Meeting of the Association for Symbolic Logic

DOI10.2307/2687769zbMath0990.03501OpenAlexW2134364838MaRDI QIDQ2778667

No author found.

Publication date: 30 July 2002

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

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

zbMATH Keywords

LogicPhiladelphiaAnnual MeetingSymbolic logic

Mathematics Subject Classification ID

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

Cites Work

• Friedberg splittings of recursively enumerable sets
• Generic structures and simple theories
• A theorem of the complement and some new o-minimal structures
• Post's program and incomplete recursively enumerable sets.
• The real field with convergent generalized power series
• Exponentiation in power series fields
• Logarithmic-Exponential Power Series
• The Isolated D. R. E. Degrees are Dense in the R. E. Degrees
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function

This page was built for publication: 2001 Annual Meeting of the Association for Symbolic Logic