Image de couverture de livre

Polymorphic Ordinal Notations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Towsner, Henry
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Proofs that Modify Proofs, 1/2
par: Towsner, Henry
Publié: (2025)

Proofs that Modify Proofs
par: Towsner, Henry
Publié: (2024)

A classification of incompleteness statements
par: Towsner, Henry, et autres
Publié: (2024)

Hanf Locality and Invariant Elementary Definability
par: Lindell, Steven, et autres
Publié: (2025)

The Complexity of the Set of Validities of a Theory
par: Hirschfeldt, Denis R., et autres
Publié: (2025)

Constructive Ordinal Exponentiation
par: de Jong, Tom, et autres
Publié: (2025)

Intersecting sets in probability spaces and Shelah's classification
par: Chernikov, Artem, et autres
Publié: (2024)

Perfect stable regularity lemma and slice-wise stable hypergraphs
par: Chernikov, Artem, et autres
Publié: (2024)

Higher-arity PAC learning, VC dimension and packing lemma
par: Chernikov, Artem, et autres
Publié: (2025)

Averages of hypergraphs and higher arity stability
par: Chernikov, Artem, et autres
Publié: (2025)

Existential Notation3 Logic
par: Arndt, Dörthe, et autres
Publié: (2023)

Effectivity and Reducibility with Ordinal Turing Machines
par: Carl, Merlin
Publié: (2018)

A Note on Clockability for Ordinal Turing Machines
par: Carl, Merlin
Publié: (2019)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

Ordinal measures of the set of finite multisets
par: Vialard, Isa
Publié: (2023)

Effective Reducibility for Statements of Arbitrary Quantifier Complexity with Ordinal Turing Machines
par: Carl, Merlin
Publié: (2024)

A Dichotomy Theorem for Ordinal Ranks in MSO
par: Niwiński, Damian, et autres
Publié: (2025)

All Ordinals are Cop-Robber Ordinals
par: Chapital, Jorge Cruz, et autres
Publié: (2025)

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
par: Džamonja, Mirna, et autres
Publié: (2017)

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
par: Bryce, Aaron, et autres
Publié: (2026)

Ordinal definability in $L[\mathbb{E}]$
par: Schlutzenberg, Farmer
Publié: (2020)

Polymorphism Meets DHOL
par: Ranalter, Rhea, et autres
Publié: (2026)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
par: Bezem, Marc, et autres
Publié: (2026)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
par: Jang, Junyoung, et autres
Publié: (2024)

Ordinals and recursively defined functions on the reals
par: Nivasch, Gabriel, et autres
Publié: (2023)

Notes on CSPs and Polymorphisms
par: Brady, Zarathustra
Publié: (2022)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Forcing With Copies of Uncountable Ordinals
par: Kurilić, Miloš S.
Publié: (2023)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
par: Marković, Đorđe, et autres
Publié: (2025)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
par: Matsuoka, Satoshi
Publié: (2026)

The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
par: Kátay, Tamás, et autres
Publié: (2023)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

A removal lemma for ordered hypergraphs
par: Henry Towsner
Publié: (2024)

Simple Types for Polymorphic Functions
par: Jay, Barry, et autres
Publié: (2026)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
par: Bezem, Marc, et autres
Publié: (2022)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

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

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

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)