Geometry Axioms
| Abstract | To prove this, we fix P(x) to be any polynomial of degree ≥ 1 with a positive and negative value. We define a critical interval to be any nonempty open interval on which P is strictly monotone and where P is not strictly monotone on any larger open interval. Here an open interval may not have endpoints in F, and may be infinite on the left or right or both sides. Obviously, the critical intervals are pairwise disjoint. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesRicardo Bianconi (1997). Nondefinability Results for Expansions of the Field of Real Numbers by the Exponential Function and by the Restricted Sine Function. Journal of Symbolic Logic 62 (4):1173-1178.
Rebecca Hill (2011). The Interval: Relation and Becoming in Irigaray, Aristotle, and Bergson. Fordham University Press.
Tamar Lando (2012). Completeness of S4 for the Lebesgue Measure Algebra. Journal of Philosophical Logic 41 (2):287-316.
Thomas Mormann (2005). Geometry of Logic and Truth Approximation. Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):431-454.
Tero Tulenheimo (2011). Negation and Temporal Ontology. Australasian Journal of Philosophy 89 (1):101-114.
Quentin Smith (1985). On the Beginning of Time. Noûs 19 (4):579-584.
Victor Pambuccian (2004). The Simplest Axiom System for Plane Hyperbolic Geometry. Studia Logica 77 (3):385 - 411.
Jan Platvono (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
Jan von Plato (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
Douglas Cenzer (1984). Monotone Reducibility and the Family of Infinite Sets. Journal of Symbolic Logic 49 (3):774-782.
Alfred Tarski & Steven Givant (1999). Tarski's System of Geometry. Bulletin of Symbolic Logic 5 (2):175-214.
Elżbieta Hajnicz (1995). Some Considerations on Non-Linear Time Intervals. Journal of Logic, Language and Information 4 (4):335-357.
Alan Hájek (2005). The Cable Guy Paradox. Analysis 65 (286):112–119.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads1 ( #274,652 of 549,060 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
