Buchumschlag

Coinductive well-foundedness

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Petrakis, Iosif
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Topologies of open complemented subsets
von: Petrakis, Iosif
Veröffentlicht: (2023)

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

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

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
von: Petrakis, Iosif, et al.
Veröffentlicht: (2022)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
von: Herbelin, Hugo
Veröffentlicht: (2024)

Formalising Inductive and Coinductive Containers
von: Damato, Stefania, et al.
Veröffentlicht: (2024)

Cardinal Well-foundedness and Choice
von: Blass, Andreas, et al.
Veröffentlicht: (2023)

Coinductive Proofs for Temporal Hyperliveness
von: Correnson, Arthur, et al.
Veröffentlicht: (2025)

Coinductive Streams in Monoidal Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2022)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
von: Bronsveld, Steven, et al.
Veröffentlicht: (2025)

The Size-Change Principle for Mixed Inductive and Coinductive types
von: Hyvernat, Pierre
Veröffentlicht: (2024)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
von: Stoltenow, Lara, et al.
Veröffentlicht: (2024)

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

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
von: Kolesar, John, et al.
Veröffentlicht: (2025)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
von: Grabmayer, Clemens
Veröffentlicht: (2022)

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

Totality for Mixed Inductive and Coinductive Types
von: Hyvernat, Pierre
Veröffentlicht: (2019)

Orthocomplemented subspaces and partial projections on a Hilbert space
von: Petrakis, Iosif
Veröffentlicht: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
von: Abraham, Uri, et al.
Veröffentlicht: (2023)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
von: Iosif, Radu, et al.
Veröffentlicht: (2023)

Cofinitary groups and projective well-orders
von: Fischer, Vera, et al.
Veröffentlicht: (2023)

On the cartesian product of well-orderings
von: Vialard, Isa
Veröffentlicht: (2022)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
von: Shamkanov, Daniyar
Veröffentlicht: (2025)

Proceedings 9th edition of Working Formal Methods Symposium
von: Arusoaie, Andrei, et al.
Veröffentlicht: (2025)

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

Tree-Verifiable Graph Grammars
von: Chimes, Mark, et al.
Veröffentlicht: (2024)

Reductions of well-ordering principles to combinatorial theorems
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2024)

A note on the theory of well orders
von: Jeřábek, Emil
Veröffentlicht: (2024)

On groups well represented as automorphism groups of groups
von: Asgharzadeh, Mohsen, et al.
Veröffentlicht: (2024)

The category of well-filtered dcpos is not $Γ$-faithful
von: Miao, Hualin, et al.
Veröffentlicht: (2024)

The Grothendieck computability model
von: Gambarte, Luis, et al.
Veröffentlicht: (2024)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
von: Bozga, Marius, et al.
Veröffentlicht: (2023)

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

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

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

On a relation between $λ$-full well-ordered sets and weakly compact cardinals
von: Gullà, Gabriele
Veröffentlicht: (2024)

A topological counterpart of well-founded trees in dependent type theory
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

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

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

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