Ax-Schanuel type inequalities in differentially closed fields

Ax-Schanuel type inequalities in differentially closed fields

<p>In this thesis we study Ax-Schanuel type inequalities for abstract differential equations. A motivating example is the exponential differential equation. The Ax-Schanuel theorem states positivity of a predimension defined on its solutions. The notion of a predimension was introduced by Hrus...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Aslanyan, V
Tác giả khác:	Zilber, B
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2017
Những chủ đề:	Model theory Differential algebra Logic, Symbolic and mathematical

Những quyển sách tương tự

Skolem meets Schanuel
Bằng: Bilu, Y, et al.
Được phát hành: (2022)

An algebraic introduction to mathematical logic /
Bằng: 390016 Barnes, Donald W., et al.
Được phát hành: (1975)

Ax-Schanuel for Shimura varieties
Bằng: Mok, N, et al.
Được phát hành: (2019)

Ax-Schanuel for the j-function
Bằng: Pila, J, et al.
Được phát hành: (2016)

Classification of second class filiform leibniz algebras in dimension nine
Bằng: Deraman, Fatanah
Được phát hành: (2013)

Algebra and logic
Được phát hành: (1968)

Algebra and logic : papers /
Bằng: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Được phát hành: (1975)

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry /
Bằng: Bucur, Ionel, 1930-1976
Được phát hành: (1984)

Practice problems in number systems, logic, and Boolean algebra /
Bằng: 359306 Bukstein, Edward
Được phát hành: (1973)

Practice problems in number systems,logic, and Boolean algebra /
Bằng: 359306 Bukstein, Edward
Được phát hành: (1977)

Two applications of logic to mathematics /
Bằng: 366566 Takeuti, Gaisi
Được phát hành: (1978)

A tour through mathematical logic /
Bằng: 181509 Wolf, Robert S.
Được phát hành: (c200)

Logic I : Boolean algebra
Bằng: Open University. Mathematics Foundation Course Team
Được phát hành: (1971)

Logic and boolean algebra /
Bằng: 398742 Levitz, Kathleen, et al.
Được phát hành: (1979)

A tour through mathematical logic /
Bằng: 181509 Wolf, Robert S.
Được phát hành: (2005)

Fundamentals of algebraic specification 1 : Equations and initial semantics /
Bằng: 445928 Ehrig, H., et al.
Được phát hành: (1985)

Proofs and types /
Bằng: 291662 Girard, Jean-Yves, et al.
Được phát hành: (1989)

Mathematical logic : an introduction to model theory /
Bằng: 314347 Lightstone, A. H., et al.
Được phát hành: (1978)

Logica universalis : towards a general theory of logic /
Bằng: Beziau, Jean-Yves
Được phát hành: (2007)

Schaum's outline of theory and problems of discrete mathematics /
Bằng: 361304 Lipschutz, Seymour, et al.
Được phát hành: (1997)

An introduction to the elements of mathematics /
Bằng: 190103 Fujii, John N.
Được phát hành: (1961)

Schaum's outline of theory and problems of discrete mathematics /
Bằng: 361304 Lipschutz, Seymour
Được phát hành: (1976)

Schaum's easy outlines : discrete mathematics /
Bằng: 361304 Lipschutz, Seymour, et al.
Được phát hành: (2003)

Fundamentals of mathematical logic /
Bằng: 366611 Hinman, Peter G.
Được phát hành: (2005)

BUILDING PROOFS : A Practical Guide /
Bằng: 209827 Oliveira, Suely, et al.
Được phát hành: (2016)

From mathematics to philosophy /
Bằng: 263016 Wang, Hao
Được phát hành: (1974)

A formalization of set theory without variables /
Bằng: 319988 Tarski, Alfred, et al.
Được phát hành: (1987)

An introduction to the numerical operators in primary schools /
Bằng: 366455 Tran, Tu Nguyet, et al.
Được phát hành: (1974)

Set theory and the continuum hypothesis /
Bằng: 336426 Cohen, Paul J.
Được phát hành: (1966)

Theorem proving [filem]
Được phát hành: (1969)

Theorem proving [kasetvideo]
Được phát hành: (1969)

Introductory College Mathematics : sets and logic /
Bằng: 385124 Hackworth, Robert D., et al.
Được phát hành: (1976)

Switching circuits : theory and logic design /
Bằng: 227389 Torng, H. C.
Được phát hành: (1972)

Quantum logic/
Bằng: 353961 Mittlestaedt, Peter
Được phát hành: (1978)

Yes-no; stop-go some patterns in mathematical logic /
Bằng: 180749 Gersting, Judith L., et al.
Được phát hành: (1977)

Fundamental concepts of modern mathematics /
Bằng: 183529 Larsen, Max D.
Được phát hành: (1970)

Conditional and preferential logics : proof methods and theorem proving /
Bằng: 518526 Pozzato, Gian Luca
Được phát hành: (c201)

Granularity analysis for tutoring mathematical proofs /
Bằng: Schiller, Marvin R. G. 525500
Được phát hành: (2011)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
Bằng: Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-
Được phát hành: (c201)

Sets, logic and axiomatic theories /
Bằng: 440414 Stoll, Robert Roth
Được phát hành: (1974)