Cover Image

Isomorphic Subtypes in a Finite Generalized Ordered Type

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Joseph, Jean S.
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Isomorphism Classes of Generating Sets
by: Benhamou, Tom, et al.
Published: (2025)

Cube-based Isomorph-free Finite Model Finding
by: Chow, Choiwah, et al.
Published: (2025)

Type Isomorphisms for Multiplicative-Additive Linear Logic
by: Di Guardia, Rémi, et al.
Published: (2024)

Borel Complexity of the Isomorphism Relation of Archimedean Orders in Finitely Generated Groups
by: Poulin, Antoine
Published: (2024)

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
by: Blechschmidt, Paula
Published: (2025)

Generically Computable Linear Orderings
by: Calvert, Wesley, et al.
Published: (2024)

Isomorphism types of definable (maximal) cofinitary groups
by: Schembecker, Lukas
Published: (2025)

Isomorphism of locally compact Polish metric structures
by: Malicki, Maciej
Published: (2022)

On the Isomorphism Relation for Omnigenous Locally Finite Groups
by: Gao, Su, et al.
Published: (2025)

Intersection Types via Finite-Set Declarations
by: Kamareddine, Fairouz, et al.
Published: (2024)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism
by: Bezhanishvili, Nick, et al.
Published: (2025)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
by: Ulrich, Danielle
Published: (2024)

Predicate Subtypes in VerCors
by: Dubbeling, Tycho, et al.
Published: (2026)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

sp-Homogeneous Linear Orderings
by: Calvert, Wesley, et al.
Published: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
by: Marković, Đorđe, et al.
Published: (2025)

Scott Spectral Gaps are Bounded for Linear Orderings
by: Gonzalez, David, et al.
Published: (2024)

Stably Embedded Pairs of Ordered Abelian Groups
by: Hils, Martin, et al.
Published: (2023)

A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
by: Stokes-Waters, John
Published: (2026)

Dynamic Planar Graph Isomorphism is in DynFO
by: Datta, Samir, et al.
Published: (2026)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Fair Asynchronous Session Subtyping
by: Bravetti, Mario, et al.
Published: (2021)

Term Ordering Diagrams
by: Hajdu, Márton, et al.
Published: (2025)

Subgraph Isomorphism: Prolog vs. Conventional
by: Yin, Claire Y., et al.
Published: (2025)

Metric ideals and its Structures Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

Ordered groups of formal series, and a conjugacy problem
by: Bagayoko, Vincent
Published: (2025)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Bifurcation Logic: Separation Through Ordering
by: Galmiche, Didier, et al.
Published: (2025)

A Naive Encoding of Russell's Paradox in Type Theory
by: Qu, Zhuoyuan
Published: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

Isomorphism relations on classes of c.e. algebras
by: Ho, Meng-Che "Turbo", et al.
Published: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
by: Sabelli, Pietro
Published: (2024)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)