Decorated Linear Order Types and the Theory of Concatenation
نویسندگان
چکیده
We study the interpretation of Grzegorczyk’s Theory of Concatenation TC in structures of decorated linear order types satisfying Grzegorczyk’s axioms. We show that TC is incomplete for this interpretation. What is more, the first order theory validated by this interpretation interprets arithmetical truth. We also show that every extension of TC has a model that is not isomorphic to a structure of decorated order types. We provide a positive result, to wit a construction that builds structures of decorated order types from models of a suitable concatenation theory. This construction has the property that if there is a representation of a certain kind, then the construction provides a representation of that kind.
منابع مشابه
Computational studies of carbon decorated boron nitride nanocones
Density functional theory ,(DFT) calculations have been performed to investigate the properties ofcarbon decorated (C-decorated) models of boron nitride (BN) nanocones. To this aim, the apex andtip of nanocone have been substituted by the carbon atoms to represent the C-decorated models. Theresults indicated that dipole moments and energy gaps could reveal the effects of C-decorations onthe pro...
متن کاملTENSION TRIGONOMETRIC SPLINES INTERPOLATION METHOD FOR SOLVING A LINEAR BOUNDARY VALUE PROBLEM
By using the trigonometric uniform splines of order 3 with a real tension factor, a numericalmethod is developed for solving a linear second order boundary value problems (2VBP) withDirichlet, Neumann and Cauchy types boundary conditions. The moment at the knots isapproximated by central finite-difference method. The order of convergence of the methodand the theory is illustrated by solving tes...
متن کاملHydrogen Adsorption on (5,0) and (3,3) Na-decorated BNNTs
The storage capacity of hydrogen on Na-decorated born nitride nanotubes (BNNTs) is investigated by using density functional theory within Quantum Espresso and Gaussian 09. The results obtained predict that a single Na atom tends to occupy above the central region of the hexagonal rings in (5,0) and (3,3) BNNT structures with a binding energy of -2.67 and -4.28 eV/Na-atom respectively. When a si...
متن کاملLinear Ramified Higher Type Recursion and Parallel Complexity
A typed lambda calculus with recursion in all finite types is defined such that the first order terms exactly characterize the parallel complexity class NC. This is achieved by use of the appropriate forms of recursion (concatenation recursion and logarithmic recursion), a ramified type structure and imposing of a linearity constraint.
متن کاملDetermination of critical properties of Alkanes derivatives using multiple linear regression
This study presents some mathematical methods for estimating the critical properties of 40 different types of alkanes and their derivatives including critical temperature, critical pressure and critical volume. This algorithm used QSPR modeling based on graph theory, several structural indices, and geometric descriptors of chemical compounds. Multiple linear regression was used to estimate the ...
متن کامل