Buchumschlag

Models of Bounded Arithmetic and variants of Pigeonhole Principle

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
von: Narusevych, Mykyta
Veröffentlicht: (2026)

An independence of the MIN principle from the PHP principle
von: Narusevych, Mykyta
Veröffentlicht: (2024)

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

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
von: Ariola, Zena M., et al.
Veröffentlicht: (2026)

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

Ramsey Theory and Bounding in Arithmetic
von: Cholak, Peter
Veröffentlicht: (2026)

Feasibility of Primality in Bounded Arithmetic
von: Jalali, Raheleh, et al.
Veröffentlicht: (2025)

Unravelling Cyclic First-Order Arithmetic
von: Leigh, Graham E., et al.
Veröffentlicht: (2025)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

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

On the Concept of Arithmetic Conseqeunce
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

Binary Choice Games and Arithmetical Comprehension
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

A natural axiomatization of Büchi Arithmetic
von: Kovalyov, Konstantin
Veröffentlicht: (2026)

Peano Arithmetic, games and descent recursion
von: Frittaion, Emanuele
Veröffentlicht: (2024)

The Limits of Determinacy in Higher-Order Arithmetic
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2024)

Speedups for Presburger Arithmetic and Real Closed Fields
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2026)

Arithmetical completeness for some extensions of the pure logic of necessitation
von: Kogure, Haruka
Veröffentlicht: (2024)

Witnessing Flows in Arithmetic
von: Tabatabai, Amirhossein Akbar
Veröffentlicht: (2024)

MCSAT Modulo Transcendental Arithmetics
von: Gallego-Hernández, Jorge, et al.
Veröffentlicht: (2026)

Peano Arithmetic and $μ$MALL
von: Manighetti, Matteo, et al.
Veröffentlicht: (2023)

Towards an Analysis of Proofs in Arithmetic
von: Leitsch, Alexander, et al.
Veröffentlicht: (2025)

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

Game-theoretic variants of cardinal invariants
von: Chapital, Jorge Antonio Cruz, et al.
Veröffentlicht: (2023)

Game-theoretic variants of splitting number
von: Chapital, Jorge Antonio Cruz, et al.
Veröffentlicht: (2024)

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
von: Schmerl, James H.
Veröffentlicht: (2019)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
von: Nechesov, Andrey
Veröffentlicht: (2024)

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
von: Schmerl, James
Veröffentlicht: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

On the Decidability of Monadic Theories of Arithmetic Predicates
von: Berthé, Valérie, et al.
Veröffentlicht: (2024)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
von: Jovanovic, Dejan
Veröffentlicht: (2026)

Satisfiability Modulo Exponential Integer Arithmetic
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

On the Decidability of Presburger Arithmetic Expanded with Powers
von: Karimov, Toghrul, et al.
Veröffentlicht: (2024)

The Ouroboros Goodstein Principle
von: Fernández-Duque, David, et al.
Veröffentlicht: (2026)

Reflection Principles in ZFU
von: Glazer, Elliot, et al.
Veröffentlicht: (2026)

Incorrectness Separation Logic with Arrays and Pointer Arithmetic
von: Lee, Yeonseok, et al.
Veröffentlicht: (2025)

Tolerance and the Bounds
von: Rohan French
Veröffentlicht: (2021)

Berkeley Cardinals and Vopěnka's Principle
von: Mohammd, Marwan Salam
Veröffentlicht: (2024)

Arithmetics within the Linear Time Hierarchy
von: Pollett, Chris
Veröffentlicht: (2025)

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

The strong reflecting property and Harrington's Principle
von: Cheng, Yong
Veröffentlicht: (2015)