44 results
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 01 August 2022, pp. 664-696
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 31 March 2022, pp. 133-149
- Print publication:
- March 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Outbreak of coronavirus disease 2019 (COVID-19) among operating room staff of a tertiary referral center: An epidemiologic and environmental investigation
- Part of
-
- Journal:
- Infection Control & Hospital Epidemiology / Volume 43 / Issue 3 / March 2022
- Published online by Cambridge University Press:
- 19 March 2021, pp. 319-325
- Print publication:
- March 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 01 August 2018, pp. 740-765
- Print publication:
- June 2018
-
- Article
- Export citation
THE TURING DEGREES BELOW GENERICS AND RANDOMS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 171-178
- Print publication:
- March 2014
-
- Article
- Export citation
Reverse mathematics, countable and uncountable: a computational approach
-
-
- Book:
- Effective Mathematics of the Uncountable
- Published online:
- 05 December 2013
- Print publication:
- 31 October 2013, pp 150-163
-
- Chapter
- Export citation
Low Level Nondelegability Results: Domination and Recursive Enumeration
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1005-1024
- Print publication:
- September 2013
-
- Article
- Export citation
Domination, forcing, array nonrecursiveness and relative recursive enumerability
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 33-48
- Print publication:
- March 2012
-
- Article
- Export citation
Contributors
-
-
- Book:
- Monitoring in Anesthesia and Perioperative Care
- Published online:
- 05 July 2011
- Print publication:
- 08 August 2011, pp vii-ix
-
- Chapter
- Export citation
Contributors
-
-
- Book:
- The Causes of Epilepsy
- Published online:
- 05 March 2012
- Print publication:
- 14 April 2011, pp ix-xvi
-
- Chapter
- Export citation
Reverse Mathematics: The Playground of Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 378-402
- Print publication:
- September 2010
-
- Article
- Export citation
Lattice initial segments of the hyperdegrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-130
- Print publication:
- March 2010
-
- Article
- Export citation
The settling-time reducibility ordering
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1055-1071
- Print publication:
- September 2007
-
- Article
- Export citation
Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 226-239
- Print publication:
- June 2007
-
- Article
- Export citation
Combinatorial principles weaker than Ramsey's Theorem for pairs
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-206
- Print publication:
- March 2007
-
- Article
- Export citation
Degree Structures: Local and Global Investigations
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 369-389
- Print publication:
- September 2006
-
- Article
- Export citation
The Cross Section of Stock Returns before World War I
-
- Journal:
- Journal of Financial and Quantitative Analysis / Volume 41 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 06 April 2009, pp. 271-294
- Print publication:
- June 2006
-
- Article
- Export citation
The theory of is undecidable
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 326-344
-
- Chapter
- Export citation
Interpreting arithmetic in the r.e. degrees under Σ4-induction
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 120-146
-
- Chapter
- Export citation
Generalized high degrees have the complementation property
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1200-1220
- Print publication:
- December 2004
-
- Article
- Export citation