1994–1995 Winter Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:4858810
DOI10.2307/421164zbMath0850.03005OpenAlexW4248748155MaRDI QIDQ4858810
No author found.
Publication date: 18 January 1996
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0103-toc.htm
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Labelling systems and r.e. structures
- Stability of recursive structures in arithmetical degrees
- The number of proof lines and the size of proofs in first order logic
- Probabilistic algorithm for testing primality
- Hamiltonian paths in infinite graphs
- Σ2-collection and the infinite injury priority method
- Finite injury and Σ1-induction
- On notation for ordinal numbers