Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe

Im Folgenden wird eine Vereinfachung der Beweisanordnung für Henkin's Theorem [2] p. 162 angegeben (Abschnitt I). - Die Vereinfachung zeigt sich u.a. darin, daß für den abgeänderten Beweis eine Abschätzung der "projektiven Klasse” (im Sinne der Kleene-Mostowski'schen Theorie der projektiven Mengen von natürlichen Zahlen) für das zu konstruierende Modell gelingt (Abschnitte II-IV). Die Kenntnis der Henkin'schen Arbeit wird vorausgesetzt. Um eine maximale widerspruchsfreie Menge Γω von geschlossenen Formeln, in der zu jeder Existenzaussage (∃x)A(x) eine Beispielaussage A(uij ) vorhanden ist, zu erhalten, führt Henkin einen Turm von Kalkülen S 0, S 1, ..., S i , ... und dessen Vereinigung Sω ein. Abwechselnd wird dann die gegebene Menge von Formeln in S i zu einer maximalen widerspruchsfreien Menge Γi erweitert und in S i+1 durch Hinzunahme von Beispielaussagen für alle Existenzaussagen aus Γi ergänzt, für die das nicht schon in einem früheren Schritt geschehen ist. Γω ist dann die Vereinigung aller Γi . Die Vereinfachung besteht nun darin, daß - nach Erweiterung von S 0 zu einem Kalkül S* durch Hinzunahme einer einfachen Folge u 1, u 2, ... von "neuen” Konstanten - in S* zu jeder Existenzaussage eine bedingte Beispielaussage gebildet wird. K sei die Klasse dieser Aussagen, Λ die gegebene widerspruchsfreie Menge; dann wird Λ* = K ◡ Λ in S* einmal zu einer maximalen widerspruchsfreien Menge ergänzt. Unter Verwendung der Standard-Anordnung aller geschlossenen Formeln von S* erhalten wir für diejenigen von der Form (∃x)A(x) eine Aufzählung (∃x)Ai (x), dazu eine Indexfolge ji (i =1, 2, ...), definiert durc

Enfermeiras americanas do Serviço Especial de Saúde Pública e a formação de recursos humanos na Enfermagem Brasileira

RESUMO Objetivo Historicizar as mudanças na formação de recursos humanos em enfermagem no Brasil, no período de 1942 a 1961, a partir da presença de 35 enfermeiras americanas designadas para trabalhar em cooperação com o SESP. Método O estudo utilizou como fontes relatórios redigidos pelas enfermeiras, que descrevem suas impressões, sugestões e atividades desenvolvidas no país, e foram analisadas a partir da análise de discurso de Michel Foucault. Resultados O período mencionado foi marcado pela presença americana nos projetos de enfermagem desenvolvidos pelo Serviço Especial de Saúde Pública (SESP). Os discursos indicaram que o período foi marcado por muitas mudanças na enfermagem brasileira, em especial no que diz respeito à captação e formação de recursos humanos para a profissão. Conclusão Pode-se afirmar que elas, através de seus discursos e influência, foram centrais para a consolidação de um novo paradigma na formação de profissionais de enfermagem no Brasil

Micrometeorological Observations and Comparison of Pasquill to Smith Stability Classes in Conditions of Land / Sea Breezes and of Strong Wind Using Data Obtained with an Ultrasonic Anemometer Thermometer, an Acoustic Sound

A THREE-DIMENSIONAL ULTRASONIC ANEMOMETER/THERMOMETER, A MONOSTATIC ACOUSTIC SOUNDER WITH A FACSIMILE CHART, A MICROBAROMETER AND RADIO- METERS WERE INSTALLED AT A DISTANCE OF 1 KM FROM THE SHORE OF THE BERRE POND DURING THE VITH EUROPEAN AIR POLLUTION MEASURING CAMPAIGN NEAR FOS, FRANCE, IN JUNE 1983. TWENTY SECOND AND THIRTY MINUTE AVER- AGES AND CORRELATION PRODUCTS OF MICROMETEOROLOGICAL VARIABLES WERE CALCULATED IN REAL TIME AFTER CORRECTION OF THE TEMPERATURE FOR DIS- TORSIONS DUE TO THE WIND. THESE DATA WERE THEN TRANSFERRED TO AN IBM- COMPATIBLE MAGNETIC TAPE. GRAPHS OF SELECTED DATA OF THREE DAYS OF A TEN DAY MEASURING CAM- PAIGN ARE SHOWN TOGETHER WITH THE ACOUSTIC SOUNDER RECORDS. THE STABILITY CLASSES OF PASQUILL (FROM RADIATION AND WIND) AND OF SMITH (FROM HEAT AND MOMENTUM FLUXES) ARE COMPARED DURING A PERIOD OF STRONG AND DRY WIND (MISTRAL) AND DURING A LAND-SEA BREEZE REGIME. BOTH STABILITY VALUES DISAGREE DURING NIGHTS WITH AN OSCILLATING AND STRATIFIED STABLE ATMOSPHERE WHEN THE MOMENTUM FLUX ALSO CHANGES DI- RECTION. IT IS CONCLUDED THAT, IN THIS CASE, THE THEORY APPLIED AND THE RELATED POLLUTANT DIFFUSION MODELS CANNOT DESCRIBE THE DYNAMICS OF THE ATMOSPHERE.NA-NOT AVAILABL

What is COST?

COST STANDS FOR EUROPEAN CO-OPERATION IN THE FIELD OF SCIENTIFIC AND TECHNICAL RESEARCH. IT IS A FRAMEWORK FOR EUROPEAN RESEARCH WHICH WAS SET UP IN 1971. IT IS OPEN TO EUROPEAN COUNTRIES. ABOUT 100 COST PROJECTS HAVE BEEN LAUNCHED COVERING A BROAD AREA OF TECHNOLOGY AND SCIENCE. EACH COUNTRY PAYS FOR ITS OWN PART IN THE RESEARCH, WHEREAS THE COMMISSION OF THE EC PROVIDES THE SECRETARIAT.NA-NOT AVAILABL