Yuanting Chu
Yuanting Chu or Yuanding Zhu, Chinese ichthyologist (1896 – 1986) DESCRIBED PISCES TAXA Genera Atrilinea 1935 Atrobucca 1963 with Lo & Wu Herzensteinia 1935 Megalonibea 1963 with Lo & Wu Percocypris 1935 Species Apristurus gibbosus 1985 with Meng & Li Apristurus macrostomus 1985 with Meng & Li Apristurus micropterygeus 1986 with Meng & Li Apristurus sinensis 1981 with Hu Bythaelurus immaculatus 1982 with Meng Callechelys maculatus 1981 with Wu & Jin Centrophorus isodon 1981 with Meng & Liu Dasyatis laevigata 1960 Dipturus kwantungensis 1960 Fugu punctulatus 1963 with Hsu Johnius fasciatus 1963 with Lo & Wu Megalonibea fusca 1963 with Lo & Wu Neenchelys parrpectoralis 1981 with Wu & Jin Nibea semifasciata 1963 with Lo & Wu Ophichthys brevicaudatus 1981 with Wu & Jin Ophichthys fasciatus 1981 with Wu & Jin Oxyurichthys macrolepis 1963 with Wu Scartelos gigas 1963 with Wu Squalus acutirostris 1984 with Meng & Li Takifugu pseudommus 1935
Yong Chen
Yong Chen, Chinese seismologist (Chongqing, Sichuan Province 31 February 1942 – Revealed the effect of the stress path on the properties of rocks Developed the pulse-laser holographic interferometry applied to rock deformation measurements Found that the consistency of focal mechanisms of a group of earthquakes can be used to distinguish foreshocks and earthquake swarms Proposed the physical fractal method to analyse the seismic patterns His results of the thermal cracking were used in safety regulations of nuclear plants Compiled the world seismic hazard and risk map widely used
Xavier Caicedo
Xavier Caicedo Ferrer, Colombian mathematical logician (Cali, Valle del Cauca Department 03 December 1944 – Regarded as a world expert on the utilization of topological structures as models for obtaining logic theorems CONTRIBUTIONS Showed that any operation defined implicity by a system of quasi-identities in the variety of divisible relatively pseudo-complemented MV algebras is given by a term of variety With J. Iovino developed a maximality theorem that characterizes a class of [0,1](0,1]-valued logics in terms of a model-theoretic property (2014) With G. Metcalfe, R.O. Rodríguez & J. Rogger. A finite model property for Godel modal logics. Lecture Notes Comp. Science 8071:226-37, 2013 With F. Dechesne & T.M.V. Janssen presented a prenex form theorem for a version of Independence Friendly Logic (2009) With R. Cignoli showed that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives are strongly complete with respect to valuation in Heyting algebras with additional operations (2001) Enunciated the Caicedo-Krynicki prenex form theorem (1999) Exposed the principles of a logic of extended and variable structures utilizing sheaves over topological spaces as natural models (1995) Showed how Hilbert’s ε-symbol increases the expressive power of generalized quantifiers (1995) Proposed a general notion of intuitionistic sentential connective in the semantical context of Kripke models (1995) Generalized a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models (1991) Introduced a natural class of Th quantifiers which includes not only all monadic types but also all linear order quantifiers (1990) With A.M. Sette showed how the formulae of a logic are invariants under the action of given pseudogroups of partial isomorfisms (1988) Gave a simple solution to Friedman’s fourth problem (1986) Showed that “every algebra in an equationally defined class of algebras K is a subdirect product of subdirectly irreducible algebras of K” (Birkhoff theorem) is true for any class of structures (1981) Showed that monadic filter (cofilter) quantifiers are essentially the cardinal quantifiers (1981) Gave a characterization by partial isomorfisms of elementary equivalence in logics generated by arbitrary families of quantifiers (1980) A formal system for the non-theorems of the propositional calculus. Notre Dame J. Formal Logic 19:147-51, 1978
Woon Young Chun
Woon Young Chun or Huanyong Chen, Chinese botanist (Hong Kong 22 July 1890 – 18 January 1971) From Cuban mother DESCRIBED VALID GENERA/SUBGENERA Cathaya 1962 with Kuang (Pinaceae) Cathayanthe 1946 (Gesneriaceae) Malania 1980 with Lee (Olacaceae) Merrillanthus 1941 with Tsiang (Asclepiadaceae) Peiantha 1982 with Chen (Lamiaceae) Raphiocarpus 1946 (Gesneriaceae) Tengia 1946 (Gesneriaceae) Zenia 1946 (Fabaceae) Species 478 new species HONORS Chunia Chang 1948 (Hamamelidaceae) Chuniophoenix Burret 1937 (Arecaceae)
Wlandemir de Albuquerque Cavalcanti
Wlandemir de Albuquerque Cavalcanti, Brazilian mycologist and lichenologist (fl.1961) DESCRIBED VALID GENERA Fungi Acanthorus 1967 Amerodiscosiellina 1966 with Batista Batistamnus 1967 with Bezerra Bullaserpens 1965 with Batista e Bezerra Byrsomyces 1972 Ceramoclasteropsis 1962 with Batista Chaetantromycopsis 1986 with Silva e Upadhyay Characonidia 1965 with Batista Clasteropycnis 1963 with Batista Dictyophrynella 1964 with Batista Elachopeltella 1966 with Batista Elattopycnis 1963 with Batista Haplopeltheca 1963 with Batista & Bezerra Johncouchia 1983 with Hughes Mycerema 1963 with Batista & Bezerra Orthobellus 1973 with Silva Pycnodactylus 1967 with Batista & Silva Pyripnomyces 1972 Scoliotidium 1963 with Batista Scothelius 1965 with Batista & Bezerra Stomiopeltopsis 1963 with Batista Symphysos 1967 with Batista Ventrographium 1986 with Upadhyay & Silva Lichenes Lagenomyces 1972 with Silva Phaeoantenariella 1969
William Gerson Rolim de Camargo
William Gerson Rolim de Camargo, Brazilian mineralogist and crystallographer (São Paulo 25 February 1920 – São Paulo 1987) Introduced variations on a number of analytical methods With J.B. Madureira Filho. New diagrams for physical determination of garnets. An. Acad. Bras. Ciencias 48:57-8, 1976 With I.M. Souza. A new crystal habit of tourmaline. An. Acad. Bras. Ciencias 42:219-2, 1970 With J.B. Madureira & W.H. Kerth. A mathematical approach for determination of molecular composition of transparent spinels With C.R. Leite & I.M. Souza. Determinação precisa dos parâmetros unitários na câmara de precessão. An. Acad. Bras. Ciencias (1969) With J.P. Algarte. Nova tabela para a determinação dos minerais de solos por difração de raios X. Cien. Cult. 20(2):162-3, 1968 With C.R. Leite. Nova técnica para a determinação do retículo recíproco na câmara de precessão. Cien. Cul. 19:254, 1967 With A.G. Inglez. Determination of unit cell dimensions by a graphic analytical method. Ann. Meet. Am. Cryst. Assoc. (1967) With A.G. Inglez. Método gráfico-analítico para a determinação dos parâmetros da cela unitária (1966) With D. Svisero. Uma nova câmara de pó para difração de raios X. An. Acad. Bras. Ciencias 40:71-5, 1966 Variante do método de imersão para a medida dos índices de refração (1964) A modification of the Buerger powder camera. Exhibit of non-commercial apparatus (1963) Aplicações da trigonometria esférica em problema da simetria cristalográfica. Bol. Fac. Filos. Cien. Letras Universidade de São Paulo Mineralogia 13:97-105, 1955 Determinação de índices de zona no sistema hexagonal. Bol. Fac. Filos. Cien. Letras Universidade de São Paulo 163 Mineralogia 12:19-23, 1954 (described a general graphical solution of zone index determination in the hexagonal system)