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...

書誌詳細
第一著者:	Aslanyan, V
その他の著者:	Zilber, B
フォーマット:	学位論文
言語:	English
出版事項:	2017
主題:	Model theory Differential algebra Logic, Symbolic and mathematical

類似資料

Skolem meets Schanuel
著者:: Bilu, Y, 等
出版事項: (2022)

An algebraic introduction to mathematical logic /
著者:: 390016 Barnes, Donald W., 等
出版事項: (1975)

Ax-Schanuel for Shimura varieties
著者:: Mok, N, 等
出版事項: (2019)

Ax-Schanuel for the j-function
著者:: Pila, J, 等
出版事項: (2016)

Classification of second class filiform leibniz algebras in dimension nine
著者:: Deraman, Fatanah
出版事項: (2013)

Algebra and logic
出版事項: (1968)

Algebra and logic : papers /
著者:: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
出版事項: (1975)

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry /
著者:: Bucur, Ionel, 1930-1976
出版事項: (1984)

Practice problems in number systems, logic, and Boolean algebra /
著者:: 359306 Bukstein, Edward
出版事項: (1973)

Practice problems in number systems,logic, and Boolean algebra /
著者:: 359306 Bukstein, Edward
出版事項: (1977)

Two applications of logic to mathematics /
著者:: 366566 Takeuti, Gaisi
出版事項: (1978)

A tour through mathematical logic /
著者:: 181509 Wolf, Robert S.
出版事項: (c200)

Logic I : Boolean algebra
著者:: Open University. Mathematics Foundation Course Team
出版事項: (1971)

Logic and boolean algebra /
著者:: 398742 Levitz, Kathleen, 等
出版事項: (1979)

A tour through mathematical logic /
著者:: 181509 Wolf, Robert S.
出版事項: (2005)

Fundamentals of algebraic specification 1 : Equations and initial semantics /
著者:: 445928 Ehrig, H., 等
出版事項: (1985)

Proofs and types /
著者:: 291662 Girard, Jean-Yves, 等
出版事項: (1989)

Mathematical logic : an introduction to model theory /
著者:: 314347 Lightstone, A. H., 等
出版事項: (1978)

Logica universalis : towards a general theory of logic /
著者:: Beziau, Jean-Yves
出版事項: (2007)

Schaum's outline of theory and problems of discrete mathematics /
著者:: 361304 Lipschutz, Seymour, 等
出版事項: (1997)

An introduction to the elements of mathematics /
著者:: 190103 Fujii, John N.
出版事項: (1961)

Schaum's outline of theory and problems of discrete mathematics /
著者:: 361304 Lipschutz, Seymour
出版事項: (1976)

Schaum's easy outlines : discrete mathematics /
著者:: 361304 Lipschutz, Seymour, 等
出版事項: (2003)

Fundamentals of mathematical logic /
著者:: 366611 Hinman, Peter G.
出版事項: (2005)

BUILDING PROOFS : A Practical Guide /
著者:: 209827 Oliveira, Suely, 等
出版事項: (2016)

From mathematics to philosophy /
著者:: 263016 Wang, Hao
出版事項: (1974)

A formalization of set theory without variables /
著者:: 319988 Tarski, Alfred, 等
出版事項: (1987)

An introduction to the numerical operators in primary schools /
著者:: 366455 Tran, Tu Nguyet, 等
出版事項: (1974)

Set theory and the continuum hypothesis /
著者:: 336426 Cohen, Paul J.
出版事項: (1966)

Theorem proving [filem]
出版事項: (1969)

Theorem proving [kasetvideo]
出版事項: (1969)

Introductory College Mathematics : sets and logic /
著者:: 385124 Hackworth, Robert D., 等
出版事項: (1976)

Switching circuits : theory and logic design /
著者:: 227389 Torng, H. C.
出版事項: (1972)

Quantum logic/
著者:: 353961 Mittlestaedt, Peter
出版事項: (1978)

Yes-no; stop-go some patterns in mathematical logic /
著者:: 180749 Gersting, Judith L., 等
出版事項: (1977)

Fundamental concepts of modern mathematics /
著者:: 183529 Larsen, Max D.
出版事項: (1970)

Conditional and preferential logics : proof methods and theorem proving /
著者:: 518526 Pozzato, Gian Luca
出版事項: (c201)

Granularity analysis for tutoring mathematical proofs /
著者:: Schiller, Marvin R. G. 525500
出版事項: (2011)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
著者:: Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-
出版事項: (c201)

Sets, logic and axiomatic theories /
著者:: 440414 Stoll, Robert Roth
出版事項: (1974)