XI Latin American Symposium on Mathematical Logic
From MaRDI portal
Publication:4946844
DOI10.2307/421122zbMath0938.03500OpenAlexW2317730046MaRDI QIDQ4946844
No author found.
Publication date: 7 May 2000
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0504-toc.htm
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On some operations on classes of algebras
- Real closed rings. II. Model theory
- On the independent subsets of a closure system with singular dimension
- On the width of ordered sets and Boolean algebras
- Complete subgraphs of infinite multipartite graphs and antichains in partially ordered sets
- On groups and fields definable in o-minimal structures
- Necessity and contingency
- Computable queries for relational data bases
- Quantifiers on distributive lattices
- Compactness and normality in abstract logics
- Not every Banach space contains an imbedding of \(l_p\) or \(c_0\)
- Sous-espaces de dimension finie des espaces de Banach reticules
- Metamathematics of fuzzy logic
- The elementary theory of restricted analytic fields with exponentiation
- An algorithmic desingularization of 3-dimensional toric varieties
- On the algebraizability of annotated logics
- The topology of elementary submodels
- Espaces de Banach stables
- A comparative study of open default theories
- Soft computing applications
- Producing new bijections from old
- Minimal non-contingency logic
- A complete many-valued logic with product-conjunction
- Stone lattices
- On Schanuel's conjectures
- Oriented systems
- On specifying database updates
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- On the logic of theory change: Partial meet contraction and revision functions
- Simple unstable theories
- Hyper-regular lattice-ordered groups
- Quasi‐Stone algebras
- Extensions for open default theories via the domain closure assumption
- Analytic cut
- Logic with truth values in A linearly ordered heyting algebra
- Free L-algebras
- The inconsistency of certain formal logics
This page was built for publication: XI Latin American Symposium on Mathematical Logic
