LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE

2006 ◽  
Vol 16 (02) ◽  
pp. 307-340 ◽  
Author(s):  
DIETRICH KUSKE ◽  
MARKUS LOHREY
Keyword(s):  
Cayley Graph ◽  
Cayley Graphs ◽  
Order Theory ◽  
Second Order ◽  
Point Of View ◽  
Direct Products ◽  
Graph Products ◽  
Arbitrary Graph ◽  
First Order ◽  
First Order Theory

Cayley-graphs of monoids are investigated under a logical point of view. It is shown that the class of monoids, for which the Cayley-graph has a decidable monadic second-order theory, is closed under free products. This result is derived from a result of Walukiewicz, stating that the decidability of monadic second-order theories is preserved under tree-like unfoldings. Concerning first-order logic, it is shown that the class of monoids, for which the Cayley-graph has a decidable first-order theory, is closed under arbitrary graph products, which generalize both, free and direct products. For the proof of this result, tree-like unfoldings are generalized to so-called factorized unfoldings. It is shown that the decidability of the first-order theory of a structure is preserved by factorized unfoldings. Several additional results concerning factorized unfoldings are shown.

scholarly journals Note About a New Evaluation of the Direct Perturbations of the Planets on the Moon’s Motion

1981 ◽  
Vol 63 ◽  
pp. 265-266
Author(s):  
D. Standaert
Keyword(s):  
Order Theory ◽  
Second Order ◽  
Point Of View ◽  
Internal Point ◽  
First Order ◽  
Keplerian Orbits ◽  
First Order Theory ◽  
External Point ◽  
Constants Of Motion ◽  
The Mean

The aim of this paper is to present the principal features of a new evaluation of the direct perturbations of the planets on the Moon’s motion. Using the method already published in Celestial Mechanics (Standaert, 1980), we compute “a first-order theory” aiming at an accuracy of the order of the meter for all periodic terms of period less than 3 500 years.From an external point of view, we mean by that: a)keplerian orbits for the planets,b)the ELP-2000 solution of the Main Problem proposed by Mrs. Chapront (Chapront-Touzë, 1980),c)the first-order derivatives with respect to the constants of motion of the SALE theory of Henrard (Henrard, 1979).On the other hand, from an internal point of view, the computations include: d)the development in Legendre polynomials not only to the first-order in (a/a'), but also the following ones (up to the sixth-order for Venus, for example),e)the contributions of the second-order in the Lie triangle,f)second-order contributions coming from the corrections of the mean motions due to the planetary action.

scholarly journals DECIDABILITY AND COMPLEXITY IN AUTOMATIC MONOIDS

2005 ◽  
Vol 16 (04) ◽  
pp. 707-722 ◽  
Author(s):  
MARKUS LOHREY
Keyword(s):  
Cayley Graph ◽  
Word Problem ◽  
Hyperbolic Group ◽  
Order Theory ◽  
First Order ◽  
First Order Theory ◽  
Decidability And Complexity

Several complexity and decidability results for automatic monoids are shown: (i) there exists an automatic monoid with a P-complete word problem, (ii) there exists an automatic monoid such that the first-order theory of the corresponding Cayley-graph is not elementary decidable, and (iii) there exists an automatic monoid such that reachability in the corresponding Cayley-graph is undecidable. Moreover, it is shown that for every hyperbolic group the word problem belongs to LOGCFL, which improves a result of Cai [8].

On models of the elementary theory of (Z, +, 1)

1990 ◽  
Vol 55 (1) ◽  
pp. 1-20 ◽  
Author(s):  
Mark Nadel ◽  
Jonathan Stavi
Keyword(s):  
Stability Theory ◽  
Elementary Theory ◽  
Additive Group ◽  
Order Theory ◽  
Point Of View ◽  
Real Numbers ◽  
First Order ◽  
First Order Theory ◽  
Distinguished Element ◽  
Unbounded Subset

Let T1 be the complete first-order theory of the additive group of the integers with 1 as distinguished element (in symbols, T1 = Th(Z, +, 1)). In this paper we prove that all models of T1 are ℵ0-homogeneous (§2), classify them (and lists of elements in them) up to isomorphism or L∞κ-equivalence (§§3 and 4) and show that they may be as complex as arbitrary sets of real numbers from the point of view of admissible set theory (§5). The results of §§2 and 5 together show that while the Scott heights of all models of T1 are ≤ ω (by ℵ0-homogeneity) their HYP-heights form an unbounded subset of the cardinal .In addition to providing this unusual example of the relation between Scott heights and HYP-heights, the theory T1 has served (using the homogeneity results of §2) as an example for certain combinations of properties that people had looked for in stability theory (see end of §4). In §6 it is shown that not all models of T = Th(Z, +) are ℵ0-homogeneous, so that the availability of the constant for 1 is essential for the result of §2.The two main results of this paper (2.2 and essentially Theorem 5.3) were obtained in the summer of 1979. Later we learnt from Victor Harnik and Julia Knight that T1 is of some interest for stability theory, and were encouraged to write up our proofs.During 1982/3 we improved the proofs and added some results.

An Experimental Study of Deviations from the Linear Transfer Function

1974 ◽  
Vol 32 ◽  
pp. 400-401
Author(s):  
William A. Voter ◽  
Harold P. Erickson
Keyword(s):  
Experimental Study ◽  
Image Formation ◽  
Order Theory ◽  
Second Order ◽  
Diffraction Spot ◽  
Order Effects ◽  
First Order ◽  
First Order Theory ◽  
Second Order Effects ◽  
The Fourier Transform

In a previous experimental study of image formation using a thin (20 nm) negatively stained catalase crystal, it was found that a linear or first order theory of image formation would explain almost entirely the changes in the Fourier transform of the image as a function of defocus. In this case it was concluded that the image is a valid picture of the object density. For thicker, higher contrast objects the first order theory may not be valid. Second order effects could generate false diffraction spots which would lead to spurious and artifactual image details. These second order effects would appear as deviations of the diffraction spot amplitudes from the first order theory. Small deviations were in fact noted in the study of the thin crystals, but there was insufficient data for a quantitative analysis.

Numerical Calculation of Second-Order Wave Resistance

1977 ◽  
Vol 21 (02) ◽  
pp. 94-106
Author(s):  
Young S. Hong
Keyword(s):  
Numerical Calculation ◽  
Steady Motion ◽  
Order Theory ◽  
Iteration Scheme ◽  
Wave Resistance ◽  
Second Order ◽  
Lagrangian Coordinates ◽  
Restricted Range ◽  
First Order ◽  
First Order Theory

The wave resistance due to the steady motion of a ship was formulated in Lagrangian coordinates by Wehausen [1].2 By introduction of an iteration scheme the solutions for the first order and second order3 were obtained. The draft/length ratio was assumed small in order to simplify numerical computation. In this work Wehausen's formulas are used to compute the resistance numerically. A few models are selected and the wave resistance is calculated. These results are compared with other methods and experiments. Generally speaking, the second-order resistance shows better agreement with experiment than first-order theory in only a restricted range of Froude number, say 0.25 to 0.35, and even here not uniformly. For larger Froude numbers it underestimates seriously.

Polynomial rings and weak second-order logic

1985 ◽  
Vol 50 (4) ◽  
pp. 953-972 ◽  
Author(s):  
Anne Bauval
Keyword(s):  
Zero Divisor ◽  
Order Theory ◽  
Second Order ◽  
Order Logic ◽  
Polynomial Rings ◽  
Commutative Field ◽  
First Order ◽  
First Order Theory ◽  
Order Language ◽  
Second Order Logic

This article is a rewriting of my Ph.D. Thesis, supervised by Professor G. Sabbagh, and incorporates a suggestion from Professor B. Poizat. My main result can be crudely summarized (but see below for detailed statements) by the equality: first-order theory of F[Xi]i∈I = weak second-order theory of F.§I.1. Conventions. The letter F will always denote a commutative field, and I a nonempty set. A field or a ring (A; +, ·) will often be written A for short. We shall use symbols which are definable in all our models, and in the structure of natural numbers (N; +, ·):— the constant 0, defined by the formula Z(x): ∀y (x + y = y);— the constant 1, defined by the formula U(x): ∀y (x · y = y);— the operation ∹ x − y = z ↔ x = y + z;— the relation of division: x ∣ y ↔ ∃ z(x · z = y).A domain is a commutative ring with unity and without any zero divisor.By “… → …” we mean “… is definable in …, uniformly in any model M of L”.All our constructions will be uniform, unless otherwise mentioned.§I.2. Weak second-order models and languages. First of all, we have to define the models Pf(M), Sf(M), Sf′(M) and HF(M) associated to a model M = {A; ℐ) of a first-order language L [CK, pp. 18–20]. Let L1 be the extension of L obtained by adjunction of a second list of variables (denoted by capital letters), and of a membership symbol ∈. Pf(M) is the model (A, Pf(A); ℐ, ∈) of L1, (where Pf(A) is the set of finite subsets of A. Let L2 be the extension of L obtained by adjunction of a second list of variables, a membership symbol ∈, and a concatenation symbol ◠.

Complex language, complex thought?

2016 ◽  
Vol 33 ◽  
pp. 28-40
Author(s):  
Suzanne T.M. Bogaerds-Hazenberg ◽  
Petra Hendriks
Keyword(s):  
Theory Of Mind ◽  
Order Theory ◽  
Second Order ◽  
False Belief ◽  
Production Task ◽  
False Belief Task ◽  
First Order ◽  
First Order Theory ◽  
Complex Thought

Abstract It has been argued (e.g., by De Villiers and colleagues) that the acquisition of sentence embedding is necessary for the development of first-order Theory of Mind (ToM): the ability to attribute beliefs to others. This raises the question whether the acquisition of double embedded sentences is related to, and perhaps even necessary for, the development of second-order ToM: the ability to attribute beliefs about beliefs to others. This study tested 55 children (aged 7-10) on their ToM understanding in a false-belief task and on their elicited production of sentence embeddings. We found that second-order ToM passers produced mainly double embeddings, whereas first-order ToM passers produced mainly single embeddings. Furthermore, a better performance on second-order ToM predicted a higher rate of double embeddings and a lower rate of single embeddings in the production task. We conclude that children’s ability to produce double embeddings is related to their development of second-order ToM.

Application des miroirs électrostatiques à l'élimination de l'effet chromatique dans les spectromètres magnétiques. Première partie: théorie linéaire

1969 ◽  
Vol 47 (3) ◽  
pp. 331-340 ◽  
Author(s):  
Marcel Baril
Keyword(s):  
Matrix Algebra ◽  
Order Term ◽  
Order Theory ◽  
Second Order ◽  
Energy Dispersive ◽  
Powerful Method ◽  
First Order ◽  
First Order Theory ◽  
Electrostatic Mirror ◽  
Premiere Partie

Combining an energy-dispersive element with a magnetic prism results in an achromatic mass dispersive instrument, if parameters are chosen appropriately. A plane electrostatic mirror has been chosen as the energy-dispersive element. Trajectories are described in terms of lateral, angular, and energy variations about the principal trajectory. Achromatism and conjugate plane conditions have been calculated by the powerful method of matrix algebra. The first order theory is given in this article (part one), the second order term will be studied in part two which will be published later.

Decidability and undecidability of theories with a predicate for the primes

1993 ◽  
Vol 58 (2) ◽  
pp. 672-687 ◽  
Author(s):  
P. T. Bateman ◽  
C. G. Jockusch ◽  
A. R. Woods
Keyword(s):  
General Result ◽  
Order Theory ◽  
Second Order ◽  
The Other ◽  
Linear Case ◽  
Natural Numbers ◽  
Successor Function ◽  
First Order ◽  
First Order Theory

AbstractIt is shown, assuming the linear case of Schinzel's Hypothesis, that the first-order theory of the structure 〈ω; +, P〉, where P is the set of primes, is undecidable and, in fact, that multiplication of natural numbers is first-order definable in this structure. In the other direction, it is shown, from the same hypothesis, that the monadic second-order theory of 〈ω S, P〉 is decidable, where S is the successor function. The latter result is proved using a general result of A. L. Semënov on decidability of monadic theories, and a proof of Semënov's result is presented.

A NEW FORMALIZATION OF FEFERMAN’S SYSTEM OF FUNCTIONS AND CLASSES AND ITS RELATION TO FREGE STRUCTURE

1995 ◽  
Vol 06 (03) ◽  
pp. 187-202 ◽  
Author(s):  
SUSUMU HAYASHI ◽  
SATOSHI KOBAYASHI
Keyword(s):  
Finite Number ◽  
Order Theory ◽  
Point Of View ◽  
The Other ◽  
Technical Result ◽  
Technical Point ◽  
First Order ◽  
First Order Theory

A new axiomatization of Feferman’s systems of functions and classes1,2 is given. The new axiomatization has a finite number of class constructors resembling the proposition constructors of Frege structure by Aczel.3 Aczel wrote “It appears that from the technical point of view the two approaches (Feferman’s system and Frege structure) run parallel to each other in the sense that any technical result for one approach can be reconstructed for the other”.3 By the aid of the new axiomatization, Aczel’s observation becomes so evident. It is now straightforward to give a mutual interpretation between our formulation and a first order theory of Frege structure, which improve results by Beeson in Ref. 4.

Sign in / Sign up

Export Citation Format

Share Document