On the Model Theory of Some Generalized Quantifiers

Author(s):  
Heinz-Dieter Ebbinghaus
2004 ◽  
Vol 10 (1) ◽  
pp. 37-53 ◽  
Author(s):  
Jouko Väänänen

§1. Introduction. After the pioneering work of Mostowski [29] and Lindström [23] it was Jon Barwise's papers [2] and [3] that brought abstract model theory and generalized quantifiers to the attention of logicians in the early seventies. These papers were greeted with enthusiasm at the prospect that model theory could be developed by introducing a multitude of extensions of first order logic, and by proving abstract results about relationships holding between properties of these logics. Examples of such properties areκ-compactness. Any set of sentences of cardinality ≤ κ, every finite subset of which has a model, has itself a model. Löwenheim-Skolem Theorem down to κ. If a sentence of the logic has a model, it has a model of cardinality at most κ. Interpolation Property. If ϕ and ψ are sentences such that ⊨ ϕ → Ψ, then there is θ such that ⊨ ϕ → θ, ⊨ θ → Ψ and the vocabulary of θ is the intersection of the vocabularies of ϕ and Ψ.Lindstrom's famous theorem characterized first order logic as the maximal ℵ0-compact logic with Downward Löwenheim-Skolem Theorem down to ℵ0. With his new concept of absolute logics Barwise was able to get similar characterizations of infinitary languages Lκω. But hopes were quickly frustrated by difficulties arising left and right, and other areas of model theory came into focus, mainly stability theory. No new characterizations of logics comparable to the early characterization of first order logic given by Lindström and of infinitary logic by Barwise emerged. What was first called soft model theory turned out to be as hard as hard model theory.


Author(s):  
M. Prest
Keyword(s):  

2019 ◽  
Vol 11 (1) ◽  
pp. 33-40
Author(s):  
Muhammad Khabib Burhanuddin Iqomh ◽  
Nani Nurhaeni ◽  
Dessie Wanda

Peningkatan suhu tubuh  menyebabkan rasa tidak nyaman, gelisah pada anak, sehingga waktu untuk istirahat menjadi terganggu.Tatalaksana pada anak dengan demam dapat dilakukan dengan metode farmakologi dan non farmakologi. Tepid water spongingmerupakan tatalaksana non farmakologi. Konservasi adalah serangkaian sistem agar tubuh manusia mampu menjalankan fungsi, beradaptasi untuk melangsungkan kehidupan. Perawat mempunyai peran untuk membantu anak dalam mengatasi gangguan termoregulasi. Karya ilmiah ini bertujuan untuk mengetahui efektifitas penurunan suhu tubuh menggunakan tepid water sponging dengan pendekatanl konservasi Levine di ruang rawat infeksi. Efektifitas diukur dalam pemberian asuhan keperawatan berdasarkan proses keperawatan yang terdapat dalam model konservasi Levine yaitu: pengkajian, menentukan trophicognosis, menentukan hipotesis, intervensi dan evaluasi. Terdapat lima kasus yang dibahas. Hasil penerapan model konservasi Levine mampu meningkatkan kemampuan anak dalam mempertahankan fungsi tubuh dan beradaptasi terhadap perubahan. Kombinasi tepid water sponging dan terapi farmakologi mampu mengatasi demam dengan cepat dibanding terapi farmakologi.   Kata kunci: termoregulasi, tepid water sponging, teori model konservasi Levine   REDUCTION OF BODY TEMPERATURE USING TEPID WATER SPONGINGWITH THE LEVINE CONSERVATION APPROACH   ABSTRACT Increased body temperature causes discomfort, anxiety in children, so that the time to rest becomes disturbed. Management of children with fever can be done by pharmacological and non-pharmacological methods. Tepid water sponging is a non-pharmacological treatment. Conservation is a series of systems so that the human body is able to function, adapt to life. Nurses have a role to help children overcome thermoregulation disorders. This scientific work aims to determine the effectiveness of decreasing body temperature using tepid water sponging with the approach of Levine conservation in the infectious care room. Effectiveness is measured in the provision of nursing care based on the nursing process contained in the Levine conservation model, namely: assessment, determining trophicognosis, determining hypotheses, intervention and evaluation. There are five cases discussed. The results of the application of the Levine conservation model are able to improve the ability of children to maintain body functions and adapt to changes. The combination of tepid water sponging and pharmacological therapy is able to overcome fever quickly compared to pharmacological therapy.   Keywords: thermoregulation, tepid water sponging, Levine conservation model theory  


Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum

2013 ◽  
Author(s):  
Stephen J. Young

2019 ◽  
Vol 1 (2) ◽  
pp. 40-50
Author(s):  
Yu Liang

Sign in / Sign up

Export Citation Format

Share Document