Copertina

Uniform terms and local elements

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Zhuravlov, Volodymyr
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic Commutative Algebra 03G30, 03H99
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Nonclassical logics and multivariate truth values
di: Zhuravlov, Volodymyr M.
Pubblicazione: (2024)

Bochvar algebras: A categorical equivalence and the generated variety
di: Bonzio, Stefano, et al.
Pubblicazione: (2024)

Azumaya algebras and Barr Theorem
di: Coquand, Thierry, et al.
Pubblicazione: (2023)

Taylor Morphisms
di: Ng, Gabriel
Pubblicazione: (2023)

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

The lattice of ideals of certain rings
di: Savin, Diana
Pubblicazione: (2023)

Note on radical and prime E-ideals
di: Fornasiero, Antongiulio, et al.
Pubblicazione: (2023)

Closed bounded sets in 1-h-minimal valued fields
di: López, Juan Pablo Acosta
Pubblicazione: (2024)

Multiplicative logic in arithmetic
di: Zhuravlov, Volodymyr
Pubblicazione: (2024)

Generic derivations on algebraically bounded structures
di: Antongiulio, Fornasiero, et al.
Pubblicazione: (2023)

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

The set-theoretic Kaufmann-Clote question
di: McKenzie, Zachiri
Pubblicazione: (2025)

Endogenies and Linearisation
di: Deloro, Adrien, et al.
Pubblicazione: (2024)

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

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
di: Samra, Jean Abou, et al.
Pubblicazione: (2026)

Definable henselian valuations in positive residue characteristic
di: Ketelsen, Margarete, et al.
Pubblicazione: (2024)

Model theory of valued fields with an endomorphism
di: Ramello, Simone
Pubblicazione: (2024)

Dp-finite and Noetherian NIP integral domains
di: Johnson, Will
Pubblicazione: (2023)

Cardinality of groups and rings via the idempotency of infinite cardinals
di: Tarizadeh, Abolfazl
Pubblicazione: (2024)

Decidability for the theory of modules over a Prüfer domain
di: Gregory, Lorna
Pubblicazione: (2021)

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
di: Ramos, Arthur F., et al.
Pubblicazione: (2026)

The Amalgamation Property for automorphisms of ordered abelian groups
di: Dobrowolski, Jan, et al.
Pubblicazione: (2022)

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

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
di: Liu, Yiqun, et al.
Pubblicazione: (2025)

Finite Combinatorics and Fragments of Arithmetic
di: Wang, Wei
Pubblicazione: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2026)

Tightness and solidity in fragments of Peano Arithmetic
di: Gruza, Piotr, et al.
Pubblicazione: (2025)

Categorical structure in coherent theory of arithmetic
di: Ye, Lingyuan
Pubblicazione: (2023)

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

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

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
di: Gilson, Frank
Pubblicazione: (2025)

Constant power maps on Hardy fields and transseries
di: Kaplan, Elliot
Pubblicazione: (2024)

Local structure of etale algebras
di: Coquand, Thierry
Pubblicazione: (2026)

Problems with fixpoints of polynomials of polynomials
di: Pradic, Cécilia, et al.
Pubblicazione: (2026)

Uniform Interpolation
di: van Gool, Sam
Pubblicazione: (2025)

Assume-guarantee contract algebras are dp-algebras
di: Castiglioni, Jose Luis, et al.
Pubblicazione: (2024)

Truth and collection
di: Wcisło, Bartosz
Pubblicazione: (2024)

Classical determinate truth without induction
di: Wcisło, Bartosz
Pubblicazione: (2024)