000			01346nam a2200133Ia 4500
008			220620s9999||||xx |||||||||||||| ||und||
020			_a9783040000000
245		0	_aMathematical Logic and Its Applications 2020
546			_aEnglish[eng]
650			_adefinability||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
700			_aLyubetsky, Vassily||Kanovei, Vladimir
856			_uhttps://mdpi.com/books/pdfview/book/3987
942			_cEB
999			_c22476 _d22476