SU\G(𝔸)/K·U

Kenneth Mc Aloon

Follow

Generating author description...

All published works
Action Title Year Authors
+ Formes combinatoires du théorème d’incomplétude [d’après J. Paris et d’autres] 2006 Kenneth Mc Aloon
+ Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels 1982 Patrick Cégielski
Kenneth Mc Aloon
George Wilmers
+ Les methodes de Kieby-Paris et la théorie des ensembles 1981 Kenneth Mc Aloon
Jean-Pierre Ressayre
+ Diagonal Methods and Strong Cuts in Models of Arithmetic 1978 Kenneth Mc Aloon
+ A combinatorial characterization of inaccessible cardinals 1978 Kenneth Mc Aloon
+ Forcing and generalized quantifiers 1973 Jean-Louis Krivine
Kenneth Mc Aloon
Common Coauthors
Coauthor Papers Together
Jean-Pierre Ressayre 1
Jean-Louis Krivine 1
George Wilmers 1
Patrick CĂ©gielski 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ Initial segments of models of Peano's axioms 1977 Laurence Kirby
J. B. Paris
 2
+ A Mathematical Incompleteness in Peano Arithmetic 1977 J. B. Paris
 2
+ On models of arithmetic 1972 J. B. Paris
 1
+ A Model of Set-Theory in Which Every Set of Reals is Lebesgue Measurable 1970 Robert M Solovay
 1
+ PDF Chat Ramsey cardinals and constructibility 1979 William Mitchell
 1
+ Higher set theory and mathematical practice 1971 Harvey Friedman
 1
+ PDF Chat Completeness theorems, incompleteness theorems and models of arithmetic 1978 Kenneth McAloon
 1
+ Effective Matchmaking (Recursion Theoretic Aspects of a Theorem of Philip Hall) 1972 Alfred B. Manaster
Joseph G. Rosenstein
 1
+ Ramsey's theorem and recursion theory 1972 Carl G. Jockusch
 1
+ A combinatorial characterization of inaccessible cardinals 1978 Kenneth Mc Aloon
 1
+ PDF Chat Closure properties of countable non-standard integers 1979 J. B. Paris
George Mills
 1
+ Ramsey's Theorem does not Hold in Recursive Set Theory 1971 Bonny Specker
 1
+ PDF Chat Arithmetization of metamathematics in a general setting 1960 Solomon Feferman
 1