A mathematically derived definitional/semantical theory of truth

Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a fully interpreted object language and from an extra formula a new language. It is fully interpreted under a suitably defined interpretation. This interpretation is equivalent to the interpretation by meanings of sentences if the object language is so interpreted. The added formula provides a truth predicate for the constructed language. The so obtained theory of truth satisfies the norms presented in Hannes Leitgeb's paper 'What Theories of Truth Should be Like (but Cannot be)'

Theories of truth for countable languages which conform to classical logic

Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings

Goat milk and caddies – A Muslim community in Cha Am, Thailand

This paper looks at the history of a Muslim village and its interaction with the surrounding establishments.The Muslim village Baan Yai is located just adjacent to one of the huge golf courses of Hua Hin, an upscale, traditional beach resort accommodating the Summer Palace of the King Rama IX and offering world-class golf courses. Even though the village is close to one of the three university campuses and a golf course, the latter are unaware of its existence. The paper also raises the question of the role of this community in the wider ummah both in Thailand and overseas while presenting a brief discussion of relevant aspects of the history of Thai Muslims. The paper concludes that while the villagers might be reasonably knowledgeable about basic Islamic teachings and practices, they appear to be detached from the Islamic origins and history of the community. This relative historical discontinuity is only matched by deliberate spatial fragmentation caused by the administrative structure of the villag

Thermalization of hot electrons via interfacial electron-magnon interaction

Recent work on layered structures of superconductors (S) or normal metals (N) in contact with ferromagnetic insulators (FI) has shown how the properties of the previous can be strongly affected by the magnetic proximity effect due to the static FI magnetization. Here we show that such structures can also exhibit a new electron thermalization mechanism due to the coupling of electrons with the dynamic magnetization, i.e., magnons in FI. We here study the heat flow between the two systems and find that in thin films the heat conductance due to the interfacial electron-magnon collisions can dominate over the well-known electron-phonon coupling below a certain characteristic temperature that can be straightforwardly reached with present-day experiments. We also study the role of the magnon band gap and the induced spin-splitting field induced in S on the resulting heat conductance and show that heat balance experiments can reveal information about such quantities in a way quite different from typical magnon spectroscopy experiments

History and future lines of urbanization process in Finland

Urbanization began in Finland relatively late by comparison with other European countries, but the process has taken place all the more rapidly. The population has concentrated to the southern part of Finland and there are nowadays only few growth centres. The purpose of this paper is to examine the process of urbanization over a long time span and light up the different scenarios of future population distribution. The number of cities and towns in Finland increased by 57 % between 1950 and 1998, but one notable feature of these cities and towns is their small size in terms of population, 86 % of them having less than 50 000 inhabitants and only 6 of them exceeding 100 000 inhabitants in 1998. According to forecasts the population will concentrate still in future in Finland. The proportion of people who are living in the built-up areas will be 84 % in 2005. Finland`s development is 15 years behind Sweden: Sweden reached this figure already in 1990. The population of the rural areas will continue to decrease in future. Population of Helsinki will grow up to 2020 by almost 68 000 persons. The population level will be then 611 361 inhabitants.