1994–1995 Winter Meeting of the Association for Symbolic Logic

DOI10.2307/421164MaRDI QIDQ4858810zbMATH OpenOpenAlexFDO

Authors

Publication date 18 January 1996

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

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

zbMATH Keywords

AbstractsLogicMeetingSan FranciscoSymbolic Logic

Mathematics Subject Classification ID

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

Cites work

• Σ₂-collection and the infinite injury priority method
• Finite injury and Σ₁-induction
• Hamiltonian paths in infinite graphs
• Labelling systems and r.e. structures
• On notation for ordinal numbers
• Probabilistic algorithm for testing primality
• Stability of recursive structures in arithmetical degrees
• The number of proof lines and the size of proofs in first order logic

This page was built for publication: 1994–1995 Winter 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 Q4858810)