1997–98 Annual Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:4254569
DOI10.2307/420958zbMATH Open0925.03008OpenAlexW2317102747MaRDI QIDQ4254569FDOQ4254569
Authors:
Publication date: 23 September 1999
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0404-toc.htm
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Espaces de Banach stables
- Generic copies of countable structures
- Program size in restricted programming languages
- Exponentiation in power series fields
- Partial realizations of Hilbert's program
- The topology of elementary submodels
- Title not available (Why is that?)
- Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
- Constructivity in computer science. Summer symposium, San Antonio, TX, June 19--22, 1991. Proceedings
- Necessary uses of abstract set theory in finite mathematics
- Deterministic and nondeterministic computation, and horn programs, on abstract data types
- On the problem of finding minimal programs for tables
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: 1997–98 Annual Meeting of the Association for Symbolic Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4254569)
