Jan Mycielski. New Set-Theoretic Axioms Derived from a Lean Metamathematics. Journal of Symbolic Logic, 60(1):191-198, 1995.
@article{Mycielski95, title = {New Set-Theoretic Axioms Derived from a Lean Metamathematics}, author = {Jan Mycielski}, year = {1995}, researchr = {https://researchr.org/publication/Mycielski95}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {60}, number = {1}, pages = {191-198}, }