33 resultados para Bernays, JacobBernays, JacobJacobBernays


Relevância:

100.00% 100.00%

Publicador:

Resumo:

... Jitzḥak B. ... Jaakov Bernaim

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis consists of two independent chapters. The first chapter deals with universal algebra. It is shown, in von Neumann-Bernays-Gӧdel set theory, that free images of partial algebras exist in arbitrary varieties. It follows from this, as set-complete Boolean algebras form a variety, that there exist free set-complete Boolean algebras on any class of generators. This appears to contradict a well-known result of A. Hales and H. Gaifman, stating that there is no complete Boolean algebra on any infinite set of generators. However, it does not, as the algebras constructed in this chapter are allowed to be proper classes. The second chapter deals with positive elementary inductions. It is shown that, in any reasonable structure ᶆ, the inductive closure ordinal of ᶆ is admissible, by showing it is equal to an ordinal measuring the saturation of ᶆ. This is also used to show that non-recursively saturated models of the theories ACF, RCF, and DCF have inductive closure ordinals greater than ω.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Michael Fraenkel

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Hans Bach

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Cover title.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The distribution of a freshwater species is often dependent on its ability to disperse within the riverine system. Species with high dispersal abilities tend to be widespread, whereas those with restricted dispersal tend to be geographically restricted and are usually given higher conservation priority. Population structure was compared between a widespread freshwater prawn species, Macrobrachium australiense, and a narrow-range endemic freshwater prawn, Macrobrachium koombooloomba. The distribution of M. australiense and M. koombooloomba did not overlap, although suggested historical river-boundary rearrangements indicate that there has been the potential for dispersal into neighbouring catchments. A fragment of the mtDNA CO1 gene was analysed and a Mantel test revealed a significant isolation by distance effect for both species. Significant overall FST values confirmed that both species exhibited low levels of dispersal, a prediction for populations inhabiting a fragmented upland environment. The level of structure in M. australiense is surprising for a widely distributed species. Not all M. australiense populations conformed to the stream-hierarchy model, with results being best explained by historical river realignment or cross-catchment dispersal. The fact that both species show limited dispersal highlights the importance of conservation in highland areas for both endemic and widely spread species.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The memoir was written between 1899 and 1918. Family history going back to the early 18th century. Recollection of the author's childhood in Hildesheim. Moritz was the youngest child of Joseph and Bena Guedemann. Early death of his father in 1847. Moritz attended the Jewish elementary school prior to the age of five. In 1843 he was enrolled in the episcopal "Josephinum Gymnasium", where he was the only Jewish student in the entire school. He had friendly relationships with students and teachers and was not confronted with antisemitism during his school years. Moritz Guedemann graduated in 1853 and enrolled in the newly established Jewish Theological Seminary in Breslau. Description of teachers and colleagues in the seminary. Doctorate in 1858 and continuation of rabbinic studies. Occasional invitation to preach at the high holidays in Berlin, where Moritz got acquainted with the famous rabbi Dr. Michael Sachs. Position as a rabbi in Magdeburg in 1862. Small publications of studies in Jewish history. Engagement with Fanny Spiegel. In 1863 Moritz and Fanny Guedemann got married. Offer to succeed rabbi Michael Sachs in Berlin. Division and intrigues in the Jewish community and withdrawing from the position. Invitation to give a sermon in Vienna. In 1866 Moritz Guedemann was nominated to succeed rabbi Mannheimer at the Leopoldstadt synagogue in Vienna. Austro-Prussian war and defeat of Austria in Koeniggraetz. Initial difficulties and cultural differences. Criticism toward his orthodox conduct in the Vienna Jewish press ("Neuzeit"). Cultural life in Vienna. Welfare institutions and philanthropists. Difference within the Jewish community. Crash of the stock exchange and rise of antisemitism. Publication of sermons and studies in Jewish history. In 1891 Max Guedemann became chief rabbi of Vienna. Speeches against antisemitism and blood libel trials. He was awarded with the title "Ritter" of the Kaiser Franz Joseph order for these achievements. Death of his wife in

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This monograph describes the emergence of independent research on logic in Finland. The emphasis is placed on three well-known students of Eino Kaila: Georg Henrik von Wright (1916-2003), Erik Stenius (1911-1990), and Oiva Ketonen (1913-2000), and their research between the early 1930s and the early 1950s. The early academic work of these scholars laid the foundations for today's strong tradition in logic in Finland and also became internationally recognized. However, due attention has not been given to these works later, nor have they been comprehensively presented together. Each chapter of the book focuses on the life and work of one of Kaila's aforementioned students, with a fourth chapter discussing works on logic by authors who would later become known within other disciplines. Through an extensive use of correspondence and other archived material, some insight has been gained into the persons behind the academic personae. Unique and unpublished biographical material has been available for this task. The chapter on Oiva Ketonen focuses primarily on his work on what is today known as proof theory, especially on his proof theoretical system with invertible rules that permits a terminating root-first proof search. The independency of the parallel postulate is proved as an example of the strength of root-first proof search. Ketonen was to our knowledge Gerhard Gentzen's (the 'father' of proof theory) only student. Correspondence and a hitherto unavailable autobiographic manuscript, in addition to an unpublished article on the relationship between logic and epistemology, is presented. The chapter on Erik Stenius discusses his work on paradoxes and set theory, more specifically on how a rigid theory of definitions is employed to avoid these paradoxes. A presentation by Paul Bernays on Stenius' attempt at a proof of the consistency of arithmetic is reconstructed based on Bernays' lecture notes. Stenius correspondence with Paul Bernays, Evert Beth, and Georg Kreisel is discussed. The chapter on Georg Henrik von Wright presents his early work on probability and epistemology, along with his later work on modal logic that made him internationally famous. Correspondence from various archives (especially with Kaila and Charlie Dunbar Broad) further discusses his academic achievements and his experiences during the challenging circumstances of the 1940s.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Embora algumas posições filosóficas de Gödel sejam bem conhecidas,como o platonismo, a sua teoria do conhecimento é, em comparação, menos divulgada. A partir do «Problema da Evidência» de Hilbert-Bernays, I, pg. 20 seq., apresento a seguir os traços essenciais da posição de Gödel sobre a caracterização epistemológica da evidência finitista, com especial relevo para a história dos conceitos utilizados.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (http://www.bib.umontreal.ca/MU).