共 15 条
- [1] On the computational content of Zorn's lemma PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 768 - 781
- [4] A Simple Proof of Caristi's Fixed Point Theorem without Using Zorn's Lemma and Transfinite Induction THAI JOURNAL OF MATHEMATICS, 2016, 14 (02): : 259 - 264
- [8] Automorphisms of some subalgebras of the Toeplitz algebra Siberian Mathematical Journal, 2016, 57 : 525 - 531
- [9] On generators of a matrix algebra and some of its subalgebras TRUDY INSTITUTA MATEMATIKI I MEKHANIKI URO RAN, 2018, 24 (01): : 8 - 14