Image de couverture de livre

Nonstandard polynomials: algebraic properties and elementary equivalence

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Myasnikov, Alexei, Nikolaev, Andrey
Format:	Preprint
Publié:	2024
Sujets:	Logic Rings and Algebras 03H05 (Primary), 03B10, 03B16, 12L15 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Nonstandard free groups
par: Miasnikov, Alexei, et autres
Publié: (2026)

Exponential Fields: Lack of Generic Derivations
par: Antongiulio, Fornasiero, et autres
Publié: (2024)

LF: a Foundational Higher-Order-Logic
par: Goodsell, Zachary, et autres
Publié: (2024)

Generic derivations on algebraically bounded structures
par: Antongiulio, Fornasiero, et autres
Publié: (2023)

Relative injective modules, superstability and noetherian categories
par: Mazari-Armida, Marcos, et autres
Publié: (2023)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
par: Oddsson, Hrafn Valtýr
Publié: (2026)

Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
par: Bhardwaj, Neer, et autres
Publié: (2024)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2026)

Generic derivations on o-minimal structures
par: Fornasiero, Antongiulio, et autres
Publié: (2019)

Proof-theoretic methods in quantifier-free definability
par: Kocsis, Zoltan A.
Publié: (2023)

Constant power maps on Hardy fields and transseries
par: Kaplan, Elliot
Publié: (2024)

Decidable varieties of p-algebras
par: Kowalski, Tomasz, et autres
Publié: (2024)

Representable distributive quasi relation algebras
par: Craig, Andrew, et autres
Publié: (2023)

Nonstandard Universes
par: Ouwehand, Peter
Publié: (2025)

On the Contingency of Logic in Possible World Semantics
par: van der Giessen, Iris, et autres
Publié: (2025)

On Tameness, Measurability and the Independence Property
par: Krapp, Lothar Sebastian, et autres
Publié: (2025)

Representability for distributive quasi relation algebras via nested sums
par: Craig, Andrew, et autres
Publié: (2025)

On limit models and parametrized noetherian rings
par: Mazari-Armida, Marcos
Publié: (2024)

Automorphisms of valued fields: amalgamation and existential closedness
par: Dobrowolski, Jan, et autres
Publié: (2025)

Deconstructible classes of modules and stability
par: Mazari-Armida, Marcos, et autres
Publié: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
par: Knudstorp, Søren Brinck
Publié: (2025)

Integration on the Surreals
par: Costin, Ovidiu, et autres
Publié: (2022)

Ordered henselian valued fields: definability and Borel sets
par: Krapp, Lothar Sebastian, et autres
Publié: (2026)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

Interpolation and the Exchange Rule
par: Fussner, Wesley, et autres
Publié: (2023)

Natural Term Logic
par: Protin, Clarence
Publié: (2024)

Hilbert polynomials for finitary matroids
par: Fornasiero, Antongiulio, et autres
Publié: (2022)

Differentially Henselian Fields
par: Ng, Gabriel
Publié: (2023)

Definable henselian valuations on dp-minimal real fields
par: Krapp, Lothar Sebastian, et autres
Publié: (2024)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
par: Koshkin, Sergiy
Publié: (2024)

Beautiful pairs
par: Kovacsics, Pablo Cubides, et autres
Publié: (2021)

Projective curves and weak second-order logic
par: Berarducci, Alessandro, et autres
Publié: (2025)

Classification Strength of Polish Groups: Involving $S_\infty$
par: Allison, Shaun
Publié: (2023)

Borel equivalence relations in the space of bounded operators
par: Smythe, Iian B.
Publié: (2014)

Model theory of difference fields with an additive character on the fixed field
par: Ludwig, Stefan Marian
Publié: (2025)

An Approximate AKE Principle for Metric Valued Fields
par: Hils, Martin, et autres
Publié: (2022)

Term algebras of elementarily equivalent atom structures
par: Andréka, H., et autres
Publié: (2018)

A dichotomy for derivations and automorphisms of C*-algebras
par: Lupini, Martino
Publié: (2025)

Transposition of variables is hard to describe
par: Andréka, H., et autres
Publié: (2024)