28 Infos zu Rico Zumbrunnen

Mehr erfahren über Rico Zumbrunnen

Infos zu

1 Aktuelle Nachrichten

Proof, Sep 2013, Berne, Switzerland

— ... Thomas Strahm (Bern) Thomas Studer (Bern) Jan von Plato (Helsinki) Stan Wainer (Leeds) Ihsen Yengui (Aachen) Rico Zumbrunnen (Bern) › newsit...

5 Hobbys & Interessen

Gerhard Jäger And Rico Zumbrunnen, Explicit mathematics and ...

› ZUMEMA

Kentaro Sato & Rico Zumbrunnen, A new model construction ...

› SATANM

Citations of: A new model construction by making a detour via...

Citations of Kentaro Sato & Rico Zumbrunnen, A New Model Construction by Making a Detour Via Intuitionistic Theories I: Operational Set ...

Works by Kentaro Sato - PhilPapers

Kentaro Sato & Rico Zumbrunnen (2015). A New Model Construction by Making a Detour Via Intuitionistic Theories I: Operational Set Theory Without Choice is ...

5 Bücher zum Namen

A new model construction by making a detour via intuitionistic ...

... by making a detour via intuitionistic theories I: Operational set theory without choice is Π1 -equivalent to KP ✩ SATO Kentaro ∗,1 , Rico Zumbrunnen › book

1 Dokumente

§1. Introduction. The purpose of this article is to discuss several ...

GERHARD J ¨AGER AND RICO ZUMBRUNNEN. Abstract. We discuss several ontological properties of explicit mathematics and opera- tional set theory: global choice ... › record › files

5 Wissenschaftliche Publikationen

dblp: Rico Zumbrunnen

List of computer science publications by Rico Zumbrunnen

Rico Zumbrunnen - dblp

› Persons

dblp: Annals of Pure and Applied Logic, Volume 166

Bibliographic content of Annals of Pure and Applied Logic, Volume 166

dblp: Kentaro Sato

List of computer science publications by Kentaro Sato

3 Allgemeine Veröffentlichungen

Interpretability Lower Bound of Feferman's Explici - CORE

— The author would like to express his gratitude to Rico Zumbrunnen, the co-author of the preceding paper. [37]. He would also like to thank ... › download

8 Webfunde aus dem Netz

Roman Kuznets's website - Justification Logics seminar (Spring 2010)

Rico Zumbrunnen, Semantics for justification logics: symbolic and Kripke-style models. Additional reading: Melvin Fitting. The logic of proofs, semantically ... › site › til

Rico Zumbrunnen - The Mathematics Genealogy Project

› ...

Algebraic and Logical Aspects of Knowledge Processing

Kentaro Sato and Rico Zumbrunnen. A new model construction by making a detour via intuitionistic theories I: operational set theory without choice is ... › grants › grant

A new model construction by making a detour via intuitionistic...

construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP✩ SATO Kentaro ∗,1, Rico Zumbrunnen 1 Institut für Informatik und angewandte Mathematik, Universität Bern...

Citations of: Operational set theory and small large cardinals ...

Gerhard Jäger & Rico Zumbrunnen Bulletin of Symbolic Logic 20 (3): details. We discuss several ontological properties of explicit ... › VAUOST

EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY

von G JÄGER · · Zitiert von: 6 — ... SET THEORY: SOME ONTOLOGICAL COMPARISONS. Published online by Cambridge University Press: 24 October GERHARD JÄGER and. RICO ZUMBRUNNEN. › article

§1. Introduction. The purpose of this article is to discuss several ...

GERHARD J ¨AGER AND RICO ZUMBRUNNEN. Abstract. We discuss several ontological properties of explicit mathematics and opera- tional set theory: global choice ... › services › content › view › e...

филиал РАНХиГС адаптированная для о

Gerhard Jäger and Rico Zumbrunnen. Explicit mathematics and operational set theory: some ontological comparisons // The Bulletin of Symbolic Logic. – Vol. › rpd › getrpdfile

Bedeutung zum Vornamen Rico

Männlicher Vorname (Italienisch): Rico; Althochdeutsch (Zweigliedriger Name); heima = das Heim, die Heimat, die Heimstatt; rihhi = reich, mächtig, die Macht, die Herrschaft, der Herrscher; alter deutscher zweigliedriger Name; bereits im Mittelalter einer der beliebtesten deutschen Vornamen; Name zahlreicher Herzöge, Könige und KaiserMännlicher Vorname (Spanisch): Rico; Althochdeutsch (Zweigliedriger Name); rihhi = reich, mächtig, die Macht, die Herrschaft, der Herrscher; harti = hart, stark, fest, entschlossen; alter germanischer bzw. deutscher zweigliedriger Name; berühmter Name englischer Könige im Mittelalter, z.B. Richard Löwenherz

Bedeutung zum Nachnamen Zumbrunnen

Obwohl die heutigen Zumbrunnen heute vorwiegend im Berner Oberland beheimatet sind, stammt der Name ursprünglich aus Uri. Die Namensform ist nämlich typisch urnerisch: Familiennamen mit Ze, Zem, Zum, Zur (wie Z'Graggen, Zurfluh, usw.) deuten in der Regel immer auf eine Herkunft aus der Innerschweiz. Obwohl die Zumbrunnen heute vorwiegend aus dem Kanton Bern stammen, ist es kein bernisches Geschlecht, denn alte historische Berner Werke kunden nichts von Zumbrunnen. Dagegen die der Urner und zwar schon vor der Entstehung der alten Eidgenossenschaft. Der Name ist unzweifelhaft begrenzten Ortsursprungs, also nicht vom Handwerk abgeleitet und deutet wahrscheinlich auf den Sitz der ersten Familienglieder hin. Zumbrunnen gehören zu den überhaupt ältest feststellbaren Familien der Schweiz und ihr erstes urkundliches Auftreten ist im Lande Uri. Gemäss dem Historisch-Biographischen Lexikon der Schweiz (Neuenburg: 1934), das vergriffen ist aber als das Standardwerk für die Namensforschung in der Schweiz gilt, werden im Band VII die Zumbrunnen als eine alte, angesehene Magistratenfamilie beschrieben, deren Abstammung nach älteren Geschichtsschreibern (F.V. Schmid) auf die Freiherren von Attinghausen zurück gehen soll. Die Zumbrunnen kommen anfänglich in Attinghausen, Seedorf, Isenthal und Unterschächen vor; werden aber auch in Zinsrödeln des Fraumünsters in Zürich erwähnt (Werner und Arnold 1257; Walter 1290; Konrad, Lazaritenbruder 1296; Burkhard 1296; Konrad, Abt von St. Urban 1349-1356; Heinrich, gefallen 1339 in der Schlacht von Laupen). Weitere Vertreter der Familie sind in den Jahrzeitbüchern von Seedorf und Attinghausen eingetragen. Uri war immer ein eng begrenztes Land; viele der dortigen Nachkommen sahen sich gezwungen abzuwandern. Ein wesentlicher Grund, dass die Zumbrunnen im Berner Oberland auftauchen, dürfte mit der Reformation (ab 1494) im Zusammenhang stehen. Ab dem 16. Jahrhundert brachten es die Auseinandersetzungen um den rechten Glauben mit sich, dass viele Familien die Kantone wechselten (oder wechseln mussten), weil sie sich reformierten, während man in der Zentralschweiz beim alten Glauben blieb.

Verwandte Personensuchen

Personensuche zu Rico Zumbrunnen & mehr

Die Personensuchmaschine Namenfinden.de ist die neue Personensuche für Deutschland, die Profile, Kontaktdaten, Bilder, Dokumente und Webseiten zu Rico Zumbrunnen und vielen weiteren Namen aus öffentlich zugänglichen Quellen im Internet anzeigt.