Cover Image

Models of Bounded Arithmetic and variants of Pigeonhole Principle

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Narusevych, Mykyta
Format:	Preprint
Published:	2022
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

An independence of the MIN principle from the PHP principle
by: Narusevych, Mykyta
Published: (2024)

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

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
by: Ariola, Zena M., et al.
Published: (2026)

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

Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)

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

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

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
by: de Rezende, Susanna F., et al.
Published: (2019)

On the Concept of Arithmetic Conseqeunce
by: Gheorghiu, Alexander V.
Published: (2026)

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

A natural axiomatization of Büchi Arithmetic
by: Kovalyov, Konstantin
Published: (2026)

Peano Arithmetic, games and descent recursion
by: Frittaion, Emanuele
Published: (2024)

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

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

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

Witnessing Flows in Arithmetic
by: Tabatabai, Amirhossein Akbar
Published: (2024)

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

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

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

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

Game-theoretic variants of cardinal invariants
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2023)

Game-theoretic variants of splitting number
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2024)

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
by: Schmerl, James H.
Published: (2019)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
by: Nechesov, Andrey
Published: (2024)

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
by: Schmerl, James
Published: (2026)

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

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

Nonlinear Arithmetic with SMTLIB Division is Undecidable
by: Jovanovic, Dejan
Published: (2026)

Satisfiability Modulo Exponential Integer Arithmetic
by: Frohn, Florian, et al.
Published: (2024)

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

The Ouroboros Goodstein Principle
by: Fernández-Duque, David, et al.
Published: (2026)

Reflection Principles in ZFU
by: Glazer, Elliot, et al.
Published: (2026)

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

Tolerance and the Bounds
by: Rohan French
Published: (2021)

Berkeley Cardinals and Vopěnka's Principle
by: Mohammd, Marwan Salam
Published: (2024)

Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)

The Equations $2^n \pm 2^m \pm 1 = x^2$ in the Arithmetic of the Even and Odd
by: Wicks, Matt
Published: (2025)

The strong reflecting property and Harrington's Principle
by: Cheng, Yong
Published: (2015)