X Latin American Symposium on Mathematical Logic

DOI10.2307/421111zbMath0875.03003OpenAlexW2327440223MaRDI QIDQ4897043

No author found.

Publication date: 13 May 1997

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

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

zbMATH Keywords

LogicBogotáLatin American Symposium

Mathematics Subject Classification ID

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

Cites Work

• The Banach spaces \(l_ p(n)\) for large p and n
• Arithmetizing uniform \(NC\)
• Remarks on Priestley duality for distributive lattices
• Propositional knowledge base revision and minimal change
• Sheaf representation and Chinese Remainder Theorems
• Nonstandard hulls of Banach spaces
• Game-theoretic inductive definability
• Varieties of complex algebras
• On the logic of theory change: Partial meet contraction and revision functions
• On automorphisms of arbitrary mathematical systems
• A recursion principle for linear orderings
• Ramsey's theorem in the hierarchy of choice principles
• Finite Partially‐Ordered Quantifiers
• Finite partially-ordered quantification
• Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
• The axiom of choice

This page was built for publication: X Latin American Symposium on Mathematical Logic