منابع مشابه
Deduction-preserving "recursive Isomorphisms" between Theories by Marian Boykan Pour-el and Saul Kripke
Introduction. In this work we discuss recursive mappings between theories which preserve deducibility, negation and implication. Roughly, we prove that any two axiomatizable theories containing a small fragment of arithmetic—this can be stated precisely—are "isomorphic" by a primitive recursive function mapping sentences onto sentences which also preserves deducibility, negation and implication...
متن کامل‘Rolling down the River’: Saul Kripke and the Course of Modal Logic
We discuss Saul Kripke’s seminal 1963 paper ’Semantical Considerations on Modal Logic’, and sketch subsequent developments in modal logic with a view to their general logical thrust.
متن کاملNaming and Necessity: Sherborn’s Context in the 19th Century
By the late 19(th) Century, storms plaguing early Victorian systematics and nomenclature seemed to have abated. Vociferous disputes over radical renaming, the world-shaking clash of all-encompassing procrustean systems, struggles over centres of authority, and the issues of language and meaning had now been settled by the institution of a stable imperial museum and its catalogues, a set of rule...
متن کاملAaron Abrams and Saul Schleimer
J. Hempel in [6] showed that the set of distances of the Heegaard splittings (S,V , hn(V)) is unbounded, as long as the stable and unstable laminations of h avoid the closure of V ⊂ PML(S). Here h is a pseudo-Anosov homeomorphism of a surface S while V is the set of isotopy classes of simple closed curves in S bounding essential disks in a fixed handlebody. With the same hypothesis we show that...
متن کامل244-247 Saul
Family Planning Perspectives In 1996, as well, the Food and Drug Administration (FDA) took significant steps toward approving the use of medical (nonsurgical) abortion in the United States, essentially by “preapproving” the use of mifepristone, popularly known as RU 486, as an abortifacient; final approval is pending information on manufacturing and labeling. In addition, FDA cleared the way fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Crítica (México D. F. En línea)
سال: 1985
ISSN: 1870-4905,0011-1503
DOI: 10.22201/iifs.18704905e.1985.564