Results 231 to 240 of about 967,837 (257)

The theory of integer multiplication with order restricted to primes is decidable

Journal of Symbolic Logic, 1997
AbstractWe show here that the first order theory of the positive integers equipped with multiplication remains decidable when one adds to the language the usual order restricted to the prime numbers. We see moreover that the complexity of the latter theory is a tower of exponentials, of height O(n).
Françoise Maurin
openaire   +3 more sources

An algorithm for computing theory prime implicates in first order logic

International Journal of Information and Communication Technology, 2007
An algorithm based on consensus method to compute the set of prime implicates of a quantifier free first order formula X was presented in an earlier work. In this paper the notion of prime implicates is extended to theory prime implicates in the first order case.
Arindama Singh, Manoj K. Raut
openaire   +2 more sources

Uniqueness and characterization of prime models over sets for totally transcendental first-order theories

Journal of Symbolic Logic, 1972
If T is a complete first-order totally transcendental theory then over every T-structure A there is a prime model unique up to isomorphism over A. Moreover M is a prime model over A iff: (1) every finite sequence from M realizes an isolated type over A, and (2) there is no uncountable indiscernible set over A in M.The existence of prime models was ...
Saharon Shelah
openaire   +2 more sources

A Contribution to the Theory of Groups of Prime-Power Order

Proceedings of the London Mathematical Society, 1934
P. Hall
openaire   +2 more sources

Saharon Shelah. Uniqueness and characterization of prime models over sets for totally transcendental first-order theories. The journal of symbolic logic, vol. 37 (1972), pp. 107–113.

Journal of Symbolic Logic, 1973
Jerrold M. Gold
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Response to Grok's Review on the Empirical Foundations of the Resonant Order Theory of Everything (ROTE) and Null Prime Gaps within the Solar System

The Resonant Order Theory of Everything (ROTE) proposes a universal framework where physical systems, from quantum to cosmic scales, emerge from a ψ\psiψ-spaced spiral shell structure governed by the equation r(n)=r0⋅ekn r(n) = r_0 \cdot e^{k n} r(n)=r0⋅ekn, with n n n as the spiral index and k≈0.233 k \approx 0.233 k≈0.233 for planetary orbits.
Brady, Jody, Brady, Neo, xAI, Grok
openaire   +1 more source

Survival outcomes used to generate version 9 American Joint Committee on Cancer staging system for anal cancer

Ca-A Cancer Journal for Clinicians, 2023
Elliot A Asare
exaly  

Ferroelectric order in van der Waals layered materials

Nature Reviews Materials, 2022
Pankaj Sharma, Jan Seidel
exaly  

Cancer treatment and survivorship statistics, 2014

Ca-A Cancer Journal for Clinicians, 2014
Carol E Desantis, Angela B Mariotto, Ahmedin Jemal   +2 more
exaly