- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Uniform bounds for the Iitaka fibration
Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 13 (4):1133-1143 (2014)
Abstract
We give effective bounds for the uniformity of the Iitaka fibration. These bounds follow from an effective theorem on the birationality of some adjoint linear series. In particular we derive an effective version of the main theorem in [19]My notes
Similar books and articles
An effective version of Wilkie's theorem of the complement and some effective o-minimality results.Alessandro Berarducci & Tamara Servi - 2004 - Annals of Pure and Applied Logic 125 (1-3):43-74.
More about uniform upper Bounds on ideals of Turing degrees.Harold T. Hodes - 1983 - Journal of Symbolic Logic 48 (2):441-457.
Strongly uniform bounds from semi-constructive proofs.Philipp Gerhardy & Ulrich Kohlenbach - 2006 - Annals of Pure and Applied Logic 141 (1):89-107.
Modus Ponens and Modus Tollens for Conditional Probabilities, and Updating on Uncertain Evidence.Jordan Howard Sobel - 2009 - Theory and Decision 66 (2):103 - 148.
Metrization of the Uniform Space and Effective Convergence.Y. Tsujii, T. Mori & M. Yasugi - 2002 - Mathematical Logic Quarterly 48 (S1):123-130.
Invariant Version of Cardinality Quantifiers in Superstable Theories.Alexander Berenstein & Ziv Shami - 2006 - Notre Dame Journal of Formal Logic 47 (3):343-351.
On the computational complexity of cut-reduction.Klaus Aehlig & Arnold Beckmann - 2010 - Annals of Pure and Applied Logic 161 (6):711-736.
Uniform bounds on growth in o-minimal structures.Janak Ramakrishnan - 2010 - Mathematical Logic Quarterly 56 (4):406-408.
The Isochronal Fibration: Characterization and Implication in Biology.Jacques Demongeot - 2010 - Acta Biotheoretica 58 (2-3):121-142.
Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.
Exact upper bounds and their uses in set theory.Menachem Kojman - 1998 - Annals of Pure and Applied Logic 92 (3):267-282.
Light monotone Dialectica methods for proof mining.Mircea-Dan Hernest - 2009 - Mathematical Logic Quarterly 55 (5):551-561.
A computable version of Banach’s Inverse Mapping Theorem.Vasco Brattka - 2009 - Annals of Pure and Applied Logic 157 (2-3):85-96.
In Bounds or Out of Bounds? The Academic Possibilities of John Deely's Four Ages of Understanding.Joe Martin - 2002 - Semiotics:303-313.
Models of arithmetic and upper Bounds for arithmetic sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Analytics
Added to PP
2015-04-27
Downloads
19 (#802,800)
6 months
3 (#983,674)
2015-04-27
Downloads
19 (#802,800)
6 months
3 (#983,674)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-pqwqt uwo