- 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
A decision procedure for linear “big o” equations
Abstract
Let F be the set of functions from an infinite set, S, to an ordered ring, RAuthor's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Only published works are available at libraries.
My notes
Similar books and articles
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Structure theorems for o-minimal expansions of groups.Mario J. Edmundo - 2000 - Annals of Pure and Applied Logic 102 (1-2):159-181.
Diophantine relations between rings of s-integers of fields of algebraic functions in one variable over constant fields of positive characteristic.Alexandra Shlapentokh - 1993 - Journal of Symbolic Logic 58 (1):158-192.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
A compactness theorem for linear equations.Robert Cowen & William Emerson - 1996 - Studia Logica 57 (2-3):355 - 357.
Htp-complete rings of rational numbers.Russell Miller - 2022 - Journal of Symbolic Logic 87 (1):252-272.
Factorials of infinite cardinals in zf part I: Zf results.Guozhen Shen & Jiachen Yuan - 2020 - Journal of Symbolic Logic 85 (1):224-243.
Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind.Masato Fujita - 2020 - Journal of Symbolic Logic 85 (4):1654-1663.
Analytics
Added to PP
2009-01-28
Downloads
56 (#369,104)
6 months
10 (#361,262)
2009-01-28
Downloads
56 (#369,104)
6 months
10 (#361,262)
Historical graph of downloads
Author's Profile
References found in this work
A Formally Verified Proof of the Prime Number Theorem.Jeremy Avigad, Kevin Donnelly, David Gray & Paul Raff - 2007 - ACM Transactions on Computational Logic 9 (1).
Principles of Constraint Programming.[author unknown] - 2006 - Bulletin of Symbolic Logic 12 (1):128-131.
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-667477cd97-jhg8z dc2