-
13Concurrent formation of two different type precipitation-free zones during the initial stage of homogenizationPhilosophical Magazine 93 (18): 2269-2278. 2013.
-
6Effects of Ability and Effort Praise on Children’s Failure Attribution, Self-Handicapping, and PerformanceFrontiers in Psychology 9. 2018.
-
3Consistency of a $\lambda$ -theory with $n$ -tuples and easy termArchive for Mathematical Logic 34 (2): 79-96. 1995.
-
13Consistency of a $\lambda$ -theory with $n$ -tuples and easy termArchive for Mathematical Logic 34 (2): 79-96. 1995.We give here a model-theoretical solution to the problem, raised by J.L: Krivine, of the consistency of λβη+U(G)+Ω=t, wheret is an arbitrary λ-term,G an arbitrary finite group of order, sayn, andU(G) the theory which expresses the existence of a surjectiven-tuple notion, such that each element ofG behaves simultaneously as a permutation of the components of then-tuple and as an automorphism of the model. This provides in particular a semantic proof of the βη-easiness of the λ-term Ω
Areas of Interest
| 20th Century Philosophy |
| European Philosophy |