• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Physical Sciences and Engineering Mathematics Analysis

Two situations with unit-cost: ordered abelian semi-groups and some commutative rings

Article ID Journal Published Year Pages File Type
9501281 Journal of Complexity 2005 14 Pages PDF
Abstract

- In Section 3 we apply the theorem of Matiyasevich in order to construct a ring with P≠NBP≠NP and such that its polynomial hierarchy does not collapse at any level.
Keywords
03C6003D15AxiomsPolynomial hierarchyComputation
Related Topics
Physical Sciences and Engineering Mathematics Analysis
Preview
Two situations with unit-cost: ordered abelian semi-groups and some commutative rings
Authors
Mihai Prunescu,
Related Articles
Faster sparse multivariate polynomial interpolation of straight-line programs
On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
Dual bases for noncommutative symmetric and quasi-symmetric functions via monoidal factorization
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
Logspace computations in graph products
Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)
Factoring linear partial differential operators in n variables
An isomorphism test for modules over a non-commutative PID. Applications to similarity of Ore polynomials
Bounded-degree factors of lacunary multivariate polynomials
The prompter method: A treatment for hard-to-solve iterative functional equations
Journal
Journal of Complexity
Journal: Journal of Complexity
Related Categories
03C60
03D15
Axioms
Polynomial hierarchy
Computation
Algebra and Number Theory
Analysis
Applied Mathematics
Computational Mathematics
Control and Optimization
Discrete Mathematics and Combinatorics
Geometry and Topology
Logic
Mathematical Physics
Mathematics (General)
Modelling and Simulation
Numerical Analysis
Statistics and Probability
Theoretical Computer Science
Related Journals
Nonlinear Analysis: Real World Applications
Nonlinear Analysis: Theory, Methods & Applications
Nonlinear Analysis: Hybrid Systems
Expositiones Mathematicae
Journal of Functional Analysis
Annales de l'Institut Henri Poincare (C) Non Linear Analysis
Applied and Computational Harmonic Analysis
Differential Geometry and its Applications
Journal of Approximation Theory
Journal of Differential Equations
Journal of Mathematical Analysis and Applications
Transactions of A. Razmadze Mathematical Institute
Daneshyari provides fulltext access to millions of research papers.