Isomorphic Subtypes in a Finite Generalized Ordered Type
Logic
2025-06-16 v1
Abstract
We give sufficient conditions to find all subtypes isomorphic to a subtype in a finite generalized ordered type.
Keywords
Cite
@article{arxiv.2506.11364,
title = {Isomorphic Subtypes in a Finite Generalized Ordered Type},
author = {Jean S. Joseph},
journal= {arXiv preprint arXiv:2506.11364},
year = {2025}
}