TY  - BOOK
AU  - Lyubetsky, Vassily||Kanovei, Vladimir
TI  - Mathematical Logic and Its Applications 2020
SN  - 9783040000000
KW  - 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
UR  - https://mdpi.com/books/pdfview/book/3987
ER  -