1998–1999 Winter Meeting of the Association for Symbolic Logic

DOI10.2307/421093zbMath0925.03010OpenAlexW2321787233MaRDI QIDQ4262607

No author found.

Publication date: 16 November 1999

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

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

zbMATH Keywords

MeetingLogicSymbolic logicSan Antonio, Texas

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Unnamed Item
• Unnamed Item
• Precisely dictatorial social welfare functions
• Can you take Solovay's inaccessible away?
• Generic copies of countable structures
• A theory of nonmonotonic rule systems I
• A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees
• Anonymity and neutrality in Arrow's Theorem with restricted coalition algebras
• Simple unstable theories
• A CALCULUS FOR SELF-REFERENCE
• Lattice Embeddings into the R.E. Degrees Preserving 0 and 1
• Initial segments of the lattice of ideals of r.e. degrees
• A Machine-Independent Theory of the Complexity of Recursive Functions
• A Set of Independent Necessary and Sufficient Conditions for Simple Majority Decision

This page was built for publication: 1998–1999 Winter Meeting of the Association for Symbolic Logic