:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Wicks, Matt
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	https://arxiv.org/abs/2511.22922
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Unravelling Cyclic First-Order Arithmetic
di: Leigh, Graham E., et al.
Pubblicazione: (2025)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)

On proving consistency of equational theories in Bounded Arithmetic
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)

On the Concept of Arithmetic Conseqeunce
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Ramsey Theory and Bounding in Arithmetic
di: Cholak, Peter
Pubblicazione: (2026)

Binary Choice Games and Arithmetical Comprehension
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)

A natural axiomatization of Büchi Arithmetic
di: Kovalyov, Konstantin
Pubblicazione: (2026)

Peano Arithmetic, games and descent recursion
di: Frittaion, Emanuele
Pubblicazione: (2024)

The Limits of Determinacy in Higher-Order Arithmetic
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2024)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
di: Narusevych, Mykyta
Pubblicazione: (2022)

Speedups for Presburger Arithmetic and Real Closed Fields
di: Pakhomov, Fedor, et al.
Pubblicazione: (2026)

Witnessing Flows in Arithmetic
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Proofs that Modify Proofs, 1/2
di: Towsner, Henry
Pubblicazione: (2025)

Arithmetical completeness for some extensions of the pure logic of necessitation
di: Kogure, Haruka
Pubblicazione: (2024)

Feasibility of Primality in Bounded Arithmetic
di: Jalali, Raheleh, et al.
Pubblicazione: (2025)

Towards an Analysis of Proofs in Arithmetic
di: Leitsch, Alexander, et al.
Pubblicazione: (2025)

MCSAT Modulo Transcendental Arithmetics
di: Gallego-Hernández, Jorge, et al.
Pubblicazione: (2026)

Peano Arithmetic and $μ$MALL
di: Manighetti, Matteo, et al.
Pubblicazione: (2023)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
di: Narusevych, Mykyta
Pubblicazione: (2026)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

On the Decidability of Monadic Theories of Arithmetic Predicates
di: Berthé, Valérie, et al.
Pubblicazione: (2024)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
di: Jovanovic, Dejan
Pubblicazione: (2026)

Satisfiability Modulo Exponential Integer Arithmetic
di: Frohn, Florian, et al.
Pubblicazione: (2024)

On the Decidability of Presburger Arithmetic Expanded with Powers
di: Karimov, Toghrul, et al.
Pubblicazione: (2024)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
di: Fortin, Marie, et al.
Pubblicazione: (2023)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
di: Grobner, Harald
Pubblicazione: (2026)

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
di: Schmerl, James
Pubblicazione: (2026)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
di: Ken, Eitetsu, et al.
Pubblicazione: (2024)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
di: Lee, Yeonseok, et al.
Pubblicazione: (2025)

Sequence and Consequence
di: Dorr, Cian, et al.
Pubblicazione: (2024)

Tutorial: Designing Distributed Software in mCRL2
di: Groote, Jan Friso, et al.
Pubblicazione: (2021)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
di: Su, Wanyun, et al.
Pubblicazione: (2024)

Toward a Characterization of Simulation Between Arithmetic Theories
di: Monroe, Hunter
Pubblicazione: (2026)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
di: Lyon, Tim S.
Pubblicazione: (2024)

Search for the exclusive $W$ boson hadronic decays $W^{\pm}\toπ^{\pm}γ$, $W^{\pm}\to K^{\pm}γ$ and $W^{\pm}\toρ^{\pm}γ$ with the ATLAS detector
di: ATLAS Collaboration
Pubblicazione: (2023)

Complex Algebras of Arithmetic
di: Düntsch, Ivo, et al.
Pubblicazione: (2009)

Logic of the Great, Logic of the Wise 2
di: Fedorchenko, Mikhail
Pubblicazione: (2026)

The structure of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC}_2$-dimension
di: Terry, C., et al.
Pubblicazione: (2025)