Admissible

From Apeirology Wiki
Revision as of 20:42, 2 March 2023 by C7X (talk | contribs) (Created page with "A set \(M\) is admissible if \((M,\in)\) is a model of Kripke-Platek set theory. An ordinal \(\alpha\) is admissible if there exists an admissible set \(M\) such that \(M\cap\textrm{Ord}=\alpha\). This definition of admissibility is equivalent to \(L_\alpha\vDash\textrm{KP}\).<ref>Probably in Barwise somewhere</ref>")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

A set \(M\) is admissible if \((M,\in)\) is a model of Kripke-Platek set theory. An ordinal \(\alpha\) is admissible if there exists an admissible set \(M\) such that \(M\cap\textrm{Ord}=\alpha\). This definition of admissibility is equivalent to \(L_\alpha\vDash\textrm{KP}\).[1]

  1. ↑ Probably in Barwise somewhere
Retrieved from "https://apeirology.com/wiki/Admissible?oldid=145"