11th Asian Logic Conference

DOI10.2178/BSL/1286889128MaRDI QIDQ3161632zbMATH OpenOpenAlexFDO

Authors

Publication date 15 October 2010

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

Full work available at URL https://doi.org/10.2178/bsl/1286889128

Mathematics Subject Classification ID

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

Cites work

• Almost computably enumerable families of sets
• Degrees of Dowd-type generic oracles
• Enumerations, countable structures and Turing degrees
• Generic oracles, uniform machines, and codes
• Non‐standard Analysis in WKL₀
• Relative to any nonrecursive set
• Spectra of degrees of some structures

This page was built for publication: 11th Asian Logic Conference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3161632)