Imagen de Portada

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Narusevych, Mykyta
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Models of Bounded Arithmetic and variants of Pigeonhole Principle
por: Narusevych, Mykyta
Publicado: (2022)

An independence of the MIN principle from the PHP principle
por: Narusevych, Mykyta
Publicado: (2024)

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

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

Axiomatizations of Presburger Arithmetic With Predicates For Powers
por: Hieronymi, Philipp, et al.
Publicado: (2026)

Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
por: Brown, L. C.
Publicado: (2025)

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

On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
por: Contente, Michele, et al.
Publicado: (2024)

Ramsey Theory and Bounding in Arithmetic
por: Cholak, Peter
Publicado: (2026)

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

Predicate Subtypes in VerCors
por: Dubbeling, Tycho, et al.
Publicado: (2026)

Uniform Bounds in D-Minimal Structures
por: Farris, Madie, et al.
Publicado: (2026)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
por: Ito, Sohei, et al.
Publicado: (2025)

Tho Modal Logic of Minimal Upper Bounds
por: Knudstorp, Søren Brinck
Publicado: (2024)

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

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
por: Kihara, Takayuki
Publicado: (2024)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
por: Chatterjee, Krishnendu, et al.
Publicado: (2024)

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

On Lower Bounding Minimal Model Count
por: Kabir, Mohimenul, et al.
Publicado: (2024)

Arithmetics within the Linear Time Hierarchy
por: Pollett, Chris
Publicado: (2025)

On the Concept of Arithmetic Conseqeunce
por: Gheorghiu, Alexander V.
Publicado: (2026)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
por: Meseguer, Jose
Publicado: (2024)

A natural axiomatization of Büchi Arithmetic
por: Kovalyov, Konstantin
Publicado: (2026)

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

Peano Arithmetic, games and descent recursion
por: Frittaion, Emanuele
Publicado: (2024)

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

Logical Predicates in Higher-Order Mathematical Operational Semantics
por: Goncharov, Sergey, et al.
Publicado: (2024)

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

Predicates and terms from non-standard sequences
por: Zhuravlov, V. M.
Publicado: (2023)

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

Witnessing Flows in Arithmetic
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)

Chase Termination Beyond Polynomial Time
por: Hanisch, Philipp, et al.
Publicado: (2024)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
por: Wernhard, Christoph
Publicado: (2017)

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

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

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

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

Logical Approaches to Non-deterministic Polynomial Time over Semirings
por: Barlag, Timon, et al.
Publicado: (2025)

A Theory for Probabilistic Polynomial-Time Reasoning
por: Chen, Lijie, et al.
Publicado: (2026)

Constructive and Predicative Locale Theory in Univalent Foundations
por: Tosun, Ayberk
Publicado: (2026)