:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Kovalyov, Konstantin
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2306.02012
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Axiomatization of Büchi arithmetic
by: Kovalyov, Konstantin
Published: (2024)

On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)

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

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Non-Archimedean Analogue of Chase's Lemma
by: Mihara, Tomoki
Published: (2026)

The exponential logic of sequentialization
by: Alcolei, Aurore, et al.
Published: (2023)

Advances in Algorithmic Meta Theorems
by: Siebertz, Sebastian, et al.
Published: (2024)

Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
by: Ma, Zhifeng, et al.
Published: (2024)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Keisler's Theorem and Cardinal Invariants
by: Goto, Tatsuya
Published: (2021)

Herbrand's Theorem in Refutation Schemata
by: Leitsch, Alexander, et al.
Published: (2024)

On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

A weak variant of Hindman's Theorem stronger than Hilbert's Theorem
by: Carlucci, Lorenzo
Published: (2016)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

When are two algorithms the same? Towards addressing Hilbert's 24th problem
by: Doubrovinski, Konstantin
Published: (2025)

Logic as an internal organisation of language
by: Čulina, Boris
Published: (2021)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
by: Eterović, Sebastian, et al.
Published: (2026)

Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)

Goldblat-Thomason Theorems for Fundamental (Modal) Logic
by: Massas, Guillaume
Published: (2024)

A Short Nonstandard Proof of the Radon-Nikodym Theorem
by: Matsunaga, Takashi
Published: (2026)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
by: Suárez, Juan M Santiago, et al.
Published: (2025)

Simple Models of Randomization and Preservation Theorems
by: Khanaki, Karim, et al.
Published: (2024)

Measurable Brooks's Theorem for Directed Graphs
by: Higgins, Cecelia
Published: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)

A General Theorem for Non-Simultaneous Hat Guessing Puzzles
by: Shizuma, Souji
Published: (2025)

Borel Local Lemma: arbitrary random variables and limited exponential growth
by: Bernshteyn, Anton, et al.
Published: (2024)

A Note on a Theorem of Apter
by: Mohammadpour, Rahman, et al.
Published: (2026)

Hall's Harem Theorem with controlled sizes of cycles
by: Duda, Karol
Published: (2025)

Rich doctrines and Henkin's Theorem
by: Guffanti, Francesca
Published: (2023)

Locality Theorems in Semiring Semantics
by: Bizière, Clotilde, et al.
Published: (2023)

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
by: Rybakov, M., et al.
Published: (2025)

Ruitenburg's Theorem Mechanized and Contextualized
by: Litak, Tadeusz
Published: (2024)