scientific article; zbMATH DE number 1356624
From MaRDI portal
Publication:4700517
zbMATH Open0933.03069MaRDI QIDQ4700517FDOQ4700517
Publication date: 15 November 1999
Full work available at URL: https://eudml.org/doc/212385
Title of this publication is not available (Why is that?)
Hierarchies of computability and definability (03D55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Descriptive set theory (03E15) Large cardinals (03E55) Determinacy principles (03E60)
Cited In (2)
Recommendations
- HARRINGTONโS PRINCIPLE IN HIGHER ORDER ARITHMETIC ๐ ๐
- Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy ๐ ๐
- Forcing a set model of Z3 + Harrington's Principle ๐ ๐
- 0# and some forcing principles ๐ ๐
- Harrington's conservation theorem redone ๐ ๐
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700517)