Caracterización arqueométrica de pigmentos y soportes procedentes de pinturas murales góticas (S. XIII-XV) [PDF]
Boletín de la Sociedad Española de Cerámica y Vidrio, 2007 A novel investigation on samples of gothic wall paintings (13-15th Centuries) has been carried out. They were found in some Churchs of Slovenia, being not yet studied using technics of materials analysis.
Kriznar, A. +3 more
doaj +4 more sources
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice [PDF]
Logical Methods in Computer Science, 2022 In this work we consider an extension MFcind of the Minimalist Foundation MF for predicative constructive mathematics with the addition of inductive and coinductive definitions sufficient to generate Sambin's Positive topologies, namely Martin-L\"of ...
Maria Emilia Maietti +2 more
doaj +1 more source
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice [PDF]
Logical Methods in Computer Science, 2021 We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's thesis and axiom of choice.
Maria Emilia Maietti +2 more
doaj +1 more source
The Catholic Church's Dialogical Method and Engagement with the Zimbabwean State between 2000 and 2010 [PDF]
Journal for the Study of Religion, 2023 The Catholic Church's advocacy against bad governance in Zimbabwe (the country's name was Rhodesia till April 18, 1980) can be traced back to its colonial days.
Stephen Phiri
doaj +2 more sources
A Curry-Howard Approach to Church's Synthesis [PDF]
Logical Methods in Computer Science, 2019 Church's synthesis problem asks whether there exists a finite-state stream transducer satisfying a given input-output specification. For specifications written in Monadic Second-Order Logic (MSO) over infinite words, Church's synthesis can theoretically ...
Pierre Pradic, Colin Riba
doaj +1 more source
The Church's valuables confiscation in Vladimir [PDF]
Вестник Православного Свято-Тихоновского гуманитарного университета: Серия ИИ. История, история Русской Православной Церкви, 2015 The article reveals the content of measures of Church valuables confiscation in the Vladimir in 1922. Valuable works of art and antiquities were confi scated from Vladimir temples and monasteries under the support of the established confi scation ...
Lichak Natal'ia
doaj +1 more source
ArcHistoR Architettura Storia Restauro: Architecture History Restoration, 2023 The current paper concerns events related to the design of the Pontevico and Verolanuova churches, which were started during the last decades of the 16th century.
Elisa Sala
doaj +1 more source
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies [PDF]
Logical Methods in Computer Science, 2019 Hyland's effective topos offers an important realizability model for constructive mathematics in the form of a category whose internal logic validates Church's Thesis. It also contains a boolean full sub-quasitopos of "assemblies" where only a restricted
Maria Emilia Maietti +2 more
doaj +1 more source
Wholl be a witness for my Lord? Witnessing as an Ecclesiological and Missiological paradigm
Missionalia: Southern African Journal of Missiology, 2016 The Christian churchs expansive zeal has often, throughout its history, walked hand-in-hand with the colonial pursuits of empires and nation-states.
Suderman, Andrew G.
doaj +1 more source
Calvinisme dan Ilmu Pengetahuan: Suatu Tinjauan Filosofis terhadap Pemikiran Abraham Kuyper
Societas Dei: Jurnal Agama dan Masyarakat, 2016 :Â This article is focused on systematic explanation of Abraham Kuypers thought on Calvinism and science. Some of significant contributions of Calvinism are the theological foundation of science and its liberation from churchs invasion. This article uses
Antonius Steven Un
doaj +1 more source