Copertina

Subsystems of Open Induction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hetzl, Stefan, Weiser, Johannes
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
di: Achammer, Fabian, et al.
Pubblicazione: (2025)

Computing Witnesses Using the SCAN Algorithm
di: Achammer, Fabian, et al.
Pubblicazione: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Getting Saturated with Induction
di: Hajdu, Márton, et al.
Pubblicazione: (2024)

Templates in Rewriting Induction
di: Hagens, Kasper, et al.
Pubblicazione: (2026)

Bounded Rewriting Induction for LCSTRSs
di: Hagens, Kasper, et al.
Pubblicazione: (2026)

Induction rules for Transition Algebra
di: Hashimoto, Go
Pubblicazione: (2026)

Circular Induction
di: Lucanu, Dorel, et al.
Pubblicazione: (2026)

Independence and Induction in Reverse Mathematics
di: Belanger, David, et al.
Pubblicazione: (2024)

Cut-elimination for the alternation-free modal mu-calculus
di: Afshari, Bahareh, et al.
Pubblicazione: (2025)

Interpolation for the two-way modal mu-calculus
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
di: Peled, Romy, et al.
Pubblicazione: (2025)

Adequate conditionals and Kripke's theory of truth
di: Stern, Johannes
Pubblicazione: (2024)

The Open Coloring Axiom
di: Matos-Wiederhold, Tonatiuh
Pubblicazione: (2022)

Formal Verification of Parameterized Systems based on Induction
di: Xiu, Jiaqi, et al.
Pubblicazione: (2025)

Axe 'Em: Eliminating Spurious States with Induction Axioms
di: Elad, Neta, et al.
Pubblicazione: (2024)

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

A Universe with large Continuum, global $Σ$-Uniformization and a projective Well-Order of its Reals
di: Hoffelner, Stefan
Pubblicazione: (2025)

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

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
di: Hoffelner, Stefan
Pubblicazione: (2025)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
di: Hoffelner, Stefan
Pubblicazione: (2024)

Supervaluation-Style Truth Revisited
di: Dopico, Pablo, et al.
Pubblicazione: (2025)

Strong Measure Zero Sets on $2^κ$ for $κ$ Inaccessible
di: Chapman, Nick Steven, et al.
Pubblicazione: (2019)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
di: Grotenhuis, Lide, et al.
Pubblicazione: (2026)

Conjunctive Table Algebras
di: Kötters, Jens, et al.
Pubblicazione: (2024)

Constructive theory of ordinals
di: Coquand, Thierry, et al.
Pubblicazione: (2022)

Open Horn Type Theory
di: Poernomo, Iman
Pubblicazione: (2025)

Localic Relations with Open Cones
di: van der Schaaf, Nesta
Pubblicazione: (2026)

PFA and the definability of the nonstationary ideal
di: Hoffelner, Stefan, et al.
Pubblicazione: (2023)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2025)

Unification of Deterministic Higher-Order Patterns (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2026)

Grothendieck rings of polytopes and non-archimedean semi-algebraic sets
di: Nicaise, Johannes
Pubblicazione: (2024)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
di: Ratschan, Stefan
Pubblicazione: (2012)

Deciding Predicate Logical Theories of Real-Valued Functions
di: Ratschan, Stefan
Pubblicazione: (2023)

Left-Linear Completion with AC Axioms
di: Niederhauser, Johannes, et al.
Pubblicazione: (2024)

Verifying Procedural Programs via Constrained Rewriting Induction
di: Fuhs, Carsten, et al.
Pubblicazione: (2014)