Hind- and Midfoot Motion After Ankle Arthrodesis

Autor: S. Engelen, Quirine E. Wajer, Han Houdijk, C. Niek van Dijk, Kees Doets, Roel P. M. Hendrickx, Laurens W. van der Plaat

Publikováno v: Foot and Ankle International, 36(12), 1430-1437. AOFAS-American Orthopaedic Foot and Ankle Society
van der Plaat, L W, van Engelen, S J P M, Wajer, Q E, hendrickx, R P, Doets, H C, Houdijk, J H P & van Dijk, C N 2015, ' Hind-and Midfoot Motion After Ankle Arthrodesis. ', Foot and Ankle International, vol. 36, no. 12, pp. 1430-1437 . https://doi.org/10.1177/1071100715593913
Foot & ankle international / American Orthopaedic Foot and Ankle Society [and] Swiss Foot and Ankle Society, 36(12), 1430-1437. AOFAS-American Orthopaedic Foot and Ankle Society

Background: After ankle arthrodesis (AA), compensatory increased range of motion in adjacent joints might lead to increased osteoarthritis. Evaluation of patient-reported outcomes after AA with validated questionnaires is rare. Likewise, reliable rad

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6fc8c5d63211f46c241025f7a3dee727
https://pubmed.ncbi.nlm.nih.gov/26160385

Structures and Norms in Science : Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Autor: Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem

This book gives a state-of-the-art survey of current research in logic and philosophy of science, as viewed by invited speakers selected by the most prestigious international organization in the field. In particular, it gives a coherent picture of fo

Relatives of the Russell Paradox

Autor: Kees Doets

Publikováno v: Mathematical Logic Quarterly, 45(1), 73-83. Wiley-VCH Verlag

A formula ϕ(x) in the one non-logical symbol ϵ with one free variable x is Russell if the sentence Vχ(χ ϵ τ ⟷ Φ (χ)) is logically valid. This note describes a pattern common to the classical examples of Russell formulas, adds a couple of ne

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c4e3c59ccb16f2ce145a66704eba52a
https://doi.org/10.1002/malq.19990450107

A slight strengthening of a theorem of Blair and Kunen

Autor: Kees Doets

Publikováno v: Theoretical Computer Science. 97(1):175-181

The theorem alluded to in the title says that the greatest fixed point of the consequence operator associated with a definite logic program can be Σ 1 1 -complete. This result is slightly refined, employing a notion of co-computability. The main lem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9e38695862976014a048f544f53be67

Higher-Order Logic

Autor: Kees Doets, Johan van Benthem

Publikováno v: Handbook of Philosophical Logic ISBN: 9789048157174
Handbook of Philosophical Logic ISBN: 9789400970687

What is nowadays the central part of any introduction to logic, and indeed to some the logical theory par excellence, used to be a modest fragment of the more ambitious language employed in the logicist program of Frege and Russell. ‘Elementary’

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49e39c8edd79e1f186ba71ed083cd8dc
https://doi.org/10.1007/978-94-015-9833-0_3