Catálogo de publicaciones - libros

Palabras clave – provistas por la editorial

definability; nonconstructible reals; projective hierarchy; generic models; almost disjoint forcing; Harvey Friedman’s problem; almost-disjoint forcing; universal algebraic geometry; affine algebraic geometry; elementary equivalence; isotypic algebras; first order rigidity; Ind-group; affine spaces; automorphisms; free associative algebras; Weyl algebra automorphisms; polynomial symplectomorphisms; deformation quantization; infinite prime number; semi-inner automorphism; embeddability of varieties; undecidability; noncommutative Gröbner-Shirshov basis; finitely presented algebraic systems; algorithmic unsolvability; turing machine; discrete optimization; exact algorithm; additively exact algorithm; graph transformation; graph of degree 2; chain-cycle graph; operation cost; minimization of total cost; definability of definable; tarski problem; type theoretic hierarchy; adaptive resource; resilience; resistance; tipping point; theory of catastrophes