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, R

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

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.
The dense linear ordering principle.David Pincus - 1997 - Journal of Symbolic Logic 62 (2):438-456.
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.
The Dense Linear Ordering Principle.David Pincus - 1997 - Journal of Symbolic Logic 62 (2):438-456.
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
5 (#1,562,871)

6 months
46 (#95,336)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeremy Avigad
Carnegie Mellon University

Citations of this work

No citations found.

Add more citations

References found in this work

Principles of Constraint Programming.[author unknown] - 2006 - Bulletin of Symbolic Logic 12 (1):128-131.

Add more references