Nathan J. Bowler, Thomas Forster. Internal automorphisms and Antimorphisms of Models of NF. Journal of Symbolic Logic, 90(4):1796-1800, 2025. [doi]
@article{BowlerF25,
title = {Internal automorphisms and Antimorphisms of Models of NF},
author = {Nathan J. Bowler and Thomas Forster},
year = {2025},
doi = {10.1017/jsl.2024.47},
url = {https://doi.org/10.1017/jsl.2024.47},
researchr = {https://researchr.org/publication/BowlerF25},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {90},
number = {4},
pages = {1796-1800},
}