Results 251 to 260 of about 1,773,495 (277)

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

Proceedings of the London Mathematical Society, 1934
P. Hall
semanticscholar   +4 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
openalex   +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
openalex   +3 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
openalex   +3 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
openalex   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

The spectrum of equivariant Kasparov theory for cyclic groups of prime order

Annals of K-theory, 2020
We compute the Balmer spectrum of the equivariant bootstrap category of separable $G$-C*-algebras when $G$ is a group of prime order.
Ivo Dell’Ambrogio, R. Meyer
semanticscholar   +1 more source

A Speech Act Analysis of the Prime Minister's Speech Pertaining to the Movement Control Order (MCO) to Address the COVID-19 Pandemic in Malaysia

International Journal of Modern Languages And Applied Linguistics, 2020
Crisis management is a competency that needs to be possessed by all leaders of today to address the challenges and volatility of the world today. The COVID-19 pandemic is one of the most crucial examples of such volatility which has impacted the world ...
Maisarah binti Ahmad Kamil, Fatin Fatinah Shamshul Bahrn   +1 more
semanticscholar   +1 more source

Sharper bounds for the error term in the prime number theorem

Research in Number Theory, 2022
We obtain bounds for the error term in the prime number theorem of the form $$\begin{aligned} \left| \pi (x) - {{\,\textrm{Li}\,}}(x) \right| \le 9.2211\, x\sqrt{\log (x)} \exp \left( -0.8476 \sqrt{\log (x)} \right) \ \text {for all} \ x\ge 2, \end ...
Andrew Fiori, H. Kadiri, Joshua Swidinsky   +2 more
semanticscholar   +1 more source

Application of Standard Three-Phase Stator Frames in Prime Phase Order Multiphase Machine Construction

IEEE transactions on industrial electronics (1982. Print), 2019
The application of multiphase machines in high-power applications is now a recognized alternative, thanks to their higher fault-tolerance when compared with standard three-phase systems.
A. Abdel-Khalik, A. Massoud, Shehab Ahmed   +2 more
semanticscholar   +1 more source

Anonymous HIBE: Compact Construction Over Prime-Order Groups

IEEE Transactions on Information Theory, 2013
We present an anonymous hierarchical identity based encryption (HIBE) scheme that not only achieves constant-size ciphertext, but also works in bilinear groups with prime order.
J. H. Park, Dong Hoon Lee
semanticscholar   +1 more source