Keywords

#axiom_schema_of_predicative_separation

Axiom schema of predicative separation

Schema of axioms in set theory

In axiomatic set theory, the axiom schema of predicative separation, or of restricted, or Δ0 separation, is a schema of axioms which is a restriction of the usual axiom schema of separation in Zermelo–Fraenkel set theory. This name Δ0 stems from the Lévy hierarchy, in analogy with the arithmetic hierarchy.

Sat 6th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Axiom schema of predicative separation Axiom schema Constructive set theory Diaconescu's theorem Set theory Axiom of regularity Principia Mathematica Kripke–Platek set theory Glossary of set theory Axiom of reducibility
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.