2007 Spring Meeting of the Association for Symbolic Logic

DOI10.2178/BSL/1203350882zbMATH Open1130.03301OpenAlexW2503837420MaRDI QIDQ5444713FDOQ5444713

Authors:

Publication date: 25 February 2008

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

Full work available at URL: https://projecteuclid.org/euclid.bsl/1203350882

Mathematics Subject Classification ID

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

Cites Work

• Representation of Distributive Lattices by means of ordered Stone Spaces
• Independence in finitary abstract elementary classes
• Algebraic completeness results for R-mingle and its extensions
• The Stone Space of an Ortholattice
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems
• Abstract versus concrete computation on metric partial algebras
• Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
• Computability of analog networks
• Title not available (Why is that?)

Cited In (1)

• 2004 Spring Meeting of the Association for Symbolic Logic

This page was built for publication: 2007 Spring 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 Q5444713)