( en | de | ru )

 

Disambiguation of "Simpson, Stephen G."

Author of the publication

copydeleteadd this publication to your clipboard
Countable algebra and set existence axioms.

, , and . Ann. Pure Appl. Log., 25 (2): 141-181 (1983)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stephen G Hickey

Alex Simpson

Steven Simpson

Scott Simpson

Olivia Simpson

 

Other publications of authors with the same name

The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic., and . J. Symb. Log., 58 (2): 557-578 (1993)Periodic Points and Subsystems of Second-Order Arithmetic., , and . Ann. Pure Appl. Log., 62 (1): 51-64 (1993)Degrees of Unsolvability: A Tutorial.. CiE, volume 9136 of Lecture Notes in Computer Science, page 83-94. Springer, (2015)A Nonstandard Counterpart of WWKL., and . Notre Dame J. Formal Log., 52 (3): 229-243 (2011)Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions.. Computability and Complexity, volume 10010 of Lecture Notes in Computer Science, page 660-668. Springer, (2017)Countable algebra and set existence axioms., , and . Ann. Pure Appl. Log., 25 (2): 141-181 (1983)Measure theory and weak König's lemma., and . Arch. Math. Log., 30 (3): 171-180 (1990)Factorization of polynomials and Σ10 induction., and . Ann. Pure Appl. Log., (1986)A dual form of Erdös-Rado's canonization theorem., , and . J. Comb. Theory A, 42 (2): 159-178 (1986)Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.. Arch. Math. Log., 25 (1): 45-65 (1985)