1994 Annual Meeting of the Association for Symbolic Logic

DOI10.2307/420949zbMath0825.03005OpenAlexW1257398065MaRDI QIDQ4837677

No author found.

Publication date: 7 August 1995

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

Full work available at URL: https://doi.org/10.2307/420949

zbMATH Keywords

MeetingLogicSymbolic LogicGainesville

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• A model of concurrency with fair merge and full recursion
• Rapidly growing Ramsey functions
• A topological representation theory for lattices
• Espaces de Banach stables
• Recursively enumerable many-one degrees
• Recursive isomorphism types of recursive Boolean algebras
• Large Finite Sets
• Solution to the P − W problem
• The Stone Space of an Ortholattice
• Effective coloration
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: 1994 Annual Meeting of the Association for Symbolic Logic