:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zhuravlov, Volodymyr M.
Format:	Preprint
Published:	2024
Subjects:	Logic 03H99
Online Access:	https://arxiv.org/abs/2401.15117
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Uniform terms and local elements
by: Zhuravlov, Volodymyr
Published: (2024)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

Predicates and terms from non-standard sequences
by: Zhuravlov, V. M.
Published: (2023)

The set-theoretic Kaufmann-Clote question
by: McKenzie, Zachiri
Published: (2025)

Projective curves and weak second-order logic
by: Berarducci, Alessandro, et al.
Published: (2025)

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

The uniform companion for fields with free operators in characteristic zero
by: Mohamed, Shezad
Published: (2023)

A Foundation for Synthetic Stone Duality
by: Cherubini, Felix, et al.
Published: (2024)

Saturation properties for compositional truth with propositional correctness
by: Wcisło, Bartosz
Published: (2024)

Zilber dichotomy for $DCF_{0,m}$
by: Sanchez, Omar Leon
Published: (2024)

Fields with Lie-commuting and iterative operators
by: Dobrowolski, Jan, et al.
Published: (2025)

Ramsey's coheirs
by: Colla, Eugenio, et al.
Published: (2019)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
by: Coniglio, Marcelo E., et al.
Published: (2025)

Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)

An ordinal analysis of a single stable ordinal
by: Arai, Toshiyasu
Published: (2022)

An ordinal analysis of $Π_{N}$-Collection
by: Arai, Toshiyasu
Published: (2023)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

The Countable Reals
by: Bauer, Andrej, et al.
Published: (2024)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

Generalized Borel Sets
by: Agostini, Claudio, et al.
Published: (2025)

On the undefinability of pathological Banach spaces
by: Hamel, Clovis, et al.
Published: (2024)

Splittings in varieties of logic
by: Davey, Brian A., et al.
Published: (2025)

Relativized Galois groups of first order theories over a hyperimaginary
by: Lee, Hyoyoon, et al.
Published: (2024)

Generalized Von Neumann Universe and Non-Well-Founded Sets
by: Zhang, Eugene
Published: (2023)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

A Closer Look at the Russell Paradox
by: Sheridan, Flash
Published: (2021)

The Complexity of Proper Homotopy Equivalence of Graphs
by: Hoganson, Hannah, et al.
Published: (2024)

Taylor Morphisms
by: Ng, Gabriel
Published: (2023)

On ordinary differentially large fields
by: Sánchez, Omar León, et al.
Published: (2023)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

Model Theory of Local Real Closed SV-Rings of Finite Rank
by: Piepenborn, Ricardo Palomino
Published: (2024)

An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)

A Note About Models of Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)

The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra
by: Pinsker, Michael, et al.
Published: (2025)

On equationally Noetherian predicate structures
by: Buchinskiy, Ivan, et al.
Published: (2024)