scientific article; zbMATH DE number 1746564
From MaRDI portal
Publication:4530733
Recommendations
Cited in
(10)- The metatheory of sets
- On existence in set theory. II: Relative productivity
- A simplified account of the metatheory of linear LF
- Improved results in scheme theory
- scientific article; zbMATH DE number 3959419 (Why is no real title available?)
- Believing the axioms. II
- FOUNDATIONS OF A NEW AXIOMATIC SET THEORY
- New set-theoretic axioms derived from a lean metamathematics
- The simple consistency of naive set theory using metavaluations
- A note on the axiom of countability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530733)