( en | de | ru )

 

Disambiguierung von "Simpson, Stephen G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Periodic Points and Subsystems of Second-Order Arithmetic.

, , und . Ann. Pure Appl. Log., 62 (1): 51-64 (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stephen G Hickey

Alex Simpson

Steven Simpson

Scott Simpson

Olivia Simpson

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Role of Ramsey Quantifiers in First Order Arithmetic., und . J. Symb. Log., 47 (2): 423-435 (1982)The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic., und . J. Symb. Log., 58 (2): 557-578 (1993)Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions.. Computability and Complexity, Volume 10010 von Lecture Notes in Computer Science, Seite 660-668. Springer, (2017)Embeddings into the Medvedev and Muchnik lattices of pi01classes., und . Arch. Math. Log., 43 (3): 399-414 (2004)Mass problems and randomness.. Bull. Symb. Log., 11 (1): 1-27 (2005)Reverse mathematics and pi12 comprehension., und . Bull. Symb. Log., 11 (4): 526-533 (2005)Mass problems and density., , und . J. Math. Log., 16 (2): 1650006:1-1650006:10 (2016)Which set existence axioms are needed to prove the separable Hahn-Banach theorem?, und . Ann. Pure Appl. Log., (1986)Periodic Points and Subsystems of Second-Order Arithmetic., , und . Ann. Pure Appl. Log., 62 (1): 51-64 (1993)Degrees of Unsolvability: A Tutorial.. CiE, Volume 9136 von Lecture Notes in Computer Science, Seite 83-94. Springer, (2015)