
13Concurrent formation of two different type precipitationfree zones during the initial stage of homogenizationPhilosophical Magazine 93 (18): 22692278. 2013.

6Effects of Ability and Effort Praise on Children’s Failure Attribution, SelfHandicapping, and PerformanceFrontiers in Psychology 9. 2018.

13Consistency of a $\lambda$ theory with $n$ tuples and easy termArchive for Mathematical Logic 34 (2): 7996. 1995.We give here a modeltheoretical 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 surjectiventuple notion, such that each element ofG behaves simultaneously as a permutation of the components of thentuple and as an automorphism of the model. This provides in particular a semantic proof of the βηeasiness of the λterm Ω

3Consistency of a $\lambda$ theory with $n$ tuples and easy termArchive for Mathematical Logic 34 (2): 7996. 1995.
Areas of Interest
20th Century Philosophy 
European Philosophy 