Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The issue "Mathematical Logic and Its Applications 2020" contains articles related to the following three directions: Descriptive Set Theory (3 articles). Solutions for long-standing problems, including those of A. Tarski and H. Friedman, are presented. Exact combinatorial optimization algorithms, in which the complexity relative to the source data is characterized by a low, or even first degree, polynomial (1 article). III. Applications of mathematical logic and the theory of algorithms (2 articles). The first article deals with the Jacobian and M. Kontsevich’s conjectures, and algorithmic undecidability; for these purposes, non-standard analysis is used. The second article provides a quantitative description of the balance and adaptive resource of a human. Submissions are invited for the next issue "Mathematical Logic and Its Applications 2021"

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

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume studies the dynamics of iterated holomorphic mappings from a Riemann surface to itself, concentrating on the classical case of rational maps of the Riemann sphere. This subject is large and rapidly growing. These lectures are intended to introduce some key ideas in the field, and to form a basis for further study. The reader is assumed to be familiar with the rudiments of complex variable theory and of two-dimensional differential geometry, as well as some basic topics from topology. This third edition contains a number of minor additions and improvements: A historical survey has been added, the definition of Lattés map has been made more inclusive, and the écalle-Voronin theory of parabolic points is described. The résidu itératif is studied, and the material on two complex variables has been expanded. Recent results on effective computability have been added, and the references have been expanded and updated. Written in his usual brilliant style, the author makes difficult mathematics look easy. This book is a very accessible source for much of what has been accomplished in the field.

Functions of complex variables --- Holomorphic mappings --- Riemann surfaces --- Fonctions d'une variable complexe --- Applications holomorphes --- Riemann, surfaces de --- Holomorphic mappings. --- Mappings, Holomorphic --- Functions of complex variables. --- Riemann surfaces. --- Surfaces, Riemann --- Functions --- Functions of several complex variables --- Mappings (Mathematics) --- Complex variables --- Elliptic functions --- Functions of real variables --- Absolute value. --- Addition. --- Algebraic equation. --- Attractor. --- Automorphism. --- Beltrami equation. --- Blaschke product. --- Boundary (topology). --- Branched covering. --- Coefficient. --- Compact Riemann surface. --- Compact space. --- Complex analysis. --- Complex number. --- Complex plane. --- Computation. --- Connected component (graph theory). --- Connected space. --- Constant function. --- Continued fraction. --- Continuous function. --- Coordinate system. --- Corollary. --- Covering space. --- Cross-ratio. --- Derivative. --- Diagram (category theory). --- Diameter. --- Diffeomorphism. --- Differentiable manifold. --- Disjoint sets. --- Disjoint union. --- Disk (mathematics). --- Division by zero. --- Equation. --- Euler characteristic. --- Existential quantification. --- Exponential map (Lie theory). --- Fundamental group. --- Harmonic function. --- Holomorphic function. --- Homeomorphism. --- Hyperbolic geometry. --- Inequality (mathematics). --- Integer. --- Inverse function. --- Irrational rotation. --- Iteration. --- Jordan curve theorem. --- Julia set. --- Lebesgue measure. --- Lecture. --- Limit point. --- Line segment. --- Linear map. --- Linearization. --- Mandelbrot set. --- Mathematical analysis. --- Maximum modulus principle. --- Metric space. --- Monotonic function. --- Montel's theorem. --- Normal family. --- Open set. --- Orbifold. --- Parameter space. --- Parameter. --- Periodic point. --- Point at infinity. --- Polynomial. --- Power series. --- Proper map. --- Quadratic function. --- Rational approximation. --- Rational function. --- Rational number. --- Real number. --- Riemann sphere. --- Riemann surface. --- Root of unity. --- Rotation number. --- Schwarz lemma. --- Scientific notation. --- Sequence. --- Simply connected space. --- Special case. --- Subgroup. --- Subsequence. --- Subset. --- Summation. --- Tangent space. --- Theorem. --- Topological space. --- Topology. --- Uniform convergence. --- Uniformization theorem. --- Unit circle. --- Unit disk. --- Upper half-plane. --- Winding number.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In 1920, Pierre Fatou expressed the conjecture that--except for special cases--all critical points of a rational map of the Riemann sphere tend to periodic orbits under iteration. This conjecture remains the main open problem in the dynamics of iterated maps. For the logistic family x- ax(1-x), it can be interpreted to mean that for a dense set of parameters "a," an attracting periodic orbit exists. The same question appears naturally in science, where the logistic family is used to construct models in physics, ecology, and economics. In this book, Jacek Graczyk and Grzegorz Swiatek provide a rigorous proof of the Real Fatou Conjecture. In spite of the apparently elementary nature of the problem, its solution requires advanced tools of complex analysis. The authors have written a self-contained and complete version of the argument, accessible to someone with no knowledge of complex dynamics and only basic familiarity with interval maps. The book will thus be useful to specialists in real dynamics as well as to graduate students.

Geodesics (Mathematics) --- Polynomials. --- Mappings (Mathematics) --- Maps (Mathematics) --- Functions --- Functions, Continuous --- Topology --- Transformations (Mathematics) --- Algebra --- Geometry, Differential --- Global analysis (Mathematics) --- Mathematics --- Absolute value. --- Affine transformation. --- Algebraic function. --- Analytic continuation. --- Analytic function. --- Arithmetic. --- Automorphism. --- Big O notation. --- Bounded set (topological vector space). --- C0. --- Calculation. --- Canonical map. --- Change of variables. --- Chebyshev polynomials. --- Combinatorics. --- Commutative property. --- Complex number. --- Complex plane. --- Complex quadratic polynomial. --- Conformal map. --- Conjecture. --- Conjugacy class. --- Conjugate points. --- Connected component (graph theory). --- Connected space. --- Continuous function. --- Corollary. --- Covering space. --- Critical point (mathematics). --- Dense set. --- Derivative. --- Diffeomorphism. --- Dimension. --- Disjoint sets. --- Disjoint union. --- Disk (mathematics). --- Equicontinuity. --- Estimation. --- Existential quantification. --- Fibonacci. --- Functional equation. --- Fundamental domain. --- Generalization. --- Great-circle distance. --- Hausdorff distance. --- Holomorphic function. --- Homeomorphism. --- Homotopy. --- Hyperbolic function. --- Imaginary number. --- Implicit function theorem. --- Injective function. --- Integer. --- Intermediate value theorem. --- Interval (mathematics). --- Inverse function. --- Irreducible polynomial. --- Iteration. --- Jordan curve theorem. --- Julia set. --- Limit of a sequence. --- Linear map. --- Local diffeomorphism. --- Mathematical induction. --- Mathematical proof. --- Maxima and minima. --- Meromorphic function. --- Moduli (physics). --- Monomial. --- Monotonic function. --- Natural number. --- Neighbourhood (mathematics). --- Open set. --- Parameter. --- Periodic function. --- Periodic point. --- Phase space. --- Point at infinity. --- Polynomial. --- Projection (mathematics). --- Quadratic function. --- Quadratic. --- Quasiconformal mapping. --- Renormalization. --- Riemann sphere. --- Riemann surface. --- Schwarzian derivative. --- Scientific notation. --- Subsequence. --- Theorem. --- Theory. --- Topological conjugacy. --- Topological entropy. --- Topology. --- Union (set theory). --- Unit circle. --- Unit disk. --- Upper and lower bounds. --- Upper half-plane. --- Z0.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is a sequel to Lectures on Complex Analytic Varieties: The Local Paranwtrization Theorem (Mathematical Notes 10, 1970). Its unifying theme is the study of local properties of finite analytic mappings between complex analytic varieties; these mappings are those in several dimensions that most closely resemble general complex analytic mappings in one complex dimension. The purpose of this volume is rather to clarify some algebraic aspects of the local study of complex analytic varieties than merely to examine finite analytic mappings for their own sake.Originally published in 1970.The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Complex analysis --- Analytic spaces --- Mathematics --- Physical Sciences & Mathematics --- Calculus --- Spaces, Analytic --- Analytic functions --- Functions of several complex variables --- Algebra homomorphism. --- Algebraic curve. --- Algebraic extension. --- Algebraic surface. --- Algebraic variety. --- Analytic continuation. --- Analytic function. --- Associated prime. --- Atlas (topology). --- Automorphism. --- Bernhard Riemann. --- Big O notation. --- Branch point. --- Change of variables. --- Characterization (mathematics). --- Codimension. --- Coefficient. --- Cohomology. --- Complete intersection. --- Complex analysis. --- Complex conjugate. --- Complex dimension. --- Complex number. --- Connected component (graph theory). --- Corollary. --- Critical point (mathematics). --- Diagram (category theory). --- Dimension (vector space). --- Dimension. --- Disjoint union. --- Divisor. --- Equation. --- Equivalence class. --- Exact sequence. --- Existential quantification. --- Finitely generated module. --- Geometry. --- Hamiltonian mechanics. --- Holomorphic function. --- Homeomorphism. --- Homological dimension. --- Homomorphism. --- Hypersurface. --- Ideal (ring theory). --- Identity element. --- Induced homomorphism. --- Inequality (mathematics). --- Injective function. --- Integral domain. --- Invertible matrix. --- Irreducible component. --- Isolated singularity. --- Isomorphism class. --- Jacobian matrix and determinant. --- Linear map. --- Linear subspace. --- Local ring. --- Mathematical induction. --- Mathematics. --- Maximal element. --- Maximal ideal. --- Meromorphic function. --- Modular arithmetic. --- Module (mathematics). --- Module homomorphism. --- Monic polynomial. --- Monomial. --- Neighbourhood (mathematics). --- Noetherian. --- Open set. --- Parametric equation. --- Parametrization. --- Permutation. --- Polynomial ring. --- Polynomial. --- Power series. --- Quadratic form. --- Quotient module. --- Regular local ring. --- Removable singularity. --- Ring (mathematics). --- Ring homomorphism. --- Row and column vectors. --- Scalar multiplication. --- Scientific notation. --- Several complex variables. --- Sheaf (mathematics). --- Special case. --- Subalgebra. --- Submanifold. --- Subset. --- Summation. --- Surjective function. --- Taylor series. --- Theorem. --- Three-dimensional space (mathematics). --- Topological space. --- Vector space. --- Weierstrass preparation theorem. --- Zero divisor. --- Fonctions de plusieurs variables complexes --- Variétés complexes

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The original goal that ultimately led to this volume was the construction of "motivic cohomology theory," whose existence was conjectured by A. Beilinson and S. Lichtenbaum. This is achieved in the book's fourth paper, using results of the other papers whose additional role is to contribute to our understanding of various properties of algebraic cycles. The material presented provides the foundations for the recent proof of the celebrated "Milnor Conjecture" by Vladimir Voevodsky. The theory of sheaves of relative cycles is developed in the first paper of this volume. The theory of presheaves with transfers and more specifically homotopy invariant presheaves with transfers is the main theme of the second paper. The Friedlander-Lawson moving lemma for families of algebraic cycles appears in the third paper in which a bivariant theory called bivariant cycle cohomology is constructed. The fifth and last paper in the volume gives a proof of the fact that bivariant cycle cohomology groups are canonically isomorphic (in appropriate cases) to Bloch's higher Chow groups, thereby providing a link between the authors' theory and Bloch's original approach to motivic (co-)homology.

Bundeltheorie --- Cohomology [Sheaf ] --- Faisceaux [Théorie des ] --- Sheaf cohomology --- Sheaf theory --- Sheaves (Algebraic topology) --- Sheaves [Theory of ] --- Théorie des faisceaux --- Algebraic cycles --- Homology theory --- Algebraic cycles. --- Homology theory. --- Cohomology theory --- Contrahomology theory --- Algebraic topology --- Cycles, Algebraic --- Geometry, Algebraic --- Abelian category. --- Abelian group. --- Addition. --- Additive category. --- Adjoint functors. --- Affine space. --- Affine variety. --- Alexander Grothendieck. --- Algebraic K-theory. --- Algebraic cycle. --- Algebraically closed field. --- Andrei Suslin. --- Associative property. --- Base change. --- Category of abelian groups. --- Chain complex. --- Chow group. --- Closed immersion. --- Codimension. --- Coefficient. --- Cohomology. --- Cokernel. --- Commutative property. --- Commutative ring. --- Compactification (mathematics). --- Comparison theorem. --- Computation. --- Connected component (graph theory). --- Connected space. --- Corollary. --- Diagram (category theory). --- Dimension. --- Discrete valuation ring. --- Disjoint union. --- Divisor. --- Embedding. --- Endomorphism. --- Epimorphism. --- Exact sequence. --- Existential quantification. --- Field of fractions. --- Functor. --- Generic point. --- Geometry. --- Grothendieck topology. --- Homeomorphism. --- Homogeneous coordinates. --- Homology (mathematics). --- Homomorphism. --- Homotopy category. --- Homotopy. --- Injective sheaf. --- Irreducible component. --- K-theory. --- Mathematical induction. --- Mayer–Vietoris sequence. --- Milnor K-theory. --- Monoid. --- Monoidal category. --- Monomorphism. --- Morphism of schemes. --- Morphism. --- Motivic cohomology. --- Natural transformation. --- Nisnevich topology. --- Noetherian. --- Open set. --- Pairing. --- Perfect field. --- Permutation. --- Picard group. --- Presheaf (category theory). --- Projective space. --- Projective variety. --- Proper morphism. --- Quasi-projective variety. --- Residue field. --- Resolution of singularities. --- Scientific notation. --- Sheaf (mathematics). --- Simplicial complex. --- Simplicial set. --- Singular homology. --- Smooth scheme. --- Spectral sequence. --- Subcategory. --- Subgroup. --- Summation. --- Support (mathematics). --- Tensor product. --- Theorem. --- Topology. --- Triangulated category. --- Type theory. --- Universal coefficient theorem. --- Variable (mathematics). --- Vector bundle. --- Vladimir Voevodsky. --- Zariski topology. --- Zariski's main theorem. --- 512.73 --- 512.73 Cohomology theory of algebraic varieties and schemes --- Cohomology theory of algebraic varieties and schemes