X Latin American Symposium on Mathematical Logic
type: Item
instance of: scholarly article
title: X Latin American Symposium on Mathematical Logic
zbMATH Open document ID: 0875.03003
DOI: 10.2307/421111
publication date: 1997-05-13T00:00:00Z
full work available at URL: 0202-toc.htm
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 00B05
zbMATH DE Number: 938827
zbMATH Keywords: Latin American Symposium
zbMATH Keywords: Logic
zbMATH Keywords: Bogotá
MaRDI profile type: Publication
OpenAlex ID: W2327440223
cites work: Nonstandard hulls of Banach spaces
cites work: On automorphisms of arbitrary mathematical systems
cites work: Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
cites work: The axiom of choice
cites work: Ramsey's theorem in the hierarchy of choice principles
cites work: Sheaf representation and Chinese Remainder Theorems
cites work: Game-theoretic inductive definability
cites work: A recursion principle for linear orderings
cites work: Finite partially-ordered quantification
cites work: Finite Partially‐Ordered Quantifiers
cites work: Propositional knowledge base revision and minimal change
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: Varieties of complex algebras
cites work: Remarks on Priestley duality for distributive lattices
cites work: The Banach spaces \(l_ p(n)\) for large p and n
cites work: Arithmetizing uniform \(NC\)
published in: The Bulletin of Symbolic Logic
description: scientific article; zbMATH DE number 938827