:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Kovalyov, Konstantin
Format:	Preprint
Publié:	2023
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2306.02012
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A natural axiomatization of Büchi Arithmetic
par: Kovalyov, Konstantin
Publié: (2026)

Axiomatization of Büchi arithmetic
par: Kovalyov, Konstantin
Publié: (2024)

On a Theorem by Bezboruah & Shepherdson
par: Visser, Albert
Publié: (2026)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
par: Nechesov, Andrey
Publié: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

Fixed Point Theorems in Computability Theory
par: Terwijn, Sebastiaan A.
Publié: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

Non-Archimedean Analogue of Chase's Lemma
par: Mihara, Tomoki
Publié: (2026)

The exponential logic of sequentialization
par: Alcolei, Aurore, et autres
Publié: (2023)

Advances in Algorithmic Meta Theorems
par: Siebertz, Sebastian, et autres
Publié: (2024)

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

List types for resource aware languages: an implicit name approach
par: Ghilezan, Silvia, et autres
Publié: (2021)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

Keisler's Theorem and Cardinal Invariants
par: Goto, Tatsuya
Publié: (2021)

Herbrand's Theorem in Refutation Schemata
par: Leitsch, Alexander, et autres
Publié: (2024)

On the theory of exponential integer parts
par: Jeřábek, Emil
Publié: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

A weak variant of Hindman's Theorem stronger than Hilbert's Theorem
par: Carlucci, Lorenzo
Publié: (2016)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
par: Koul, Prajval, et autres
Publié: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

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

Logic as an internal organisation of language
par: Čulina, Boris
Publié: (2021)

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

Hensel minimality, $p$-adic exponentiation and Tate uniformization
par: Eterović, Sebastian, et autres
Publié: (2026)

Theoremizing Yablo's Paradox
par: Karimi, Ahmad, et autres
Publié: (2014)

Goldblat-Thomason Theorems for Fundamental (Modal) Logic
par: Massas, Guillaume
Publié: (2024)

A Short Nonstandard Proof of the Radon-Nikodym Theorem
par: Matsunaga, Takashi
Publié: (2026)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
par: Suárez, Juan M Santiago, et autres
Publié: (2025)

Simple Models of Randomization and Preservation Theorems
par: Khanaki, Karim, et autres
Publié: (2024)

Measurable Brooks's Theorem for Directed Graphs
par: Higgins, Cecelia
Publié: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

A General Theorem for Non-Simultaneous Hat Guessing Puzzles
par: Shizuma, Souji
Publié: (2025)

Borel Local Lemma: arbitrary random variables and limited exponential growth
par: Bernshteyn, Anton, et autres
Publié: (2024)

A Note on a Theorem of Apter
par: Mohammadpour, Rahman, et autres
Publié: (2026)

Hall's Harem Theorem with controlled sizes of cycles
par: Duda, Karol
Publié: (2025)

Rich doctrines and Henkin's Theorem
par: Guffanti, Francesca
Publié: (2023)

Locality Theorems in Semiring Semantics
par: Bizière, Clotilde, et autres
Publié: (2023)

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
par: Rybakov, M., et autres
Publié: (2025)

Ruitenburg's Theorem Mechanized and Contextualized
par: Litak, Tadeusz
Publié: (2024)