:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Karpov, Vladimir E.
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2405.08422
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Did Turing prove the undecidability of the halting problem?
by: Hamkins, Joel David, et al.
Published: (2024)

Kleene algebra with commutativity conditions is undecidable
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)

The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
by: Ivanova, Tatyana, et al.
Published: (2021)

Additive systems for $\mathbb{Z}$ are undecidable
by: Zabolotskii, Andrei
Published: (2025)

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
by: Rybakov, Mikhail
Published: (2025)

Undecidability of the elementary theory of Young--Fibonacci lattice
by: Evtushevsky, Vsevolod
Published: (2024)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

On Godel's treatment of the undecidable in 1931
by: Cattabriga, Paola
Published: (2024)

Two examples concerning existential undecidability in fields
by: Dittmann, Philip
Published: (2022)

The uniqueness of elementary embeddings
by: Goldberg, Gabriel
Published: (2021)

Characterizing fragments of collection principle in set theory with model theoretic properties
by: Chen, Junhong
Published: (2025)

Ultrafilter extensions of bounded graphs are elementary
by: Molnár, Zalán
Published: (2024)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

A note on some example of NSOP1 theories
by: Bossut, Yvon
Published: (2023)

On the elementary theory of the real exponential field
by: Berarducci, Alessandro, et al.
Published: (2026)

Quasitoposes as elementary quotient completions
by: Maietti, Maria Emilia, et al.
Published: (2021)

Algebraic characterisation of pseudo-elementary and second-order classes
by: Ivanyos, János Balázs
Published: (2026)

The elementary theory of free Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2024)

Left adjoint to precomposition in elementary doctrines
by: Guffanti, Francesca
Published: (2023)

Minimal signatures with undecidability of representability by binary relations
by: Hirsch, Robin, et al.
Published: (2024)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
by: Bernardo, Marco, et al.
Published: (2025)

Limit models in strictly stable abstract elementary classes
by: Will Boney, et al.
Published: (2024)

One-variable fragments of first-order logics
by: Cintula, Petr, et al.
Published: (2023)

Partially-elementary end extensions of countable models of set theory
by: McKenzie, Zachiri
Published: (2024)

O-minimal open core is not an elementary property
by: Gorman, Alexi Block, et al.
Published: (2026)

A modular bisimulation characterisation for fragments of hybrid logic
by: Badia, Guillermo, et al.
Published: (2023)

Goedel logics: Prenex fragments
by: Baaz, Matthias, et al.
Published: (2024)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Non-elementary categoricity and projective locally o-minimal classes
by: Zilber, Boris
Published: (2022)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

Normalization and cut-elimination theorems for some logics of evidence and truth
by: Coniglio, Marcelo E., et al.
Published: (2024)

Complexity of the variable-free fragments of non-normal modal logics (extended version)
by: Kudinov, A., et al.
Published: (2025)

Non-commutative linear logic fragments with sub-context-free complexity
by: Nishimiya, Yusaku, et al.
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Undecidability of theories of semirings with fixed points
by: Das, Anupam, et al.
Published: (2025)

Groups elementary equivalent to finitely generated free metabelian
by: Kharlampovich, Olga, et al.
Published: (2023)

Duality theory in linear optimization and its extensions -- formally verified
by: Dvorak, Martin, et al.
Published: (2024)

On some subtheories of strong dependent choice
by: Aguilera, Juan P., et al.
Published: (2024)

The class of Krasner hyperfields is not elementary
by: Błaszkiewicz, Piotr, et al.
Published: (2024)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)