scientific article; zbMATH DE number 4128804
From MaRDI portal
Publication:4207895
zbMath0689.03024MaRDI QIDQ4207895
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
universeextensionality axiomKripke-Platek set theory without foundation and without urelementspolynomial-time computable operationstheory of finite sets
Complexity of computation (including implicit computational complexity) (03D15) Nonclassical and second-order set theories (03E70)
Related Items (3)
\(\Delta\)-languages for sets and LOGSPACE computable graph transformers ⋮ A theory of hyperfinite sets ⋮ Linear ordering on graphs, anti-founded sets and polynomial time computability
This page was built for publication:
