Login / Signup
Ann. Pure Appl. Logic
1993
1993
1993
Keyphrases
Publications
volume 65, number 1, 1993
Rodney G. Downey
,
Michael Stob
Splitting Theorems in Recursion Theory.
Ann. Pure Appl. Logic
65 (1) (1993)
volume 65, number 2, 1993
James Cummings
Possible Behaviours for the Mitchell Ordering.
Ann. Pure Appl. Logic
65 (2) (1993)
Roman Kossak
,
Henryk Kotlarski
,
James H. Schmerl
On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA.
Ann. Pure Appl. Logic
65 (2) (1993)
Robert McNaughton
Infinite Games Played on Finite Graphs.
Ann. Pure Appl. Logic
65 (2) (1993)
John R. Steel
Inner Models with Many Woodin Cardinals.
Ann. Pure Appl. Logic
65 (2) (1993)
volume 65, number 3, 1993
Randall Dougherty
Critical Points in an Algebra of Elementary Embeddings.
Ann. Pure Appl. Logic
65 (3) (1993)
Juha Oikkonen
,
Jouko A. Väänänen
Game-Theoretic Inductive Definability.
Ann. Pure Appl. Logic
65 (3) (1993)
Solomon Feferman
,
Gerhard Jäger
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I.
Ann. Pure Appl. Logic
65 (3) (1993)