Located Sets And Reverse Mathematics (1999)

by Mariagnese Giusto , Stephen G. Simpson
Venue:Journal of Symbolic Logic
Citations:17 - 5 self

Documents Related by Co-Citation

211 Subsystems of second order arithmetic – Stephen G Simpson - 1999
883 Theory of Recursive Functions and Effective Computability – H Rogers - 1967
503 Recursively enumerable sets and degrees – Robert I Soare - 1987
437 An Introduction to Ergodic Theory – P Walters - 1982
891 A framework for representing knowledge – M Minsky - 1975
801 Petri Net theory and the modeling of systems – J L Peterson - 1981
3430 Communication and Concurrency – R Milner - 1989
395 Classical Descriptive Set Theory – A S Kechris - 1994
1305 On computable numbers with an application to the Entscheidungsproblem – A Turing - 1936