Results 201 to 210 of about 39,700 (212)

Response-Response Binding: New Evidence from Event-Related Potentials Data. [PDF]

Brain Sci
Wang B, Wang L, Tao T, Guo W.
europepmc   +1 more source

An experimental study of the effect of anxiety on lexical processing of college students: evidence from true-false word judgment and semantic category judgment tasks. [PDF]

Front Psychol
Huiyong Z, Xinping P.
europepmc   +1 more source

Lateralised modulation of posterior alpha oscillations by closed loop auditory stimulation during memory retention

Hebron H, Dimitrova R, Jaramillo V, Dijk D, Violante IR.   +4 more
europepmc   +1 more source

The Aesthetic Appreciation of Multi-Stable Images. [PDF]

J Imaging
Saracbasi L, Hecht H.
europepmc   +1 more source

Monitored long-range interacting systems: spin-wave theory for quantum trajectories. [PDF]

Nat Commun
Li Z, Delmonte A, Turkeshi X, Fazio R.
europepmc   +1 more source

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   +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
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

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   +3 more sources