Article
Licensed
Unlicensed
Requires Authentication
Complexity of the Decidability of the Unquantified Set Theory with A Rank Operator
-
M. Tetruashvili
Published/Copyright:
February 18, 2010
Abstract
The unquantified set theory MLSR containing the symbols ∪, \, =, ∈, R (R(x) is interpreted as a rank of x) is considered. It is proved that there exists an algorithm which for any formula Q of the MLSR theory decides whether Q is true or not using the space c|Q|3 (|Q| is the length of Q).
Received: 1993-05-04
Published Online: 2010-02-18
Published in Print: 1994-October
© 1994 Plenum Publishing Corporation
You are currently not able to access this content.
You are currently not able to access this content.
Articles in the same Issue
- Boundary Value Problems of Electroelasticity with Concentrated Singularities
- Passage of the Limit Through the Double Denjoy Integral
- On Some Properties of Solutions of Second Order Linear Functional Differential Equations
- Generalized Sierpinski Sets
- Two-Weighted Estimates for Some Integral Transforms in the Lebesgue Spaces with Mixed Norm and Imbedding Theorems
- Linear Dynamical Systems of Higher Genus
- On the Durrmeyer-Type Modification of Some Discrete Approximation Operators
- Fractional Type Operators in Weighted Generalized Hölder Spaces
- Complexity of the Decidability of the Unquantified Set Theory with A Rank Operator
- On Perfect Mappings from ℝ to ℝ
Articles in the same Issue
- Boundary Value Problems of Electroelasticity with Concentrated Singularities
- Passage of the Limit Through the Double Denjoy Integral
- On Some Properties of Solutions of Second Order Linear Functional Differential Equations
- Generalized Sierpinski Sets
- Two-Weighted Estimates for Some Integral Transforms in the Lebesgue Spaces with Mixed Norm and Imbedding Theorems
- Linear Dynamical Systems of Higher Genus
- On the Durrmeyer-Type Modification of Some Discrete Approximation Operators
- Fractional Type Operators in Weighted Generalized Hölder Spaces
- Complexity of the Decidability of the Unquantified Set Theory with A Rank Operator
- On Perfect Mappings from ℝ to ℝ
