Back to Results
First PageMeta Content
Computability theory / Computable function / Computation in the limit / Second-order arithmetic / Compactness theorem / Reverse mathematics / 01 class / PA degree / Low / Algorithmically random sequence / Computable number


THE WEAKNESS OF BEING COHESIVE, THIN OR FREE IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Informally, a mathematical statement is robust if its strength is left unchanged under variations of the statement. In this pape
Add to Reading List

Document Date: 2016-02-08 07:56:59


Open Document

File Size: 442,73 KB

Share Result on Facebook