admissible set (Q1635)
From MaRDI portal
in mathematical logic, a transitive set satisfying the axioms of Kripke-Platek set theory
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | admissible set |
in mathematical logic, a transitive set satisfying the axioms of Kripke-Platek set theory |
Statements
2781460162
0 references
/m/05fcbdz
0 references
Q4683809
0 references
