Results 131 to 140 of about 960,078 (161)
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 +3 more sources
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 +4 more sources
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 +3 more sources
A Contribution to the Theory of Groups of Prime-Power Order
Proceedings of the London Mathematical Society, 1934 P. Hall
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
Brady, Jody, Brady, Neo, xAI, Grok
openaire +1 more source
The Emerson Siphon Theory: Complete Compendium
Book Description lifted from Amazon Kindle: What if everything you’ve ever been taught about gravity, black holes, and the beginning of the universe is backwards? The Emerson Siphon Theory offers a radical reimagining of cosmic structure—one that doesn’t require extra dimensions, dark energy, or unknowable singularities.openaire +1 more source
Quantifier elimination and complexity for the theory of groups of prime orders
Summary: We deal with quantifier eliminations and corresponding computational complexities for the theory \(T\) of groups of prime orders over the language \({\mathcal L}= \{+,0,e\}\). We prove that \(T\) has the quantifier elimination property and give an upper bound on the complexity of the decision problem for the theory \(T\).openaire +1 more source