67 research outputs found
Knüttelversiges Disputatorium. : Eine disharmonische Introduktions-Phantasie.
No full textHandwritten 20-page manuscript by Daniel Lessmann. Also included are a typed transcript and an explanatory letter by
H.G. Reissner.Daniel Lessmann wrote this play for his student Adolf Herz and his siblings Emmy, Toni, Luise, Jette, Emanuel, and
Betty, the children of the banker Leopold Edler von Herz, in whose house in Vienna Lessmann lived from the fall of 1817 to the spring
of 1820. The entire action takes place in Herz’s house, where the children and Lessmann himself appear, as does Ignaz v. Neuwall , who
belongs to one of nine ennobled Jewish families residing in Vienna at that time.Born in Soldin, Neumark (today Myślibórz, Poland) on January 18, 1794, Lessmann was an author who took part in the
German national uprising against Napoleonic rule. He committed suicide in Wittenberg on September 1, 1831.The original German-language inventory is available in the folde
Dependence Relation in Pregeometries
No full textABSTRACT. The aim of this paper is to set a foundation to separate geometric model theory from model theory. Our goal is to explore the possibility to extend results from geometric model theory to non first order logic (e.g. Lω1,ω). We introduce a dependence relation between subsets of a pregeometry and show that it satisfies all the formal properties that forking satisfies in simple first order theories. This happens when one is trying to lift forking to nonelementary classes, in contexts where there exists pregeometries but not necessarily a well-behaved dependence relation (see for example [HySh]). We use these to reproduce S. Buechler’s characterization of local modularity in general. These results are used by Lessmann to prove an abstract group configuration theorem in [Le2]. 1
A primer of simple theories
No full textAbstract. We present a self-contained exposition of the basic aspects of simple theories while developing the fundamentals of forking calculus. We expound also the deeper aspects of S. Shelah’s 1980 paper Simple unstable theories. The concept of weak dividing has been replaced with that of forking. The exposition is from a contemporary perspective and takes into account contributions due to S. Buechler, E. Hrushovski, B. Kim, O. Lessmann, S. Shelah and A. Pillay
Forking in pregeometries.
No full textAbstract: "The aim of this paper is to set the foundation to separate geometric model theory from model theory. Our thesis is that it is possible to lift results from geometric model theory to non first order logic (e.g. L[subscript omegaΓéü, omega]). We introduce a relation between subsets of a pregeometry and show that it satisfies all the formal properties that forking satisfies in simple first order theories. This is important when one is trying to lift forking to nonelementary classes, in contexts where there exists pregeometries but not necessarily a well-behaved dependence relation (see for example [HySh]). We use these to reproduce S. Buechler's characterization of local modularity in general. These results are used by Lessmann to prove an abstract group configuration theorem in [Le2].
Synthesis of Deployment Results (Deliverable 4.6, Univerself)
No full textProject DeliverableInternational audienceThis deliverable presents the synthesis of intermediate deployment results part of the Univerself project. Full list of authors per institution: ALBLF: Leila Bennacer, Benoit Ronot, Laurent Ciavaglia FT: Zwi Altman, Christian Destré INRIA: Remi Badonnel, Martin Barrere, Olivier Festor NEC: Johannes Lessmann, Zarrar Yousaf, Paulo Loureiro NKUA: Eleni Patouni, Vangelis Kosmatos, George Katsikas, Roi Arapoglou, Kostas Chatzikokolakis, Alex Apostolidis, Nancy Alonistioti TI: Antonio Manzalini TID: Beatriz Fuentes UNIS: Majid Ghader UPRC: Panagiotis Demestichas, Kostas Tsagkaris, Giorgios Poulios, Vasilis Foteinos, Aimilia Bantouna, Panagiotis Vlacheas, Vera Stavroulaki, Yiouli Kritikou, Dimitris Kelaidonis, Marios Logothetis, Dimitris Karvounas, Andreas Georgakopoulos, Louisa Papadopoulou, Assimina Sarli, Evangelia Tzifa UT: Ramin Sadre VTT: Teemu Rautio, Jukka Mäkelä, Petteri Mannersal
Adaptation of Learning and Operation Methods to Specific Needs of Future Networks and Services (Deliverable 3.7, Univerself)
No full textProject DeliverableInternational audienceThis deliverable describes the adaptation of learning and operation methods to specific needs of future networks and services in the context of the Univerself project. Full list of authors per institution: UniS: Stylianos Georgoulas, Majid Ghader, ALBLI: Rouzbeh Razavi, INRIA : Rémi Badonnel, Martin Barrere, Olivier Festor, FT: Zwi Altman, Richard Combes, TID: Beatriz Fuentes, Carolina García-Vázquez, UPRC: Kostas Tsagkaris, Panagiotis Demestichas, Vera Stavroulaki, Panagiotis Vlacheas, Yiouli Kritikou, Nikos Koutsouris, Aimilia Bantouna, Dimitris Karvounas, Evagelia Tzifa, Assimina Sarli, Marios Logothetis, Andreas Georgakopoulos, Louiza Papadopoulou, Vassilis Foteinos, Dimitris Kelaidonis, George Poulios, NEC: Johannes Lessmann, Zarrar Yousaf, Telecom Italia: Antonio Manzalini, Giorgio Calochira, UT: Ramin Sadre, Anna Sperotto, ALBLF: Leila Bennacer, Laurent Ciavagli
Adaptation of Learning and Operation Methods to Specific Needs of Future Networks and Services (Deliverable 3.7, Univerself)
No full textProject DeliverableInternational audienceThis deliverable describes the adaptation of learning and operation methods to specific needs of future networks and services in the context of the Univerself project. Full list of authors per institution: UniS: Stylianos Georgoulas, Majid Ghader, ALBLI: Rouzbeh Razavi, INRIA : Rémi Badonnel, Martin Barrere, Olivier Festor, FT: Zwi Altman, Richard Combes, TID: Beatriz Fuentes, Carolina García-Vázquez, UPRC: Kostas Tsagkaris, Panagiotis Demestichas, Vera Stavroulaki, Panagiotis Vlacheas, Yiouli Kritikou, Nikos Koutsouris, Aimilia Bantouna, Dimitris Karvounas, Evagelia Tzifa, Assimina Sarli, Marios Logothetis, Andreas Georgakopoulos, Louiza Papadopoulou, Vassilis Foteinos, Dimitris Kelaidonis, George Poulios, NEC: Johannes Lessmann, Zarrar Yousaf, Telecom Italia: Antonio Manzalini, Giorgio Calochira, UT: Ramin Sadre, Anna Sperotto, ALBLF: Leila Bennacer, Laurent Ciavagli
Synthesis of Deployment Results (Deliverable 4.6, Univerself)
No full textProject DeliverableInternational audienceThis deliverable presents the synthesis of intermediate deployment results part of the Univerself project. Full list of authors per institution: ALBLF: Leila Bennacer, Benoit Ronot, Laurent Ciavaglia FT: Zwi Altman, Christian Destré INRIA: Remi Badonnel, Martin Barrere, Olivier Festor NEC: Johannes Lessmann, Zarrar Yousaf, Paulo Loureiro NKUA: Eleni Patouni, Vangelis Kosmatos, George Katsikas, Roi Arapoglou, Kostas Chatzikokolakis, Alex Apostolidis, Nancy Alonistioti TI: Antonio Manzalini TID: Beatriz Fuentes UNIS: Majid Ghader UPRC: Panagiotis Demestichas, Kostas Tsagkaris, Giorgios Poulios, Vasilis Foteinos, Aimilia Bantouna, Panagiotis Vlacheas, Vera Stavroulaki, Yiouli Kritikou, Dimitris Kelaidonis, Marios Logothetis, Dimitris Karvounas, Andreas Georgakopoulos, Louisa Papadopoulou, Assimina Sarli, Evangelia Tzifa UT: Ramin Sadre VTT: Teemu Rautio, Jukka Mäkelä, Petteri Mannersal
Ranks and pregeometries in finite diagrams
No full textAbstractThe study of classes of models of a finite diagram was initiated by S. Shelah in 1969. A diagram D is a set of types over the empty set, and the class of models of the diagram D consists of the models of T which omit all the types not in D. In this work, we introduce a natural dependence relation on the subsets of the models for the ℵ0-stable case which share many of the formal properties of forking. This is achieved by considering a rank for this framework which is bounded when the diagram D is ℵ0-stable. We can also obtain pregeometries with respect to this dependence relation. The dependence relation is the natural one induced by the rank, and the pregeometries exist on the set of realizations of types of minimal rank. Finally, these concepts are used to generalize many of the classical results for models of a totally transcendental first-order theory. In fact, strong analogies arise: models are determined by their pregeometries or their relationship with their pregeometries; however the proofs are different, as we do not have compactness. This is illustrated with positive results (categoricity) as well as negative results (construction of nonisomorphic models). We also give a proof of a Two Cardinal Theorem for this context
Synthesis of Use Case Requirements R2 (Deliverable 4.6, Univerself)
No full textProject DeliverableInternational audienceThis deliverable provides a consolidated synthesis of the requirements related to the use cases defined in the Univerself project. Full list of authors per institution : TIS, Antonio Manzalini (Editor) ALBLF, Leila Bennacer, Laurent Ciavaglia, Samir Ghamri-Doudane, Pierre Peloso, Benoit Ronot ALUD, Markus Gruber TCS, Mathieu Bouet and Gerard Nguengang NEC, Johannes Lessmann and Zarrar Yousaf FT, Christian Destré, Imen Grida Ben Yahia, Zwi Altman TID, Beatriz Fuentes IBBT, Sander Spek, Vânia Gonçalves and Simon Delaere INRIA, Olivier Festor and Remi Badonnel VTT, Teemu Rautio and Jukka Mäkelä UCL, Alex Galis, Stuart Clayman UniS, Stylianos Georgoulas UT, Ramin Sadre, Ricardo Schmidt and Anna Sperotto NKUA, Nancy Alonistioti, Eleni Patouni, George Katsikas, Panagiotis Spapis, Apostolis Kousaridas, Konstantinos Chatzikokolakis, Vagelis Kosmatos and Evangelos Rekkas UPRC, Panagiotis Demestichas, Kostas Tsagkaris, Andreas Georgakopoulos, Vaggelis Thomatos, Dimitrios Karvounas, Nikolaos Koutsouris, Asimina Sarli, Panagiotis Vlachea
- …
