Talk:Kripke–Platek set theory

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	Start Class	Mid Priority	Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Click to show/hide comments. Please add to or update the comments to suggest improvements to the article. Geometry guy 22:38, 10 July 2007 (UTC)

[edit] Motivation?

Besides describing what KP is, it would also be nice to know why it is important by way of some motivation. - 72.58.19.66 20:24, 29 May 2006 (UTC)

Whether it is important or not and why is somewhat subjective. These axioms are the subset of the axioms of ZFC which results from removing those axioms which are problematical because they are nonconstructive. And KP has a connection to admissible sets which are connected to recursion theory. Sorry, but I do not know enough about KP to explain the motivation better than that. JRSpriggs 04:05, 30 May 2006 (UTC)