×

zbMATH — the first resource for mathematics

McAloon, Kenneth

Compute Distance To:
Author ID: mcaloon.kenneth Recent zbMATH articles by "McAloon, Kenneth"
Published as: McAloon, Kenneth; McAloon, Ken; Mc Aloon, Kenneth; McAloon, K.; Mc Aloon, K.; McAloon, K. W.; Mcaloon, K.
External Links: MGP · dblp
Documents Indexed: 41 Publications since 1971, including 6 Books

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 144 times in 131 Documents Cited by Year
On Gödel incompleteness and finite combinatorics. Zbl 0627.03041
Kanamori, Akihiro; McAloon, Kenneth
27
1987
Consistency results about ordinal definability. Zbl 0225.02044
McAloon, Kenneth
20
1971
A canonical form for generalized linear constraints. Zbl 0745.90046
Lassez, Jean-Louis; McAloon, Ken
17
1992
Petri nets and large finite sets. Zbl 0569.68046
McAloon, Kenneth
15
1984
On the complexity of models of arithmetic. Zbl 0519.03056
McAloon, Kenneth
11
1982
Completeness theorems, incompleteness theorems and models of arithmetic. Zbl 0388.03028
Mc Aloon, Kenneth
9
1978
Paris-Harrington incompleteness and progressions of theories. Zbl 0589.03028
McAloon, Kenneth
5
1985
Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001
Boffa, Maurice (ed.); van Dalen, Dirk (ed.); McAloon, Kenneth (ed.)
4
1979
Forcing and generalized quantifiers. Zbl 0259.02009
Krivine, Jean-Louis; McAloon, Kenneth
4
1973
Indicators, recursive saturation and expandability. Zbl 0488.03038
Kirby, L.; McAloon, K.; Murawski, R.
4
1981
A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis. Zbl 0522.03044
Friedman, Harvey M.; McAloon, Kenneth; Simpson, Stephen G.
4
1982
On the sequence of models HOD\(_n\). Zbl 0295.02033
McAloon, Kenneth
3
1974
A note on the parallel complexity of anti-unification. Zbl 0784.68042
Kuper, G. M.; McAloon, K. W.; Palem, K. V.; Perry, K. J.
3
1992
Reducibilities among decision problems for HNN groups, vector addition systems and subsystems of Peano arithmetic. Zbl 0523.20025
Anshel, Michael; McAloon, Kenneth
3
1983
Computational complexity and constraint logic programming languages. Zbl 0866.68013
Cox, Jim; McAloon, Ken; Tretkoff, Carol
2
1992
Les algèbres de Boole rigides et minimales. Zbl 0218.02051
McAloon, K.
2
1971
Modeles recursivement satures de l’addition et de la multiplication des entiers naturels. Zbl 0527.03043
Cegielski, Patrick; McAloon, Kenneth; Wilmers, George
2
1982
Two further combinatorial theorems equivalent to the 1-consistency of Peano arithmetic. Zbl 0545.03033
Clote, Peter; McAloon, Kenneth
2
1983
Optimization and computational logic. Incl. 1 disk. Zbl 0887.90117
McAloon, Ken; Tretkoff, Carol
1
1996
Logic, modeling, and programming. Zbl 0883.90092
McAloon, Ken; Tretkoff, Carol
1
1997
Formules de Rosser pour ZF. Zbl 0333.02046
McAloon, Kenneth
1
1975
A combinatorial characterization of inaccessible cardinals. Zbl 0415.03041
McAloon, Kenneth
1
1978
Les méthodes de Kirby-Paris et la théorie des ensembles. Zbl 0498.03041
Mc Aloon, Kenneth; Ressayre, Jean-Pierre
1
1981
Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d’independance. Zbl 0462.03016
Mc Aloon, Kenneth
1
1980
Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d’incompletude et fonctions recursives à croissance rapide. Zbl 0462.03017
Mc Aloon, Kenneth
1
1980
Logic, modeling, and programming. Zbl 0883.90092
McAloon, Ken; Tretkoff, Carol
1
1997
Optimization and computational logic. Incl. 1 disk. Zbl 0887.90117
McAloon, Ken; Tretkoff, Carol
1
1996
A canonical form for generalized linear constraints. Zbl 0745.90046
Lassez, Jean-Louis; McAloon, Ken
17
1992
A note on the parallel complexity of anti-unification. Zbl 0784.68042
Kuper, G. M.; McAloon, K. W.; Palem, K. V.; Perry, K. J.
3
1992
Computational complexity and constraint logic programming languages. Zbl 0866.68013
Cox, Jim; McAloon, Ken; Tretkoff, Carol
2
1992
On Gödel incompleteness and finite combinatorics. Zbl 0627.03041
Kanamori, Akihiro; McAloon, Kenneth
27
1987
Paris-Harrington incompleteness and progressions of theories. Zbl 0589.03028
McAloon, Kenneth
5
1985
Petri nets and large finite sets. Zbl 0569.68046
McAloon, Kenneth
15
1984
Reducibilities among decision problems for HNN groups, vector addition systems and subsystems of Peano arithmetic. Zbl 0523.20025
Anshel, Michael; McAloon, Kenneth
3
1983
Two further combinatorial theorems equivalent to the 1-consistency of Peano arithmetic. Zbl 0545.03033
Clote, Peter; McAloon, Kenneth
2
1983
On the complexity of models of arithmetic. Zbl 0519.03056
McAloon, Kenneth
11
1982
A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis. Zbl 0522.03044
Friedman, Harvey M.; McAloon, Kenneth; Simpson, Stephen G.
4
1982
Modeles recursivement satures de l’addition et de la multiplication des entiers naturels. Zbl 0527.03043
Cegielski, Patrick; McAloon, Kenneth; Wilmers, George
2
1982
Indicators, recursive saturation and expandability. Zbl 0488.03038
Kirby, L.; McAloon, K.; Murawski, R.
4
1981
Les méthodes de Kirby-Paris et la théorie des ensembles. Zbl 0498.03041
Mc Aloon, Kenneth; Ressayre, Jean-Pierre
1
1981
Les rapports entre la méthode des indicatrices et la méthode de Gödel pour obtenir des résultats d’independance. Zbl 0462.03016
Mc Aloon, Kenneth
1
1980
Progressions transfinies de théories axiomatiques, formes combinatoires du théorème d’incompletude et fonctions recursives à croissance rapide. Zbl 0462.03017
Mc Aloon, Kenneth
1
1980
Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001
Boffa, Maurice; van Dalen, Dirk; McAloon, Kenneth
4
1979
Completeness theorems, incompleteness theorems and models of arithmetic. Zbl 0388.03028
Mc Aloon, Kenneth
9
1978
A combinatorial characterization of inaccessible cardinals. Zbl 0415.03041
McAloon, Kenneth
1
1978
Formules de Rosser pour ZF. Zbl 0333.02046
McAloon, Kenneth
1
1975
On the sequence of models HOD\(_n\). Zbl 0295.02033
McAloon, Kenneth
3
1974
Forcing and generalized quantifiers. Zbl 0259.02009
Krivine, Jean-Louis; McAloon, Kenneth
4
1973
Consistency results about ordinal definability. Zbl 0225.02044
McAloon, Kenneth
20
1971
Les algèbres de Boole rigides et minimales. Zbl 0218.02051
McAloon, K.
2
1971
all top 5

Cited by 163 Authors

5 Hamkins, Joel David
5 Weiermann, Andreas
4 Kanamori, Akihiro
4 Lee, Gyesik
4 Maher, Michael J.
4 Shelah, Saharon
3 Enayat, Ali
3 Howell, Rodney R.
3 Koubarakis, Manolis
3 McAloon, Kenneth
3 Reitz, Jonas
2 Bovykin, Andrey I.
2 Cantini, Andrea
2 Carlucci, Lorenzo
2 Chong, Chi Tat
2 D’Aquino, Paola
2 Finkel, Olivier
2 Friedman, Sy-David
2 Jech, Thomas J.
2 Kirby, Laurence
2 Kojman, Menachem
2 Lassez, Jean-Louis
2 León Sánchez, Omar
2 Mileti, Joseph R.
2 Montalbán, Antonio
2 Paris, Jeffrey Bruce
2 Rosier, Louis E.
2 Simon, Axel
2 Slaman, Theodore A.
2 Štěpánek, Petr
2 Thumser, Wolfgang
2 Yang, Yue
1 Abraham, Uri
1 Abriola, Sergio
1 Aghaei, Mojtaba
1 Andreev, Petr
1 Anshel, Michael
1 Bäckström, Christer
1 Balcar, Bohuslav
1 Becker, Howard S.
1 Blanchard, Peter Floodstrand
1 Blanck, Rasmus
1 Boughattas, Sedki
1 Caferra, Ricardo
1 Caicedo, Andrés Eduardo
1 Cegielski, Patrick
1 Cheng, Yong
1 Clote, Peter G.
1 Cox, Jim
1 Cummings, James
1 David, Rene
1 De Loera, Jesús A.
1 Delcher, Arthur L.
1 Deuber, Walter A.
1 Dubiel, Malgorzata
1 Farr, Graham E.
1 Feferman, Solomon
1 Figueira, Santiago
1 Fischer, Diana
1 Fleischer, Rudolf
1 Fontanella, Laura
1 Freitag, James
1 Fuchs, Gunter
1 Gerevini, Alfonso Emilio
1 German, V. N.
1 Gordeev, Lev
1 Greenberg, Harvey Joel
1 Gu, Ming
1 Guzicki, Wojciech
1 Hájek, Petr
1 Hajnal, András
1 He, Kai-Duo
1 Hemmecke, Raymond
1 Hibti, M.
1 Hirshfeld, Yoram
1 Hirst, Jeffry Lynn
1 Hooker, John N. jun.
1 Horadam, Kathy J.
1 Hrbáček, Karel
1 Huynh, Dung T.
1 Huynh, Tien
1 Jakubikova, Maria
1 Jeřábek, Emil
1 Jonsson, Peter A.
1 Kaiser, Lukasz
1 Kąkol, Jerzy
1 Kasif, Simon
1 Kaye, Richard W.
1 Khamseh, Amir
1 Kim, Hwajeong
1 Kirmayer, Greg
1 Kołodziejczyk, Leszek Aleksander
1 Köppe, Matthias
1 Korec, Ivan
1 Kossak, Roman
1 Kostylev, Egor V.
1 Lassez, Catherine
1 Legeard, Bruno
1 Lincoln, Patrick D.
1 Loebl, Martin
...and 63 more Authors
all top 5

Cited in 45 Serials

19 Annals of Pure and Applied Logic
16 The Journal of Symbolic Logic
9 Theoretical Computer Science
7 Proceedings of the American Mathematical Society
7 Archive for Mathematical Logic
5 Journal of Combinatorial Theory. Series A
4 Notre Dame Journal of Formal Logic
4 Annals of Mathematics and Artificial Intelligence
3 Artificial Intelligence
3 Israel Journal of Mathematics
3 Transactions of the American Mathematical Society
3 Journal of Automated Reasoning
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Advances in Mathematics
2 Journal of the American Mathematical Society
2 The Bulletin of Symbolic Logic
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 Information Processing Letters
1 Journal of Mathematical Analysis and Applications
1 Periodica Mathematica Hungarica
1 Czechoslovak Mathematical Journal
1 Fundamenta Mathematicae
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Studia Logica
1 Synthese
1 European Journal of Combinatorics
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Annals of Operations Research
1 International Journal of Foundations of Computer Science
1 Discrete Mathematics and Applications
1 RAIRO. Informatique Théorique et Applications
1 Mathematical Programming. Series A. Series B
1 Cybernetics and Systems Analysis
1 Combinatorics, Probability and Computing
1 Constraints
1 Theory of Computing Systems
1 Communications of the Korean Mathematical Society
1 Journal of Mathematical Logic
1 Theory and Practice of Logic Programming
1 Bulletin of the American Mathematical Society
1 Journal of Zhejiang University. Science A
1 ACM Transactions on Computation Theory

Citations by Year