Imagen de Portada

Realizing the totally unordered structure of ordinals

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Fontanella, Laura, Matthews, Richard
Formato:	Preprint
Publicado:	2025
Materias:	Logic Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Guide to Krivine Realizability for Set Theory
por: Matthews, Richard
Publicado: (2023)

The Steenrod squares via unordered joins
por: Ljungström, Axel, et al.
Publicado: (2025)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
por: Kihara, Takayuki
Publicado: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
por: Lyon, Tim S.
Publicado: (2024)

Groupoidal Realizability for Intensional Type Theory
por: Speight, Sam
Publicado: (2024)

Completeness of Synthesis under Realizability Assumptions using Superposition
por: Hajdu, Márton, et al.
Publicado: (2026)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
por: Gaßner, Christine
Publicado: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
por: Gaßner, Christine
Publicado: (2025)

Stateful Realizers for Nonstandard Analysis
por: Dinis, Bruno, et al.
Publicado: (2022)

Topologically valued transition structures
por: Collinson, Matthew
Publicado: (2026)

Syntactic Effectful Realizability in Higher-Order Logic
por: Cohen, Liron, et al.
Publicado: (2025)

Local structure of idempotent algebras I
por: Bulatov, Andrei A.
Publicado: (2020)

Stabilized profunctors and stable species of structures
por: Fiore, Marcelo, et al.
Publicado: (2023)

The equivariant model structure on cartesian cubical sets
por: Awodey, Steve, et al.
Publicado: (2024)

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures
por: Asor, Ohad
Publicado: (2026)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
por: Livson, Ori, et al.
Publicado: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
por: Oda, Yukihiro
Publicado: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
por: Hansen, Helle Hvid, et al.
Publicado: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
por: Ayhan, Sara, et al.
Publicado: (2025)

On semantics of first-order justification logic with binding modalities
por: Yavorskaya, Tatiana, et al.
Publicado: (2025)

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

An abstract fixed-point theorem for Horn formula equations
por: Hetzl, Stefan, et al.
Publicado: (2025)

Terminating Hybrid Tableaus for Ordered Models
por: Nishimura, Yuki
Publicado: (2025)

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)

Shininess, strong politeness, and unicorns
por: Przybocki, Benjamin, et al.
Publicado: (2025)

Proofs that Modify Proofs, 1/2
por: Towsner, Henry
Publicado: (2025)

Quantum modal logic
por: Tokuo, Kenji
Publicado: (2025)

Simple Classes of Automatic Structures
por: Blumensath, Achim
Publicado: (2025)

Constructive Ordinal Exponentiation
por: de Jong, Tom, et al.
Publicado: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)

Prime Factorization in Models of PV$_1$
por: Ježil, Ondřej
Publicado: (2025)

Intuitionistic monotone modal logic via translation
por: de Groot, Jim
Publicado: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
por: Santiago-Fernández, Sofía, et al.
Publicado: (2025)

Bilateral base-extension semantics
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Infinite trees
por: Goy, Alexandre
Publicado: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
por: Alvarez, David Quinn
Publicado: (2025)