Image de couverture de livre

Categoricity without Power

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Goh, Jun Le, Tran, Chieu-Minh
Format:	Preprint
Publié:	2026
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Large implies henselian
par: Johnson, Will, et autres
Publié: (2025)

On the shatter function of semilinear set systems
par: Basit, Abdul, et autres
Publié: (2025)

Stable formulas in ordered structures
par: Hoffmann, Daniel Max, et autres
Publié: (2020)

The étale-open topology and the stable fields conjecture
par: Johnson, Will, et autres
Publié: (2020)

Measure doubling in unimodular locally compact groups and quotients
par: Kong, Zuxiang, et autres
Publié: (2024)

Of model completeness and algebraic groups
par: Hoffmann, Daniel Max, et autres
Publié: (2023)

Finding descending sequences through ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2020)

The weakness of finding descending sequences in ill-founded linear orders
par: Goh, Jun Le, et autres
Publié: (2024)

An Introduction to Categorical Proof Theory
par: Tabatabai, Amirhossein Akbar
Publié: (2024)

Categorical Proof-Theoretic Semantics
par: Pym, David, et autres
Publié: (2023)

Finite combinatorics and computability theory
par: Dzhafarov, Damir D., et autres
Publié: (2026)

Internal Categoricity and the Generic Multiverse
par: Meadows, Toby
Publié: (2025)

Counting in Uncountably Categorical Pseudofinite Structures
par: Van Abel, Alexander
Publié: (2021)

A New Tractable Description Logic under Categorical Semantics
par: Duc, Chan Le, et autres
Publié: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
par: Enayat, Ali, et autres
Publié: (2026)

Univalence without function extensionality
par: Cavallo, Evan, et autres
Publié: (2026)

Categorical generalization of spectral decomposition
par: Nishizawa, Koki, et autres
Publié: (2025)

On Complete Categorical Semantics for Effect Handlers
par: Kura, Satoshi
Publié: (2026)

Proof Identity and Categorical Models of BV
par: Acclavio, Matteo, et autres
Publié: (2026)

A Categorical Foundation of Rough Sets
par: Kakutani, Yoshihiko
Publié: (2025)

A Categorical Approach to DIBI Models
par: Gu, Tao, et autres
Publié: (2024)

Strategies as Resource Terms, and their Categorical Semantics
par: Blondeau-Patissier, Lison, et autres
Publié: (2023)

Undecidability of Linear Logics without Weakening
par: Suzuki, Jun, et autres
Publié: (2025)

Normalisation for Negative Free Logics without and with Definite Descriptions
par: Kürbis, Nils
Publié: (2024)

A Categorical Semantics for Linear Logical Frameworks
par: Vákár, Matthijs
Publié: (2015)

A Categorical Approach to Coalgebraic Fixpoint Logic
par: Schoen, Ezra, et autres
Publié: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
par: Lyon, Tim S., et autres
Publié: (2023)

A Unifying Categorical View of Nondeterministic Iteration and Tests
par: Goncharov, Sergey, et autres
Publié: (2024)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
par: Rogozin, Daniel
Publié: (2025)

Classical Logic without Bivalance
par: Gheorghiu, Alexander V.
Publié: (2025)

Proof Assistants for Teaching: a Survey
par: Minh, Frédéric Tran, et autres
Publié: (2025)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
par: Asor, Ohad
Publié: (2026)

The Sup Connective in IMALL: A Categorical Semantics
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

Reconciliation of Approaches to the Semantics of Logics without Distribution
par: Hartonas, Chrysafis
Publié: (2021)

P-measures in models without P-points
par: Borodulin-Nadzieja, Piotr, et autres
Publié: (2024)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
par: Wang, Shanxia
Publié: (2026)

A Simple Categorical Calculus of Interacting Processes
par: Nester, Chad, et autres
Publié: (2026)

Categorical Construction of Logically Verifiable Neural Architectures
par: Nye, Logan
Publié: (2025)

Varieties of modal algebras without the congruence extension property
par: Gyenis, Zalán, et autres
Publié: (2024)