Cover Image

Coinductive well-foundedness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Petrakis, Iosif
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

Topologies of open complemented subsets
by: Petrakis, Iosif
Published: (2023)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

Conservation of Ramsey's theorem for pairs and well-foundedness
by: Houérou, Quentin Le, et al.
Published: (2024)

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
by: Petrakis, Iosif, et al.
Published: (2022)

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

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

Cardinal Well-foundedness and Choice
by: Blass, Andreas, et al.
Published: (2023)

Coinductive Proofs for Temporal Hyperliveness
by: Correnson, Arthur, et al.
Published: (2025)

Coinductive Streams in Monoidal Categories
by: Di Lavore, Elena, et al.
Published: (2022)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
by: Bronsveld, Steven, et al.
Published: (2025)

The Size-Change Principle for Mixed Inductive and Coinductive types
by: Hyvernat, Pierre
Published: (2024)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
by: Stoltenow, Lara, et al.
Published: (2024)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
by: Santo, José Espírito, et al.
Published: (2020)

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
by: Kolesar, John, et al.
Published: (2025)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
by: Grabmayer, Clemens
Published: (2022)

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
by: Cerda, Rémy, et al.
Published: (2025)

Totality for Mixed Inductive and Coinductive Types
by: Hyvernat, Pierre
Published: (2019)

Orthocomplemented subspaces and partial projections on a Hilbert space
by: Petrakis, Iosif
Published: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
by: Iosif, Radu, et al.
Published: (2023)

Cofinitary groups and projective well-orders
by: Fischer, Vera, et al.
Published: (2023)

On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
by: Shamkanov, Daniyar
Published: (2025)

Proceedings 9th edition of Working Formal Methods Symposium
by: Arusoaie, Andrei, et al.
Published: (2025)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
by: Bueri, Lucas, et al.
Published: (2024)

Tree-Verifiable Graph Grammars
by: Chimes, Mark, et al.
Published: (2024)

Reductions of well-ordering principles to combinatorial theorems
by: Carlucci, Lorenzo, et al.
Published: (2024)

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

On groups well represented as automorphism groups of groups
by: Asgharzadeh, Mohsen, et al.
Published: (2024)

The category of well-filtered dcpos is not $Γ$-faithful
by: Miao, Hualin, et al.
Published: (2024)

The Grothendieck computability model
by: Gambarte, Luis, et al.
Published: (2024)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
by: Bozga, Marius, et al.
Published: (2023)

A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2025)

$\text{NS}_{ω_1}$ saturated, $Δ_1 ( \{ ω_1 \} )$-definable and a $Δ^1_4$-definable well-order of the reals
by: Hoffelner, Stefan
Published: (2025)

Partitions of $\mathbb{R}^3$ into unit circles with no well-ordering of the reals
by: Fatalini, Azul
Published: (2025)

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
by: Gullà, Gabriele
Published: (2024)

A topological counterpart of well-founded trees in dependent type theory
by: Maietti, Maria Emilia, et al.
Published: (2023)

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)