:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Towsner, Henry
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2504.02131
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

Proofs that Modify Proofs
by: Towsner, Henry
Published: (2024)

A classification of incompleteness statements
by: Towsner, Henry, et al.
Published: (2024)

Hanf Locality and Invariant Elementary Definability
by: Lindell, Steven, et al.
Published: (2025)

The Complexity of the Set of Validities of a Theory
by: Hirschfeldt, Denis R., et al.
Published: (2025)

Intersecting sets in probability spaces and Shelah's classification
by: Chernikov, Artem, et al.
Published: (2024)

Perfect stable regularity lemma and slice-wise stable hypergraphs
by: Chernikov, Artem, et al.
Published: (2024)

Higher-arity PAC learning, VC dimension and packing lemma
by: Chernikov, Artem, et al.
Published: (2025)

Averages of hypergraphs and higher arity stability
by: Chernikov, Artem, et al.
Published: (2025)

Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)

Existential Notation3 Logic
by: Arndt, Dörthe, et al.
Published: (2023)

Effectivity and Reducibility with Ordinal Turing Machines
by: Carl, Merlin
Published: (2018)

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

A Note on Clockability for Ordinal Turing Machines
by: Carl, Merlin
Published: (2019)

Ordinal measures of the set of finite multisets
by: Vialard, Isa
Published: (2023)

Effective Reducibility for Statements of Arbitrary Quantifier Complexity with Ordinal Turing Machines
by: Carl, Merlin
Published: (2024)

A Dichotomy Theorem for Ordinal Ranks in MSO
by: Niwiński, Damian, et al.
Published: (2025)

All Ordinals are Cop-Robber Ordinals
by: Chapital, Jorge Cruz, et al.
Published: (2025)

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
by: Džamonja, Mirna, et al.
Published: (2017)

Ordinal definability in $L[\mathbb{E}]$
by: Schlutzenberg, Farmer
Published: (2020)

Polymorphism Meets DHOL
by: Ranalter, Rhea, et al.
Published: (2026)

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
by: Bryce, Aaron, et al.
Published: (2026)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
by: Bezem, Marc, et al.
Published: (2026)

Notes on CSPs and Polymorphisms
by: Brady, Zarathustra
Published: (2022)

Ordinals and recursively defined functions on the reals
by: Nivasch, Gabriel, et al.
Published: (2023)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
by: Jang, Junyoung, et al.
Published: (2024)

Forcing With Copies of Uncountable Ordinals
by: Kurilić, Miloš S.
Published: (2023)

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

The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
by: Kátay, Tamás, et al.
Published: (2023)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)

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

Simple Types for Polymorphic Functions
by: Jay, Barry, et al.
Published: (2026)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
by: Bezem, Marc, et al.
Published: (2022)

A removal lemma for ordered hypergraphs
by: Henry Towsner
Published: (2024)

Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
by: Ciardo, Lorenzo, et al.
Published: (2025)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
by: Alpay, Faruk, et al.
Published: (2025)

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

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

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