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

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Aslanyan, V
Andre forfattere:	Zilber, B
Format:	Thesis
Sprog:	English
Udgivet:	2017
Fag:	Model theory Differential algebra Logic, Symbolic and mathematical

Lignende værker

Skolem meets Schanuel
af: Bilu, Y, et al.
Udgivet: (2022)

An algebraic introduction to mathematical logic /
af: 390016 Barnes, Donald W., et al.
Udgivet: (1975)

Ax-Schanuel for Shimura varieties
af: Mok, N, et al.
Udgivet: (2019)

Ax-Schanuel for the j-function
af: Pila, J, et al.
Udgivet: (2016)

Classification of second class filiform leibniz algebras in dimension nine
af: Deraman, Fatanah
Udgivet: (2013)

Algebra and logic
Udgivet: (1968)

Algebra and logic : papers /
af: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Udgivet: (1975)

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry /
af: Bucur, Ionel, 1930-1976
Udgivet: (1984)

Practice problems in number systems, logic, and Boolean algebra /
af: 359306 Bukstein, Edward
Udgivet: (1973)

Practice problems in number systems,logic, and Boolean algebra /
af: 359306 Bukstein, Edward
Udgivet: (1977)

Two applications of logic to mathematics /
af: 366566 Takeuti, Gaisi
Udgivet: (1978)

A tour through mathematical logic /
af: 181509 Wolf, Robert S.
Udgivet: (c200)

Logic I : Boolean algebra
af: Open University. Mathematics Foundation Course Team
Udgivet: (1971)

Logic and boolean algebra /
af: 398742 Levitz, Kathleen, et al.
Udgivet: (1979)

A tour through mathematical logic /
af: 181509 Wolf, Robert S.
Udgivet: (2005)

Fundamentals of algebraic specification 1 : Equations and initial semantics /
af: 445928 Ehrig, H., et al.
Udgivet: (1985)

Proofs and types /
af: 291662 Girard, Jean-Yves, et al.
Udgivet: (1989)

Mathematical logic : an introduction to model theory /
af: 314347 Lightstone, A. H., et al.
Udgivet: (1978)

Logica universalis : towards a general theory of logic /
af: Beziau, Jean-Yves
Udgivet: (2007)

Schaum's outline of theory and problems of discrete mathematics /
af: 361304 Lipschutz, Seymour, et al.
Udgivet: (1997)

An introduction to the elements of mathematics /
af: 190103 Fujii, John N.
Udgivet: (1961)

Schaum's outline of theory and problems of discrete mathematics /
af: 361304 Lipschutz, Seymour
Udgivet: (1976)

Schaum's easy outlines : discrete mathematics /
af: 361304 Lipschutz, Seymour, et al.
Udgivet: (2003)

Fundamentals of mathematical logic /
af: 366611 Hinman, Peter G.
Udgivet: (2005)

BUILDING PROOFS : A Practical Guide /
af: 209827 Oliveira, Suely, et al.
Udgivet: (2016)

From mathematics to philosophy /
af: 263016 Wang, Hao
Udgivet: (1974)

A formalization of set theory without variables /
af: 319988 Tarski, Alfred, et al.
Udgivet: (1987)

An introduction to the numerical operators in primary schools /
af: 366455 Tran, Tu Nguyet, et al.
Udgivet: (1974)

Set theory and the continuum hypothesis /
af: 336426 Cohen, Paul J.
Udgivet: (1966)

Theorem proving [filem]
Udgivet: (1969)

Theorem proving [kasetvideo]
Udgivet: (1969)

Introductory College Mathematics : sets and logic /
af: 385124 Hackworth, Robert D., et al.
Udgivet: (1976)

Switching circuits : theory and logic design /
af: 227389 Torng, H. C.
Udgivet: (1972)

Quantum logic/
af: 353961 Mittlestaedt, Peter
Udgivet: (1978)

Yes-no; stop-go some patterns in mathematical logic /
af: 180749 Gersting, Judith L., et al.
Udgivet: (1977)

Fundamental concepts of modern mathematics /
af: 183529 Larsen, Max D.
Udgivet: (1970)

Conditional and preferential logics : proof methods and theorem proving /
af: 518526 Pozzato, Gian Luca
Udgivet: (c201)

Granularity analysis for tutoring mathematical proofs /
af: Schiller, Marvin R. G. 525500
Udgivet: (2011)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
af: Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-
Udgivet: (c201)

Sets, logic and axiomatic theories /
af: 440414 Stoll, Robert Roth
Udgivet: (1974)