Please wait ... |

You can add new groups to both the including and the excluding part by using the buttons "OR" or "NOT" respectively, and you can add more search options to all groups through the drop down menu on the last row (in each group).

For a result to be included in the search result, is it required to fit all added including parameters (in at least one group) and not fit all parameters in one of the excluding groups.

This system with the two main parts and their groups makes it possible to combine two (or more) distinct searches into one search result, while being flexible in removing results from the final list.

- Category(id) AX
$(function(){PrimeFaces.cw("AutoComplete","widget_formSmash_advancedQuery_j_idt978_qBlock_0_questions_0_adSearchSubject",{id:"formSmash:advancedQuery:j_idt978:qBlock:0:questions:0:adSearchSubject",widgetVar:"widget_formSmash_advancedQuery_j_idt978_qBlock_0_questions_0_adSearchSubject",delay:600,forceSelection:true});}); Browse

$(function(){PrimeFaces.cw("DataList","widget_formSmash_advancedQuery_j_idt978_qBlock_0_questions",{id:"formSmash:advancedQuery:j_idt978:qBlock:0:questions",widgetVar:"widget_formSmash_advancedQuery_j_idt978_qBlock_0_questions"});}); $(function(){PrimeFaces.cw("AutoComplete","widget_formSmash_advancedQuery_j_idt978_qBlock_0_addAutoLastRow",{id:"formSmash:advancedQuery:j_idt978:qBlock:0:addAutoLastRow",widgetVar:"widget_formSmash_advancedQuery_j_idt978_qBlock_0_addAutoLastRow",minLength:0,delay:300,forceSelection:true,scrollHeight:200,behaviors:{itemSelect:function(ext) {PrimeFaces.ab({s:"formSmash:advancedQuery:j_idt978:qBlock:0:addAutoLastRow",e:"itemSelect",f:"formSmash",p:"formSmash",u:"formSmash"},ext);}}});}); $(function(){PrimeFaces.cw("Watermark","widget_formSmash_advancedQuery_j_idt978_qBlock_0_j_idt1133",{id:"formSmash:advancedQuery:j_idt978:qBlock:0:j_idt1133",widgetVar:"widget_formSmash_advancedQuery_j_idt978_qBlock_0_j_idt1133",value:"- AND -",target:"formSmash:advancedQuery:j_idt978:qBlock:0:addAutoLastRow"},"watermark");});

$(function(){PrimeFaces.cw("AutoComplete","widget_formSmash_advancedQuery2_j_idt1309_qBlock_0_addAutoLastRow",{id:"formSmash:advancedQuery2:j_idt1309:qBlock:0:addAutoLastRow",widgetVar:"widget_formSmash_advancedQuery2_j_idt1309_qBlock_0_addAutoLastRow",minLength:0,delay:300,forceSelection:true,scrollHeight:200,behaviors:{itemSelect:function(ext) {PrimeFaces.ab({s:"formSmash:advancedQuery2:j_idt1309:qBlock:0:addAutoLastRow",e:"itemSelect",f:"formSmash",p:"formSmash",u:"formSmash"},ext);}}});}); $(function(){PrimeFaces.cw("Watermark","widget_formSmash_advancedQuery2_j_idt1309_qBlock_0_j_idt1464",{id:"formSmash:advancedQuery2:j_idt1309:qBlock:0:j_idt1464",widgetVar:"widget_formSmash_advancedQuery2_j_idt1309_qBlock_0_j_idt1464",value:"- Add search term -",target:"formSmash:advancedQuery2:j_idt1309:qBlock:0:addAutoLastRow"},"watermark");});

- Blekinge Institute of Technology
- Dalarna University
- Ersta Sköndal University College
- Halmstad University
- Institute for Language and Folklore
- Jönköping University
- Karlstad University
- Kristianstad University
- KTH
- Linköping University
- Linnaeus University
- Luleå University of Technology
- Mid Sweden University
- Mälardalen University
- Nationalmuseum
- Nordic Council of Ministers
- Norwegian University of Science and Technology
- RISE - Research Institutes of Sweden
- Royal College of Music in Stockholm
- Royal Institute of Art
- SMHI
- Sophiahemmet University
- Stockholm School of Economics
- Stockholm School of Theology
- Stockholm University of the Arts
- Stockholm University
- Swedish Defence Materiel Administration
- Swedish Defence University
- Swedish Environmental Protection Agency
- Swedish Geotechnical Institute
- Swedish Museum of Natural History
- Swedish National Archives
- Swedish National Road and Transport Research Institute
- Swedish Polar Research Secretariat
- Swedish School of Sport and Health Sciences, GIH
- Södertörn University
- The Nordic Africa Institute
- The Nordic Museum
- The Swedish Red Cross University College
- Umeå University
- University College of Arts, Crafts and Design
- University of Borås
- University of Gävle
- University of Skövde
- University West
- Uppsala University
- Örebro University

Show subjects that no longer are in use
$(function(){PrimeFaces.cw("VerticalTree","widget_formSmash_j_idt1641_subjectTree",{id:"formSmash:j_idt1641:subjectTree",widgetVar:"widget_formSmash_j_idt1641_subjectTree",dynamic:false,cache:false,selectionMode:"single",propagateUp:true,propagateDown:true,iconStates:{},behaviors:{select:function(ext) {PrimeFaces.ab({s:"formSmash:j_idt1641:subjectTree",e:"select",f:"formSmash",p:"formSmash:j_idt1641:subjectTree",onco:function(xhr,status,args){PF('subjectPopup').hide();}},ext);}}});});

- Agricultural and Veterinary sciences
- Agricultural Biotechnology
- Genetics and Breeding in Agricultural Sciences
- Plant Biotechnology

- Genetics and Breeding in Agricultural Sciences
- Agricultural Science, Forestry and Fisheries
- Agricultural Science
- Fish and Aquacultural Science
- Food Science
- Forest Science
- Horticulture
- Landscape Architecture
- Soil Science
- Wood Science

- Agricultural Science
- Animal and Dairy Science
- Other Agricultural Sciences
- Agricultural Occupational Health and Safety
- Environmental Sciences related to Agriculture and Land-use
- Fish and Wildlife Management
- Other Agricultural Sciences not elsewhere specified
- Renewable Bioenergy Research

- Agricultural Occupational Health and Safety
- Veterinary Science
- Clinical Science
- Medical Bioscience
- Other Veterinary Science
- Pathobiology

- Clinical Science

- Agricultural Biotechnology
- Engineering and Technology
- Chemical Engineering
- Chemical Process Engineering
- Corrosion Engineering
- Other Chemical Engineering
- Pharmaceutical Chemistry
- Polymer Technologies

- Chemical Process Engineering
- Civil Engineering
- Architectural Engineering
- Building Technologies
- Construction Management
- Environmental Analysis and Construction Information Technology
- Geotechnical Engineering
- Infrastructure Engineering
- Other Civil Engineering
- Transport Systems and Logistics
- Water Engineering

- Architectural Engineering
- Electrical Engineering, Electronic Engineering, Information Engineering
- Communication Systems
- Computer Systems
- Control Engineering
- Embedded Systems
- Other Electrical Engineering, Electronic Engineering, Information Engineering
- Robotics
- Signal Processing
- Telecommunications

- Communication Systems
- Environmental Biotechnology
- Bioethics
- Bioremediation
- Diagnostic Biotechnology
- Other Environmental Biotechnology
- Water Treatment

- Bioethics
- Environmental Engineering
- Energy Systems
- Environmental Management
- Geophysical Engineering
- Marine Engineering
- Mineral and Mine Engineering
- Ocean and River Engineering
- Other Environmental Engineering
- Remote Sensing

- Energy Systems
- Industrial Biotechnology
- Bio Materials
- Biocatalysis and Enzyme Technology
- Biochemicals
- Bioenergy
- Bioengineering Equipment
- Bioprocess Technology
- Medical Biotechnology
- Other Industrial Biotechnology
- Pharmaceutical Biotechnology

- Bio Materials
- Materials Engineering
- Ceramics
- Composite Science and Engineering
- Manufacturing, Surface and Joining Technology
- Metallurgy and Metallic Materials
- Other Materials Engineering
- Paper, Pulp and Fiber Technology
- Textile, Rubber and Polymeric Materials

- Ceramics
- Mechanical Engineering
- Aerospace Engineering
- Applied Mechanics
- Energy Engineering
- Fluid Mechanics and Acoustics
- Other Mechanical Engineering
- Production Engineering, Human Work Science and Ergonomics
- Reliability and Maintenance
- Tribology (Interacting Surfaces including Friction, Lubrication and Wear)
- Vehicle Engineering

- Aerospace Engineering
- Medical Engineering
- Medical Equipment Engineering
- Medical Ergonomics
- Medical Image Processing
- Medical Laboratory and Measurements Technologies
- Medical Materials
- Other Medical Engineering

- Medical Equipment Engineering
- Nano Technology
- Other Engineering and Technologies
- Food Engineering
- Interaction Technologies
- Media Engineering
- Other Engineering and Technologies not elsewhere specified

- Food Engineering

- Chemical Engineering
- Humanities and the Arts
- Arts
- Architecture
- Art History
- Design
- Literary Composition
- Music
- Musicology
- Performing Art Studies
- Performing Arts
- Studies on Film
- Visual Arts

- Architecture
- History and Archaeology
- Archaeology
- History of Technology
- History

- Archaeology
- Languages and Literature
- General Language Studies and Linguistics
- General Literature Studies
- Specific Languages
- Specific Literatures

- General Language Studies and Linguistics
- Other Humanities
- Classical Archaeology and Ancient History
- Cultural Studies
- Ethnology
- Other Humanities not elsewhere specified

- Classical Archaeology and Ancient History
- Philosophy, Ethics and Religion
- Ethics
- History of Ideas
- History of Religions
- Philosophy
- Religious Studies

- Ethics

- Arts
- Medical and Health Sciences
- Basic Medicine
- Cell and Molecular Biology
- Immunology in the medical area
- Medical Genetics
- Medicinal Chemistry
- Microbiology in the medical area
- Neurosciences
- Other Basic Medicine
- Pharmaceutical Sciences
- Pharmacology and Toxicology
- Physiology
- Social and Clinical Pharmacy

- Cell and Molecular Biology
- Clinical Medicine
- Anesthesiology and Intensive Care
- Cancer and Oncology
- Cardiac and Cardiovascular Systems
- Clinical Laboratory Medicine
- Dentistry
- Dermatology and Venereal Diseases
- Endocrinology and Diabetes
- Gastroenterology and Hepatology
- General Practice
- Geriatrics
- Hematology
- Infectious Medicine
- Neurology
- Obstetrics, Gynecology and Reproductive Medicine
- Ophthalmology
- Orthopaedics
- Other Clinical Medicine
- Otorhinolaryngology
- Pediatrics
- Psychiatry
- Radiology, Nuclear Medicine and Medical Imaging
- Respiratory Medicine and Allergy
- Rheumatology and Autoimmunity
- Surgery
- Urology and Nephrology

- Anesthesiology and Intensive Care
- Health Sciences
- Health Care Service and Management, Health Policy and Services and Health Economy
- Medical Ethics
- Nursing
- Nutrition and Dietetics
- Occupational Health and Environmental Health
- Occupational Therapy
- Other Health Sciences
- Physiotherapy
- Public Health, Global Health, Social Medicine and Epidemiology
- Sport and Fitness Sciences
- Substance Abuse

- Health Care Service and Management, Health Policy and Services and Health Economy
- Medical Biotechnology
- Biomaterials Science
- Biomedical Laboratory Science/Technology
- Medical Biotechnology (with a focus on Cell Biology (including Stem Cell Biology), Molecular Biology, Microbiology, Biochemistry or Biopharmacy)
- Other Medical Biotechnology

- Biomaterials Science
- Other Medical Sciences
- Forensic Science
- Gerontology, specialising in Medical and Health Sciences
- Other Medical Sciences not elsewhere specified

- Forensic Science

- Basic Medicine
- Natural Sciences
- Biological Sciences
- Behavioral Sciences Biology
- Biochemistry and Molecular Biology
- Bioinformatics and Systems Biology
- Biological Systematics
- Biophysics
- Botany
- Cell Biology
- Developmental Biology
- Ecology
- Evolutionary Biology
- Genetics
- Immunology
- Microbiology
- Other Biological Topics
- Structural Biology
- Zoology

- Behavioral Sciences Biology
- Chemical Sciences
- Analytical Chemistry
- Inorganic Chemistry
- Materials Chemistry
- Organic Chemistry
- Other Chemistry Topics
- Physical Chemistry
- Polymer Chemistry
- Theoretical Chemistry

- Analytical Chemistry
- Computer and Information Sciences
- Bioinformatics (Computational Biology)
- Computer Engineering
- Computer Sciences
- Computer Vision and Robotics (Autonomous Systems)
- Human Computer Interaction
- Information Systems
- Language Technology (Computational Linguistics)
- Media and Communication Technology
- Other Computer and Information Science
- Software Engineering

- Bioinformatics (Computational Biology)
- Earth and Related Environmental Sciences
- Climate Research
- Environmental Sciences
- Geochemistry
- Geology
- Geophysics
- Geosciences, Multidisciplinary
- Meteorology and Atmospheric Sciences
- Oceanography, Hydrology and Water Resources
- Other Earth and Related Environmental Sciences
- Physical Geography

- Climate Research
- Mathematics
- Algebra and Logic
- Computational Mathematics
- Discrete Mathematics
- Geometry
- Mathematical Analysis
- Other Mathematics
- Probability Theory and Statistics

- Algebra and Logic
- Other Natural Sciences
- Physical Sciences
- Accelerator Physics and Instrumentation
- Astronomy, Astrophysics and Cosmology
- Atom and Molecular Physics and Optics
- Condensed Matter Physics
- Fusion, Plasma and Space Physics
- Other Physics Topics
- Subatomic Physics

- Accelerator Physics and Instrumentation

- Biological Sciences
- Social Sciences
- Economics and Business
- Business Administration
- Economic History
- Economics

- Business Administration
- Educational Sciences
- Didactics
- Learning
- Pedagogical Work
- Pedagogy

- Didactics
- Law
- Law (excluding Law and Society)
- Law and Society

- Law (excluding Law and Society)
- Media and Communications
- Communication Studies
- Human Aspects of ICT
- Information Studies
- Information Systems, Social aspects
- Media Studies

- Communication Studies
- Other Social Sciences
- Gender Studies
- International Migration and Ethnic Relations
- Other Social Sciences not elsewhere specified
- Social Sciences Interdisciplinary
- Work Sciences

- Gender Studies
- Political Science
- Globalisation Studies
- Political Science (excluding Public Administration Studies and Globalisation Studies)
- Public Administration Studies

- Globalisation Studies
- Psychology
- Applied Psychology
- Psychology (excluding Applied Psychology)

- Applied Psychology
- Social and Economic Geography
- Economic Geography
- Human Geography

- Economic Geography
- Sociology
- Social Anthropology
- Social Psychology
- Social Work
- Sociology (excluding Social Work, Social Psychology and Social Anthropology)

- Social Anthropology

- Economics and Business

Show research subjects that no longer are in use
$(function(){PrimeFaces.cw("VerticalTree","widget_formSmash_j_idt1648_researchSubjectTree",{id:"formSmash:j_idt1648:researchSubjectTree",widgetVar:"widget_formSmash_j_idt1648_researchSubjectTree",dynamic:false,cache:false,selectionMode:"single",propagateUp:true,propagateDown:true,iconStates:{},behaviors:{select:function(ext) {PrimeFaces.ab({s:"formSmash:j_idt1648:researchSubjectTree",e:"select",f:"formSmash",p:"formSmash:j_idt1648:researchSubjectTree",onco:function(xhr,status,args){PF('researchSubjectPopup').hide();}},ext);}}});});

Show educational programs that no longer are in use
$(function(){PrimeFaces.cw("VerticalTree","widget_formSmash_j_idt1655_educationalProgramTree",{id:"formSmash:j_idt1655:educationalProgramTree",widgetVar:"widget_formSmash_j_idt1655_educationalProgramTree",dynamic:false,cache:false,selectionMode:"single",propagateUp:true,propagateDown:true,iconStates:{},behaviors:{select:function(ext) {PrimeFaces.ab({s:"formSmash:j_idt1655:educationalProgramTree",e:"select",f:"formSmash",p:"formSmash:j_idt1655:educationalProgramTree",onco:function(xhr,status,args){PF('educationalProgramPopup').hide();}},ext);}}});});

Refine search result

CiteExportLink to result list
http://www.diva-portal.org/smash/resultList.jsf?query=&language=en&searchType=SUBJECT&noOfRows=50&sortOrder=author_sort_asc&sortOrder2=title_sort_asc&onlyFullText=false&sf=all&aq=%5B%5B%7B%22categoryId%22%3A%2211504%22%7D%5D%5D&aqe=%5B%5D&aq2=%5B%5B%5D%5D&af=%5B%5D $(function(){PrimeFaces.cw("InputTextarea","widget_formSmash_upper_j_idt484_recordPermLink",{id:"formSmash:upper:j_idt484:recordPermLink",widgetVar:"widget_formSmash_upper_j_idt484_recordPermLink",autoResize:true});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_upper_j_idt484_j_idt486",{id:"formSmash:upper:j_idt484:j_idt486",widgetVar:"widget_formSmash_upper_j_idt484_j_idt486",target:"formSmash:upper:j_idt484:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});

Permanent link

Cite

Citation styleapa ieee modern-language-association-8th-edition vancouver Other style $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_upper_j_idt502",{id:"formSmash:upper:j_idt502",widgetVar:"widget_formSmash_upper_j_idt502",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:upper:j_idt502",e:"change",f:"formSmash",p:"formSmash:upper:j_idt502",u:"formSmash:upper:otherStyle"},ext);}}});});

- apa
- ieee
- modern-language-association-8th-edition
- vancouver
- Other style

Languagede-DE en-GB en-US fi-FI nn-NO nn-NB sv-SE Other locale $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_upper_j_idt513",{id:"formSmash:upper:j_idt513",widgetVar:"widget_formSmash_upper_j_idt513",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:upper:j_idt513",e:"change",f:"formSmash",p:"formSmash:upper:j_idt513",u:"formSmash:upper:otherLanguage"},ext);}}});});

- de-DE
- en-GB
- en-US
- fi-FI
- nn-NO
- nn-NB
- sv-SE
- Other locale

Output formathtml text asciidoc rtf $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_upper_j_idt523",{id:"formSmash:upper:j_idt523",widgetVar:"widget_formSmash_upper_j_idt523"});});

- html
- text
- asciidoc
- rtf

Rows per page

- 5
- 10
- 20
- 50
- 100
- 250

Sort

- Standard (Relevance)
- Author A-Ö
- Author Ö-A
- Title A-Ö
- Title Ö-A
- Publication type A-Ö
- Publication type Ö-A
- Issued (Oldest first)
- Issued (Newest first)
- Created (Oldest first)
- Created (Newest first)
- Last updated (Oldest first)
- Last updated (Newest first)

- Standard (Relevance)
- Author A-Ö
- Author Ö-A
- Title A-Ö
- Title Ö-A
- Publication type A-Ö
- Publication type Ö-A
- Issued (Oldest first)
- Issued (Newest first)
- Created (Oldest first)
- Created (Newest first)
- Last updated (Oldest first)
- Last updated (Newest first)

Select

The maximal number of hits you can export is 250. When you want to export more records please use the 'Create feeds' function.

1. Abrahamsson, Olle PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_0_j_idt585",{id:"formSmash:items:resultList:0:j_idt585",widgetVar:"widget_formSmash_items_resultList_0_j_idt585",onLabel:"Abrahamsson, Olle ",offLabel:"Abrahamsson, Olle ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Linköping University, Department of Mathematics, Mathematics and Applied Mathematics. Linköping University, Faculty of Science & Engineering.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:0:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:0:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); A Gröbner basis algorithm for fast encoding of Reed-Müller codes2016Independent thesis Basic level (degree of Bachelor), 10,5 credits / 16 HE creditsStudent thesisAbstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_0_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:0:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_0_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); In this thesis the relationship between Gröbner bases and algebraic coding theory is investigated, and especially applications towards linear codes, with Reed-Müller codes as an illustrative example. We prove that each linear code can be described as a binomial ideal of a polynomial ring, and that a systematic encoding algorithm for such codes is given by the remainder of the information word computed with respect to the reduced Gröbner basis. Finally we show how to apply the representation of a code by its corresponding polynomial ring ideal to construct a class of codes containing the so called primitive Reed-Müller codes, with a few examples of this result.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:0:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 2. Abramov, V. et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_1_j_idt588",{id:"formSmash:items:resultList:1:j_idt588",widgetVar:"widget_formSmash_items_resultList_1_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:1:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Paal, E.Tallinn University of Technology.Silvestrov, Sergei D.Mälardalen University, School of Education, Culture and Communication, Educational Sciences and Mathematics.Stolin, A.Chalmers University of Techology.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:1:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Proceedings of the 3rd Baltic-Nordic Workshop “Algebra, Geometry, and Mathematical Physics”2008Conference proceedings (editor) (Refereed)3. Abramsson, Matilda PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_2_j_idt585",{id:"formSmash:items:resultList:2:j_idt585",widgetVar:"widget_formSmash_items_resultList_2_j_idt585",onLabel:"Abramsson, Matilda ",offLabel:"Abramsson, Matilda ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Jönköping University, School of Education and Communication, HLK, School Based Research, Mathematics Education Research.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:2:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:2:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Elevers förståelse av likhetstecknet: En studie i årskurs 32016Independent thesis Advanced level (professional degree), 10 credits / 15 HE creditsStudent thesisAbstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_2_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:2:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_2_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); The aim of the study is to explore the understanding of the equal sign and how the teaching about the equal sign among third grade students can be varied to be as effective as possible. The aim will be answered trough the questions: what patterns of variation can the studied students meet and what critical aspects have the students identified. Patterns of variation means that what is critical in the teaching should be varied to become visible. Critical aspects is what students need to identify to understand what should be learned. The foundation of the study is the Variation Theory, where patterns of variation and critical aspects are central concepts.

The observations were accomplished during a third grade lesson and six students were selected for interviews about the equal sign. The result of the study shows that the students met six critical aspects during the lesson. For every critical aspect there were one or several patterns of variation that was exposed to the students. The result also states that the students who were interviewed have a relational and instrumental understanding of the equal sign. The students also have understanding of a critical aspect that they did not meet in the observed lesson, namely that all numbers have to enter in a task. Four out of six students have understanding of the critical aspect that there should be equivalence in a chain of similarities. The result also show that the students understanding of the equal sign is not dependent of that they meet patterns of variation in the teaching, but that they meet the critical aspects somehow.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:2:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 4. Aceto, Luca et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_3_j_idt588",{id:"formSmash:items:resultList:3:j_idt588",widgetVar:"widget_formSmash_items_resultList_3_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:3:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Della Monica, DarioGoranko, ValentinStockholm University, Faculty of Humanities, Department of Philosophy. University of Johannesburg, South Africa.Ingólfsdóttir, AnnaMontanari, AngeloSciavicco, GuidoPrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:3:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases2016In: Acta Informatica, ISSN 0001-5903, E-ISSN 1432-0525, Vol. 53, no 3, 207-246 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_3_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:3:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_3_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Interval temporal logics take time intervals, instead of time points, as their primitive temporal entities. One of the most studied interval temporal logics is Halpern and Shoham’s modal logic of time intervals HS, which associates a modal operator with each binary relation between intervals over a linear order (the so-called Allen’s interval relations). In this paper, we compare and classify the expressiveness of all fragments of HS on the class of all linear orders and on the subclass of all dense linear orders. For each of these classes, we identify a complete set of definabilities between HS modalities, valid in that class, thus obtaining a complete classification of the family of all 4096 fragments of HS with respect to their expressiveness. We show that on the class of all linear orders there are exactly 1347 expressively different fragments of HS, while on the class of dense linear orders there are exactly 966 such expressively different fragments.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:3:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 5. Aczel, Peter et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_4_j_idt588",{id:"formSmash:items:resultList:4:j_idt588",widgetVar:"widget_formSmash_items_resultList_4_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:4:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Crosilla, LauraIshihara, HajimePalmgren, ErikUppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Mathematics. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Mathematics, Mathematical Logic.Schuster, PeterPrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:4:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Binary refinement implies discrete exponentiation2006In: Studia Logica, Vol. 84, 361-368 p.Article in journal (Refereed)6. Ahlman, Ove PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_5_j_idt585",{id:"formSmash:items:resultList:5:j_idt585",widgetVar:"widget_formSmash_items_resultList_5_j_idt585",onLabel:"Ahlman, Ove ",offLabel:"Ahlman, Ove ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Algebra and Geometry.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:5:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:5:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); A zero-one law for*l*-colourable structures with a vectorspace pregeometry2012Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis7. Ahlman, Ove PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_6_j_idt585",{id:"formSmash:items:resultList:6:j_idt585",widgetVar:"widget_formSmash_items_resultList_6_j_idt585",onLabel:"Ahlman, Ove ",offLabel:"Ahlman, Ove ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Algebra and Geometry.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:6:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:6:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Homogenizable structures and model completeness2016In: Archive for mathematical logic, ISSN 0933-5846, E-ISSN 1432-0665, Vol. 55, no 7-8, 977-995 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_6_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:6:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_6_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); A homogenizable structure M is a structure where we may add a finite amount of new relational symbols to represent some 0-definable relations in order to make the structure homogeneous. In this article we will divide the homogenizable structures into different classes which categorize many known examples and show what makes each class important. We will show that model completeness is vital for the relation between a structure and the amalgamation bases of its age and give a necessary and sufficient condition for an countably categorical model-complete structure to be homogenizable.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:6:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 8. Ahlman, Ove PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_7_j_idt585",{id:"formSmash:items:resultList:7:j_idt585",widgetVar:"widget_formSmash_items_resultList_7_j_idt585",onLabel:"Ahlman, Ove ",offLabel:"Ahlman, Ove ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:7:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:7:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); >k-homogeneous infinite graphs2018In: Journal of combinatorial theory. Series B (Print), ISSN 0095-8956, E-ISSN 1096-0902, Vol. 128, 160-174 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_7_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:7:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_7_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); In this article we give an explicit classification for the countably infinite graphs G which are, for some

*k*, ≥*k*-homogeneous. It turns out that a ≥*k*-homogeneous graph M is non-homogeneous if and only if it is either not 1-homogeneous or not 2-homogeneous, both cases which may be classified using ramsey theory.PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:7:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); The full text will be freely available from 2019-09-05 16:29$(function(){PrimeFaces.cw("Tooltip","widget_formSmash_items_resultList_7_j_idt854_0_j_idt857",{id:"formSmash:items:resultList:7:j_idt854:0:j_idt857",widgetVar:"widget_formSmash_items_resultList_7_j_idt854_0_j_idt857",showEffect:"fade",hideEffect:"fade",target:"formSmash:items:resultList:7:j_idt854:0:fullTextSvg"});}); 9. Ahlman, Ove PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_8_j_idt585",{id:"formSmash:items:resultList:8:j_idt585",widgetVar:"widget_formSmash_items_resultList_8_j_idt585",onLabel:"Ahlman, Ove ",offLabel:"Ahlman, Ove ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:8:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:8:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Limit Laws, Homogenizable Structures and Their Connections2018Doctoral thesis, comprehensive summary (Other academic)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_8_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:8:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_8_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); This thesis is in the field of mathematical logic and especially model theory. The thesis contain six papers where the common theme is the Rado graph R. Some of the interesting abstract properties of R are that it is simple, homogeneous (and thus countably categorical), has SU-rank 1 and trivial dependence. The Rado graph is possible to generate in a probabilistic way. If we let K be the set of all finite graphs then we obtain R as the structure which satisfy all properties which hold with assymptotic probability 1 in K. On the other hand, since the Rado graph is homogeneous, it is also possible to generate it as a Fraïssé-limit of its age.

Paper I studies the binary structures which are simple, countably categorical, with SU-rank 1 and trivial algebraic closure. The main theorem shows that these structures are all possible to generate using a similar probabilistic method which is used to generate the Rado graph. Paper II looks at the simple homogeneous structures in general and give certain technical results on the subsets of SU-rank 1.

Paper III considers the set K consisting of all colourable structures with a definable pregeometry and shows that there is a 0-1 law and almost surely a unique definable colouring. When generating the Rado graph we almost surely have only rigid structures in K. Paper IV studies what happens if the structures in K are only the non-rigid finite structures. We deduce that the limit structures essentially try to stay as rigid as possible, given the restriction, and that we in general get a limit law but not a 0-1 law.

Paper V looks at the Rado graph's close cousin the random t-partite graph and notices that this structure is not homogeneous but almost homogeneous. Rather we may just add a definable binary predicate, which hold for any two elemenets which are in the same part, in order to make it homogeneous. This property is called being homogenizable and in Paper V we do a general study of homogenizable structures. Paper VI conducts a special case study of the homogenizable graphs which are the closest to being homogeneous, providing an explicit classification of these graphs.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:8:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 10. Ahlman, Ove PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_9_j_idt585",{id:"formSmash:items:resultList:9:j_idt585",widgetVar:"widget_formSmash_items_resultList_9_j_idt585",onLabel:"Ahlman, Ove ",offLabel:"Ahlman, Ove ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Algebra and Geometry.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:9:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:9:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Simple structures axiomatized by almost sure theories2016In: Annals of Pure and Applied Logic, ISSN 0168-0072, E-ISSN 1873-2461, Vol. 167, no 5, 435-456 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_9_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:9:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_9_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); In this article we give a classification of the binary, simple,

*ω*-categorical structures with*SU*-rank 1 and trivial algebraic closure. This is done both by showing that they satisfy certain extension properties, but also by noting that they may be approximated by the almost sure theory of some sets of finite structures equipped with a probability measure. This study give results about general almost sure theories, but also considers certain attributes which, if they are almost surely true, generate almost sure theories with very specific properties such as*ω*-stability or strong minimality.PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:9:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); The full text will be freely available from 2018-02-15 15:28$(function(){PrimeFaces.cw("Tooltip","widget_formSmash_items_resultList_9_j_idt854_0_j_idt857",{id:"formSmash:items:resultList:9:j_idt854:0:j_idt857",widgetVar:"widget_formSmash_items_resultList_9_j_idt854_0_j_idt857",showEffect:"fade",hideEffect:"fade",target:"formSmash:items:resultList:9:j_idt854:0:fullTextSvg"});}); 11. Ahlman, Ove PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_10_j_idt585",{id:"formSmash:items:resultList:10:j_idt585",widgetVar:"widget_formSmash_items_resultList_10_j_idt585",onLabel:"Ahlman, Ove ",offLabel:"Ahlman, Ove ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:10:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:10:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); To infinity and back: Logical limit laws and almost sure theories2014Licentiate thesis, comprehensive summary (Other academic)12. Ahlman, Ove PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_11_j_idt585",{id:"formSmash:items:resultList:11:j_idt585",widgetVar:"widget_formSmash_items_resultList_11_j_idt585",onLabel:"Ahlman, Ove ",offLabel:"Ahlman, Ove ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_11_j_idt588",{id:"formSmash:items:resultList:11:j_idt588",widgetVar:"widget_formSmash_items_resultList_11_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:11:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Koponen, VeraUppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Algebra and Geometry.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:11:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Limit laws and automorphism groups of random nonrigid structures2015In: Journal of Logic and Analysis, ISSN 1759-9008, E-ISSN 1759-9008, Vol. 7, no 2, 1-53 p., 1Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_11_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:11:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_11_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); A systematic study is made, for an arbitrary finite relational language with at least one symbol of arity at least 2, of classes of nonrigid finite structures. The well known results that almost all finite structures are rigid and that the class of finite structures has a zero-one law are, in the present context, the first layer in a hierarchy of classes of finite structures with increasingly more complex automorphism groups. Such a hierarchy can be defined in more than one way. For example, the kth level of the hierarchy can consist of all structures having at least k elements which are moved by some automorphism. Or we can consider, for any finite group G, all finite structures M such that G is a subgroup of the group of automorphisms of M; in this case the "hierarchy" is a partial order. In both cases, as well as variants of them, each "level" satisfies a logical limit law, but not a zero-one law (unless k = 0 or G is trivial). Moreover, the number of (labelled or unlabelled) n-element structures in one place of the hierarchy divided by the number of n-element structures in another place always converges to a rational number or to infinity as n -> infinity. All instances of the respective result are proved by an essentially uniform argument.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:11:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 13. Ahlman, Ove PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_12_j_idt585",{id:"formSmash:items:resultList:12:j_idt585",widgetVar:"widget_formSmash_items_resultList_12_j_idt585",onLabel:"Ahlman, Ove ",offLabel:"Ahlman, Ove ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_12_j_idt588",{id:"formSmash:items:resultList:12:j_idt588",widgetVar:"widget_formSmash_items_resultList_12_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:12:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Koponen, VeraUppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Algebra and Geometry.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:12:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); On sets with rank one in simple homogeneous structures2015In: Fundamenta Mathematicae, ISSN 0016-2736, E-ISSN 1730-6329, Vol. 228, 223-250 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_12_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:12:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_12_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We study definable sets D of SU-rank 1 in Meq, where M is a countable homogeneous and simple structure in a language with finite relational vocabulary. Each such D can be seen as a 'canonically embedded structure', which inherits all relations on D which are definable in Meq, and has no other definable relations. Our results imply that if no relation symbol of the language of M has arity higher than 2, then there is a close relationship between triviality of dependence and D being a reduct of a binary random structure. Somewhat more precisely: (a) if for every n≥2, every n-type p(x1,...,xn) which is realized in D is determined by its sub-2-types q(xi,xj)⊆p, then the algebraic closure restricted to D is trivial; (b) if M has trivial dependence, then D is a reduct of a binary random structure.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:12:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 14. Ahlman, Ove PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_13_j_idt585",{id:"formSmash:items:resultList:13:j_idt585",widgetVar:"widget_formSmash_items_resultList_13_j_idt585",onLabel:"Ahlman, Ove ",offLabel:"Ahlman, Ove ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_13_j_idt588",{id:"formSmash:items:resultList:13:j_idt588",widgetVar:"widget_formSmash_items_resultList_13_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:13:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Koponen, VeraUppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:13:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Random l-colourable structures with a pregeometry2017In: Mathematical logic quarterly, ISSN 0942-5616, E-ISSN 1521-3870, Vol. 63, no 1-2, 32-58 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_13_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:13:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_13_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We study finite -colourable structures with an underlying pregeometry. The probability measure that is usedcorresponds to a process of generating such structures by which colours are first randomly assigned to all1-dimensional subspaces and then relationships are assigned in such a way that the colouring conditions aresatisfied but apart from this in a random way. We can then ask what the probability is that the resulting structure,where we now forget the specific colouring of the generating process, has a given property. With this measurewe get the following results: (1) A zero-one law. (2) The set of sentences with asymptotic probability 1 has anexplicit axiomatisation which is presented. (3) There is a formula ξ (x, y) (not directly speaking about colours)such that, with asymptotic probability 1, the relation “there is an -colouring which assigns the same colourto x and y” is defined by ξ (x, y). (4) With asymptotic probability 1, an -colourable structure has a unique-colouring (up to permutation of the colours).

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:13:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 15. Ahlsén, Daniel PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_14_j_idt585",{id:"formSmash:items:resultList:14:j_idt585",widgetVar:"widget_formSmash_items_resultList_14_j_idt585",onLabel:"Ahlsén, Daniel ",offLabel:"Ahlsén, Daniel ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:14:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:14:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Limitless Analysis2014Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis16. Ahmad, M. Rauf PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_15_j_idt585",{id:"formSmash:items:resultList:15:j_idt585",widgetVar:"widget_formSmash_items_resultList_15_j_idt585",onLabel:"Ahmad, M. Rauf ",offLabel:"Ahmad, M. Rauf ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Linköping University, Department of Mathematics, Mathematical Statistics . Linköping University, The Institute of Technology.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:15:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:15:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); A two-sample test statistic for high-dimensional multivariate data under non-normality2011Report (Other academic)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_15_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:15:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_15_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Ahmad, Ohlson, and von Rosen (2011a) present asymptotic distribution of a one-sample test statistic under non-normality, when the data are high dimensional, i.e., when the dimension of the vector, p, may exceed the sample size, n. This paper extends the case to a two-sample statistic to test the difference of mean vectors of two independent multivariate distributions, again under high-dimensional set up. Using the asymptotic theory of U-statistics, and under mild assumptions on the traces of the unknown covariance matrices, the statistic is shown to follow an approximate normal distribution when n and p are large. However, no relationship between n and p is assumed. An extension to the paired case is given, which, being essentially a one-sample statistic, supplements the asymptotic results obtained in Ahmad, Ohlson, and von Rosen (2011a).

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:15:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 17. Aigner, Mats PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_16_j_idt585",{id:"formSmash:items:resultList:16:j_idt585",widgetVar:"widget_formSmash_items_resultList_16_j_idt585",onLabel:"Aigner, Mats ",offLabel:"Aigner, Mats ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_16_j_idt588",{id:"formSmash:items:resultList:16:j_idt588",widgetVar:"widget_formSmash_items_resultList_16_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Linköping University, Department of Mathematics, Mathematics and Applied Mathematics. Linköping University, Faculty of Science & Engineering.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:16:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Tjatyrko, VitalijLinköping University, Department of Mathematics, Mathematics and Applied Mathematics. Linköping University, Faculty of Science & Engineering.Nyagahakwa, VenusteNational University of Rwanda, Rwanda.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:16:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); THE ALGEBRA OF SEMIGROUPS OF SETS2015In: Mathematica Scandinavica, ISSN 0025-5521, E-ISSN 1903-1807, Vol. 116, no 2, 161-170 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_16_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:16:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_16_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We study the algebra of semigroups of sets (i.e. families of sets closed under finite unions) and its applications. For each n greater than 1 we produce two finite nested families of pairwise different semigroups of sets consisting of subsets of R" without the Baire property.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:16:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 18. Alsaody, Seidon PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_17_j_idt585",{id:"formSmash:items:resultList:17:j_idt585",widgetVar:"widget_formSmash_items_resultList_17_j_idt585",onLabel:"Alsaody, Seidon ",offLabel:"Alsaody, Seidon ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:17:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:17:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Corestricted Group Actions and Eight-Dimensional Absolute Valued Algebras2012Report (Other academic)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_17_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:17:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_17_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); A condition for when two eight-dimensional absolute valued algebras are isomorphic was given in [4]. We use this condition to deduce a description (in the sense of Dieterich, [9]) of the category of such algebras, and show how previous descriptions of some full subcategories fit in this description. Led by the structure of these examples, we aim at systematically constructing new subcategories whose classification is manageable. To this end we propose, in greater generality, the definition of sharp stabilizers for group actions, and use these to obtain conditions for when certain subcategories of groupoids are full. This we apply to the category of eight-dimensional absolute valued algebras and obtain a class of subcategories, for which we simplify, and partially solve, the classification problem.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:17:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 19. Alsaody, Seidon PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_18_j_idt585",{id:"formSmash:items:resultList:18:j_idt585",widgetVar:"widget_formSmash_items_resultList_18_j_idt585",onLabel:"Alsaody, Seidon ",offLabel:"Alsaody, Seidon ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:18:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:18:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Morphisms in the Category of Finite Dimensional Absolute Valued Algebras2011Report (Other academic)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_18_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:18:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_18_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); This is a study of morphisms in the category of nite dimensional absolute valued algebras, whose codomains have dimension four. We begin by citing and transferring a classication of an equivalent category. Thereafter, we give a complete description of morphisms from one-dimensional algebras, partly via solutions of real polynomials, and a complete, explicit description of morphisms from two-dimensional algebras. We then give an account of the reducibility of the morphisms, and for the morphisms from two-dimensional algebras we describe the orbits under the actions of the automorphism groups involved. Parts of these descriptions rely on a suitable choice of a cross-section of four-dimensional absolute valued algebras, and we thus end by providing an explicit means of transferring these results to algebras outside this crosssection.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:18:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 20. Alsaody, Seidon PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_19_j_idt585",{id:"formSmash:items:resultList:19:j_idt585",widgetVar:"widget_formSmash_items_resultList_19_j_idt585",onLabel:"Alsaody, Seidon ",offLabel:"Alsaody, Seidon ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:19:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:19:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); On Finite-Dimensional Absolute Valued Algebras2012Licentiate thesis, comprehensive summary (Other academic)21. Ammar, F. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_20_j_idt585",{id:"formSmash:items:resultList:20:j_idt585",widgetVar:"widget_formSmash_items_resultList_20_j_idt585",onLabel:"Ammar, F. ",offLabel:"Ammar, F. ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_20_j_idt588",{id:"formSmash:items:resultList:20:j_idt588",widgetVar:"widget_formSmash_items_resultList_20_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Faculté des Sciences, Université de Sfax, Tunisia .PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:20:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Makhlouf, A.Université de Haute Alsace, France .Silvestrov, S. D.Lund University.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:20:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Ternary q-Virasoro-Witt Hom-Nambu-Lie algebras2010In: Journal of Physics A: Mathematical and Theoretical, ISSN 1751-8113, E-ISSN 1751-8121, Vol. 43, no 26, 265204- p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_20_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:20:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_20_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); In this paper we construct ternary q-Virasoro-Witt algebras which q-deform the ternary Virasoro-Witt algebras constructed by Curtright, Fairlie and Zachos using su(1, 1) enveloping algebra techniques. The ternary Virasoro-Witt algebras constructed by Curtright, Fairlie and Zachos depend on a parameter and are not Nambu-Lie algebras for all but finitely many values of this parameter. For the parameter values for which the ternary Virasoro-Witt algebras are Nambu-Lie, the corresponding ternary q-Virasoro-Witt algebras constructed in this paper are also Hom-Nambu-Lie because they are obtained from the ternary Nambu-Lie algebras using the composition method. For other parameter values this composition method does not yield a Hom-Nambu-Lie algebra structure for q-Virasoro-Witt algebras. We show however, using a different construction, that the ternary Virasoro-Witt algebras of Curtright, Fairlie and Zachos, as well as the general ternary q-Virasoro-Witt algebras we construct, carry a structure of the ternary Hom-Nambu-Lie algebra for all values of the involved parameters.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:20:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 22. Andersson, Anders PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_21_j_idt585",{id:"formSmash:items:resultList:21:j_idt585",widgetVar:"widget_formSmash_items_resultList_21_j_idt585",onLabel:"Andersson, Anders ",offLabel:"Andersson, Anders ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Mathematics. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Mathematics, Mathematical Logic.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:21:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:21:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); On second-order generalized quantifiers and finite structures2002In: Ann. Pure Appl. Logic, Vol. 115, no 1-3, 1-32 p.Article in journal (Refereed)23. Andersson, Evelina PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_22_j_idt585",{id:"formSmash:items:resultList:22:j_idt585",widgetVar:"widget_formSmash_items_resultList_22_j_idt585",onLabel:"Andersson, Evelina ",offLabel:"Andersson, Evelina ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:22:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:22:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Random sampling of finite graphs with constraints2014Independent thesis Advanced level (degree of Master (One Year)), 20 credits / 30 HE creditsStudent thesis24. Andren, Daniel PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_23_j_idt585",{id:"formSmash:items:resultList:23:j_idt585",widgetVar:"widget_formSmash_items_resultList_23_j_idt585",onLabel:"Andren, Daniel ",offLabel:"Andren, Daniel ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_23_j_idt588",{id:"formSmash:items:resultList:23:j_idt588",widgetVar:"widget_formSmash_items_resultList_23_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Umeå University.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:23:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Hellström, LarsUmeå University.Markström, KlasUmeå University.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:23:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Fast multiplication of matrices over a finitely generated semiring2008In: Information Processing Letters, ISSN 0020-0190, E-ISSN 1872-6119, Vol. 107, no 6, 230-234 p.Article in journal (Refereed)25. Armstrong, Alasdair et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_24_j_idt588",{id:"formSmash:items:resultList:24:j_idt588",widgetVar:"widget_formSmash_items_resultList_24_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:24:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Struth, GeorgWeber, TjarkUppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:24:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Programming and automating mathematics in the Tarski-Kleene hierarchy2014In: Journal of Logical and Algebraic Methods in Programming, ISSN 2352-2208, Vol. 83, no 2, 87-102 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_24_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:24:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_24_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We present examples from a reference implementation of variants of Kleene algebras and Tarski's relation algebras in the theorem proving environment Isabelle/HOL. For Kleene algebras we show how models can be programmed, including sets of traces and paths, languages, binary relations, max-plus and min-plus algebras, matrices, formal power series. For relation algebras we discuss primarily proof automation in a comprehensive library and present an advanced formalisation example.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:24:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 26. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_25_j_idt585",{id:"formSmash:items:resultList:25:j_idt585",widgetVar:"widget_formSmash_items_resultList_25_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Department of Mathematics, Royal Institute of Technology, S-100 44 Stockholm, Sweden .PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:25:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:25:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Representation theory of C -algebras for a higher-order class of spheres and tori2008In: Journal of Mathematical Physics, ISSN 0022-2488, E-ISSN 1089-7658, Vol. 49, 053502-1-053502-13 p., 053502Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_25_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:25:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_25_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We construct C -algebras for a class of surfaces that are inverse images of certain polynomials of arbitrary degree. By using the directed graph associated with a matrix, the representation theory can be understood in terms of “loop” and “string” representations, which are closely related to the dynamics of an iterated map in the plane. As a particular class of algebras, we introduce the “Hénon algebras,” for which the dynamical map is a generalized Hénon map, and give an example where irreducible representations of all dimensions exist.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:25:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 27. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_26_j_idt585",{id:"formSmash:items:resultList:26:j_idt585",widgetVar:"widget_formSmash_items_resultList_26_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_26_j_idt588",{id:"formSmash:items:resultList:26:j_idt588",widgetVar:"widget_formSmash_items_resultList_26_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Institut des Hautes Études Scientifiques, Le Bois-Marie 35, route de Chartres, F-91440, Bures-sur-Yvette, France och Max Planck Institute for Gravitational Physics, Am Mühlenberg 1, D-14476, Golm, Germany .PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:26:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Bordemann, MartinLaboratoire de MIA, 4, rue des Frères Lumière, Université de Haute-Alsace, F-68093, Mulhouse, France .Hofer, LaurentUniversité du Luxembourg, FSTC 162a, avenue de la Faïencerie, L-1511, Luxembourg City, Luxembourg .Hoppe, JensDepartment of Mathematics, KTH, S-10044, Stockholm, Sweden .Shimada, HidehikoMax Planck Institute for Gravitational Physics, Am Mühlenberg 1, D-14476, Golm, Germany .PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:26:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Noncommutative Riemann Surfaces by Embeddings in R32009In: Communications in Mathematical Physics, ISSN 0010-3616, E-ISSN 1432-0916, Vol. 288, 403-429 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_26_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:26:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_26_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We introduce

*C-Algebras*of compact Riemann surfaces Σ as non-commutative analogues of the Poisson algebra of smooth functions on Σ . Representations of these algebras give rise to sequences of matrix-algebras for which matrix-commutators converge to Poisson-brackets as*N*→ ∞. For a particular class of surfaces, interpolating between spheres and tori, we completely characterize (even for the intermediate singular surface) all finite dimensional representations of the corresponding*C-algebras*PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:26:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 28. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_27_j_idt585",{id:"formSmash:items:resultList:27:j_idt585",widgetVar:"widget_formSmash_items_resultList_27_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_27_j_idt588",{id:"formSmash:items:resultList:27:j_idt588",widgetVar:"widget_formSmash_items_resultList_27_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Department of Mathematics, Royal Institute of Technology, Lindstedtsvägen 25 S-10044 Stockholm, Sweden.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:27:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Bordemann, MartinLaboratoire de MIA, Université de Haute-Alsace, 4, rue des Frères Lumière, F-68093 Mulhouse, France.Hofera, LaurentDepartment of Mathematics, Royal Institute of Technology, Lindstedtsvägen 25 S-10044 Stockholm, Sweden och Laboratoire de MIA, Université de Haute-Alsace, 4, rue des Frères Lumière, F-68093 Mulhouse, France.Hoppe, JensDepartment of Mathematics, Royal Institute of Technology, Lindstedtsvägen 25 S-10044 Stockholm, Sweden.Shimada, HidehikoMax Planck Institute for Gravitational Physics, Albert Einstein Institute, Am Mühlenberg 1 D-14476 Golm., Germany.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:27:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Fuzzy Riemann surfaces2009In: Journal of High Energy Physics (JHEP), ISSN 1126-6708, E-ISSN 1029-8479, Vol. 2009, no 024, 1-17 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_27_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:27:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_27_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We introduce C-Algebras (quantum analogues of compact Riemann surfaces), defined by polynomial relations in non-commutative variables and containing a real parameter that, when taken to zero, provides a classical non-linear, Poisson-bracket, obtainable from a single polynomial C(onstraint) function. For a continuous class of quartic constraints, we explicitly work out finite dimensional representations of the corresponding C-Algebras.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:27:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 29. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_28_j_idt585",{id:"formSmash:items:resultList:28:j_idt585",widgetVar:"widget_formSmash_items_resultList_28_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_28_j_idt588",{id:"formSmash:items:resultList:28:j_idt588",widgetVar:"widget_formSmash_items_resultList_28_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Linköping University, Sweden.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:28:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Kitouni, AbdennourUniversité de Haute-Alsace, Mulhouse, France.Makhlouf, AbdenacerUniversité de Haute-Alsace, Mulhouse, France .Silvestrov, SergeiMälardalen University, School of Education, Culture and Communication, Educational Sciences and Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:28:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Structure and Cohomology of 3-Lie Algebras Induced by Lie Algebras2014In: Springer Proceedings in Mathematics and Statistics, Berlin, Heidelberg: Springer, 2014, Vol. 85, 123-144 p.Conference paper (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_28_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:28:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_28_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); The aim of this paper is to compare the structure and the cohomology spaces of Lie algebras and induced 3-Lie algebras

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:28:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 30. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_29_j_idt585",{id:"formSmash:items:resultList:29:j_idt585",widgetVar:"widget_formSmash_items_resultList_29_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_29_j_idt588",{id:"formSmash:items:resultList:29:j_idt588",widgetVar:"widget_formSmash_items_resultList_29_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Max Planck Institute for Gravitational Physics (AEI), Am Mühlenberg 1, D-14476 Golm, Germany.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:29:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Makhlouf, AbdenacerUniversité de Haute Alsace, Laboratoire de Mathématiques, Informatique et Applications, 4, rue des Frères Lumière F-68093 Mulhouse, France .Silvestrov, SergeiMälardalen University, Division of Applied Mathematics, The School of Education, Culture and Communication, Box 883, 721 23 Västerås, Sweden och Centre for Mathematical Sciences, Lund University, Box 118, 221 00 Lund, Sweden .PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:29:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Construction of*n*-Lie algebras and*n*-ary Hom-Nambu-Lie algebras2011In: Journal of Mathematical Physics, ISSN 0022-2488, E-ISSN 1089-7658, Vol. 52, 123502Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_29_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:29:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_29_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); As

*n*-ary operations, generalizing Lie and Poisson algebras, arise in many different physical contexts, it is interesting to study general ways of constructing explicit realizations of such multilinear structures. Generically, they describe the dynamics of a physical system, and there is a need of understanding their quantization. Hom-Nambu-Lie algebras provide a framework that might be an appropriate setting in which*n*-Lie algebras (*n*-ary Nambu-Lie algebras) can be deformed, and their quantization studied. We present a procedure to construct (*n*+ 1)-ary Hom-Nambu-Lie algebras from*n*-ary Hom-Nambu-Lie algebras equipped with a generalized trace function. It turns out that the implications of the compatibility conditions, that are necessary for this construction, can be understood in terms of the kernel of the trace function and the range of the twisting maps. Furthermore, we investigate the possibility of defining (*n*+*k*)-Lie algebras from*n*-Lie algebras and a*k*-form satisfying certain conditions.PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:29:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 31. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_30_j_idt585",{id:"formSmash:items:resultList:30:j_idt585",widgetVar:"widget_formSmash_items_resultList_30_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_30_j_idt588",{id:"formSmash:items:resultList:30:j_idt588",widgetVar:"widget_formSmash_items_resultList_30_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Max Planck Institute for Gravitational Physics (AEI), Am Mühlenberg 1, D-14476 Golm, Germany.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:30:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Makhlouf, AbdenacerUniversité de Haute Alsace, Lab. de Mathématiques Informatique et Applications, 4, rue des Frères Lumière, F-68093 Mulhouse, France.Silvestrov, SergeiMälardalen University, School of Education, Culture and Communication.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:30:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Construction of n-Lie algebras and n-ary Hom-Nambu-Lie algebras2011In: Journal of Mathematical Physics, ISSN 0022-2488, E-ISSN 1089-7658, Vol. 52, no 12, 123502- p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_30_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:30:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_30_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); As n-ary operations, generalizing Lie and Poisson algebras, arise in many different physical contexts, it is interesting to study general ways of constructing explicit realizations of such multilinear structures. Generically, they describe the dynamics of a physical system, and there is a need of understanding their quantization. Hom-Nambu-Lie algebras provide a framework that might be an appropriate setting in which n-Lie algebras (n-ary Nambu-Lie algebras) can be deformed, and their quantization studied. We present a procedure to construct (n + 1)-ary Hom-Nambu-Lie algebras from n-ary Hom-Nambu-Lie algebras equipped with a generalized trace function. It turns out that the implications of the compatibility conditions, that are necessary for this construction, can be understood in terms of the kernel of the trace function and the range of the twisting maps. Furthermore, we investigate the possibility of defining (n + k)-Lie algebras from n-Lie algebras and a k-form satisfying certain conditions. (C) 2011 American Institute of Physics. [doi:10.1063/1.3653197]

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:30:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 32. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_31_j_idt585",{id:"formSmash:items:resultList:31:j_idt585",widgetVar:"widget_formSmash_items_resultList_31_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_31_j_idt588",{id:"formSmash:items:resultList:31:j_idt588",widgetVar:"widget_formSmash_items_resultList_31_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Max Planck Institute for Gravitational Physics (AEI), Am Mühlenberg 1, D-14476 Golm, Germany.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:31:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Makhlouf, AbdenacerLaboratoire de Mathématiques, Informatique et Applications, Université de Haute Alsace, 4, rue des Frères Lumière, F-68093 Mulhouse, France .Silvestrov, SergeiCentre for Mathematical Sciences, Lund University, Box 118, SE-221 00 Lund, Sweden .PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:31:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Ternary Hom–Nambu–Lie algebras induced by Hom–Lie algebras2010In: Journal of Mathematical Physics, ISSN 0022-2488, E-ISSN 1089-7658, Vol. 51, 043515-1-043515-11 p., 43515Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_31_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:31:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_31_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); The need to consider n -ary algebraic structures, generalizing Lie and Poisson algebras, has become increasingly important in physics, and it should therefore be of interest to study the mathematical concepts related to n -ary algebras. The purpose of this paper is to investigate ternary multiplications (as deformations of n -Lie structures) constructed from the binary multiplication of a Hom–Lie algebra, a linear twisting map, and a trace function satisfying certain compatibility conditions. We show that the relation between the kernels of the twisting maps and the trace function plays an important role in this context and provide examples of Hom–Nambu–Lie algebras obtained using this construction.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:31:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 33. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_32_j_idt585",{id:"formSmash:items:resultList:32:j_idt585",widgetVar:"widget_formSmash_items_resultList_32_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_32_j_idt588",{id:"formSmash:items:resultList:32:j_idt588",widgetVar:"widget_formSmash_items_resultList_32_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Max Planck Institute for Gravitational Physics (AEI), Germany.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:32:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Makhlouf, AbdenacerUniversité de Haute Alsace, France .Silvestrov, SergeiLund University, Sweden.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:32:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Ternary Hom-Nambu-Lie algebras induced by Hom-Lie algebras2010In: Journal of Mathematical Physics, ISSN 0022-2488, E-ISSN 1089-7658, Vol. 51, no 4, 043515-11 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_32_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:32:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_32_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); The need to consider n-ary algebraic structures, generalizing Lie and Poisson algebras, has become increasingly important in physics, and it should therefore be of interest to study the mathematical concepts related to n-ary algebras. The purpose of this paper is to investigate ternary multiplications (as deformations of n-Lie structures) constructed from the binary multiplication of a Hom-Lie algebra, a linear twisting map, and a trace function satisfying certain compatibility conditions. We show that the relation between the kernels of the twisting maps and the trace function plays an important role in this context and provide examples of Hom-Nambu-Lie algebras obtained using this construction.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:32:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 34. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_33_j_idt585",{id:"formSmash:items:resultList:33:j_idt585",widgetVar:"widget_formSmash_items_resultList_33_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_33_j_idt588",{id:"formSmash:items:resultList:33:j_idt588",widgetVar:"widget_formSmash_items_resultList_33_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Albert Einstein Institute, Golm, Germany..PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:33:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Silvestrov, SergeiCentre for Mathematical Sciences, Lund University, Box 118, 221 00 Lund, Sweden .PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:33:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Affine transformation crossed product type algebras and noncommutative surfaces2009In: Operator structures and dynamical systems :: July 21-25 2008, Lorentz Center, Leiden, the Netherlands, satellite conference of the fifth European Congress of Mathematics, American Mathematical Society (AMS), 2009, 503, 1-25 p.Chapter in book (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_33_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:33:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_33_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Several classes of *-algebras associated to teh action of an affine transformation are considered, and an investigation of the interplay between the different classes is initiated. Connections are established that relate representations of *-algebras, geometry of algebraic surfaces, dynamics of affine transformations, graphs and algebras coming from a quantization procedure of Poisson structures. In particular, algebras related to surgaced being inverse images of fourth order polynomials (in ) are studied in detail, and a close link between representation theory and geometric properties is established for compact as well as non-compact surfaces.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:33:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 35. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_34_j_idt585",{id:"formSmash:items:resultList:34:j_idt585",widgetVar:"widget_formSmash_items_resultList_34_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_34_j_idt588",{id:"formSmash:items:resultList:34:j_idt588",widgetVar:"widget_formSmash_items_resultList_34_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Albert Einstein Institute, Golm, Germany.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:34:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Silvestrov, SergeiLund University.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:34:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Affine transformation crossed product type algebras and noncommutative surfaces2009In: Operator structures and dynamical systems: July 21-25 2008, Lorentz Center, Leiden, The Netherlands, satellite conference of the fifth European Congress of Mathematics, Amer. Math. Soc. , 2009, Vol. 503, 1-25 p.Chapter in book (Refereed)36. Arnlind, Joakim PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_35_j_idt585",{id:"formSmash:items:resultList:35:j_idt585",widgetVar:"widget_formSmash_items_resultList_35_j_idt585",onLabel:"Arnlind, Joakim ",offLabel:"Arnlind, Joakim ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_35_j_idt588",{id:"formSmash:items:resultList:35:j_idt588",widgetVar:"widget_formSmash_items_resultList_35_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Linköping University, Department of Mathematics, Mathematics and Applied Mathematics. Linköping University, Faculty of Science & Engineering.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:35:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Wilson, MitsuruUniversity of Western Ontario, Canada.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:35:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Riemannian curvature of the noncommutative 3-sphere2017In: Journal of Noncommutative Geometry, ISSN 1661-6952, E-ISSN 1661-6960, Vol. 11, no 2, 507-536 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_35_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:35:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_35_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); In order to investigate to what extent the calculus of classical (pseudo-) Riemannian manifolds can be extended to a noncommutative setting, we introduce pseudo-Riemannian calculi of modules over noncommutative algebras. In this framework, it is possible to prove an analogue of Levi-Civitas theorem, which states that there exists at most one torsion-free and metric connection for a given (metric) module, satisfying the requirements of a real metric calculus. Furthermore, the corresponding curvature operator has the same symmetry properties as the classical Riemannian curvature. As our main motivating example, we consider a pseudo-Riemannian calculus over the noncommutative 3-sphere and explicitly determine the torsion-free and metric connection, as well as the curvature operator together with its scalar curvature.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:35:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 37. Asplund, Johan PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_36_j_idt585",{id:"formSmash:items:resultList:36:j_idt585",widgetVar:"widget_formSmash_items_resultList_36_j_idt585",onLabel:"Asplund, Johan ",offLabel:"Asplund, Johan ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:36:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:36:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Linking and Morse Theory2014Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis38. Asplund, Teo PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_37_j_idt585",{id:"formSmash:items:resultList:37:j_idt585",widgetVar:"widget_formSmash_items_resultList_37_j_idt585",onLabel:"Asplund, Teo ",offLabel:"Asplund, Teo ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:37:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:37:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Extremal Hypergraphs2013Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis39. Ataguema, H. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_38_j_idt585",{id:"formSmash:items:resultList:38:j_idt585",widgetVar:"widget_formSmash_items_resultList_38_j_idt585",onLabel:"Ataguema, H. ",offLabel:"Ataguema, H. ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_38_j_idt588",{id:"formSmash:items:resultList:38:j_idt588",widgetVar:"widget_formSmash_items_resultList_38_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Universit́e de Haute Alsace, France .PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:38:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Makhlouf, A.Universit́e de Haute Alsace, France .Silvestrov, S. D.Lund University.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:38:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Generalization of n-ary Nambu algebras and beyond2009In: Journal of Mathematical Physics, ISSN 0022-2488, E-ISSN 1089-7658, Vol. 50, no 8, Article number 083501- p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_38_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:38:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_38_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); The aim of this paper is to introduce n-ary Hom-algebra structures generalizing the n-ary algebras of Lie type including n-ary Nambu algebras, n-ary Nambu-Lie algebras and n-ary Lie algebras, and n-ary algebras of associative type including n-ary totally associative and n-ary partially associative algebras. We provide examples of the new structures and present some properties and construction theorems. We describe the general method allowing one to obtain an n-ary Hom-algebra structure starting from an n-ary algebra and an n-ary algebra endomorphism. Several examples are derived using this process. Also we initiate investigation of classification problems for algebraic structures introduced in the article and describe all ternary three-dimensional Hom-Nambu-Lie structures with diagonal homomorphism.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:38:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 40. Avigad, Jeremy PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_39_j_idt585",{id:"formSmash:items:resultList:39:j_idt585",widgetVar:"widget_formSmash_items_resultList_39_j_idt585",onLabel:"Avigad, Jeremy ",offLabel:"Avigad, Jeremy ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_39_j_idt588",{id:"formSmash:items:resultList:39:j_idt588",widgetVar:"widget_formSmash_items_resultList_39_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Department of Philosophy and Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, Pennsylvania, U.S.A..PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:39:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Kapulkin, KrzysztofDepartment of Mathematics, University of Pittsburgh, Pennsylvania, U.S.A..Lumsdaine, Peter LeFanuInstitute for Advanced Study, Princeton, New Jersey, U.S.A..PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:39:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Homotopy limits in type theory2015In: Mathematical Structures in Computer Science, ISSN 0960-1295, E-ISSN 1469-8072, Vol. 25, no 5, 1040-1070 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_39_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:39:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_39_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic material. We also compare our constructions with the more classical approach to homotopy limits via fibration categories.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:39:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 41. Awodey, Steve PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_40_j_idt585",{id:"formSmash:items:resultList:40:j_idt585",widgetVar:"widget_formSmash_items_resultList_40_j_idt585",onLabel:"Awodey, Steve ",offLabel:"Awodey, Steve ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Stockholm University, Faculty of Science, Department of Mathematics. Carnegie Mellon University, USA.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:40:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:40:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); A cubical model of homotopy type theory2016Report (Other academic)42. Awodey, Steve PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_41_j_idt585",{id:"formSmash:items:resultList:41:j_idt585",widgetVar:"widget_formSmash_items_resultList_41_j_idt585",onLabel:"Awodey, Steve ",offLabel:"Awodey, Steve ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_41_j_idt588",{id:"formSmash:items:resultList:41:j_idt588",widgetVar:"widget_formSmash_items_resultList_41_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Mathematics. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Mathematics, Mathematical Logic.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:41:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Eliasson, JonasPrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:41:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Ultrasheaves and double negation2002Report (Other scientific)43. Awodey, Steve et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_42_j_idt588",{id:"formSmash:items:resultList:42:j_idt588",widgetVar:"widget_formSmash_items_resultList_42_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:42:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Eliasson, JonasUppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:42:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Ultrasheaves and double negation2004In: Notre Dame Journal of Formal Logic, ISSN 0029-4527, E-ISSN 1939-0726, Vol. 45, no 4, 235-245 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_42_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:42:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_42_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Moerdijk has introduced a topos of sheaves on a category of filters. Following his suggestion, we prove that its double negation subtopos is the topos of sheaves on the subcategory of ultrafilters—the

*ultrasheaves*. We then use this result to establish a double negation translation of results between the topos of ultrasheaves and the topos on filters.PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:42:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 44. Baba, Srinath PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_43_j_idt585",{id:"formSmash:items:resultList:43:j_idt585",widgetVar:"widget_formSmash_items_resultList_43_j_idt585",onLabel:"Baba, Srinath ",offLabel:"Baba, Srinath ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_43_j_idt588",{id:"formSmash:items:resultList:43:j_idt588",widgetVar:"widget_formSmash_items_resultList_43_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Champlain College.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:43:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Granath, HåkanKarlstad University, Faculty of Health, Science and Technology (starting 2013), Department of Mathematics and Computer Science.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:43:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Quaternionic modular forms and exceptional sets of hypergeometric functions2015In: International Journal of Number Theory, ISSN 1793-0421, Vol. 11, no 2, 631-643 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_43_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:43:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_43_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We determine the exceptional sets of hypergeometric functions corresponding to the(2, 4, 6) triangle group by relating them to values of certain quaternionic modular formsat CM points. We prove a result on the number fields generated by exceptional values, and by using modular polynomials we explicitly compute some examples.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:43:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 45. Backelin, Jörgen PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_44_j_idt585",{id:"formSmash:items:resultList:44:j_idt585",widgetVar:"widget_formSmash_items_resultList_44_j_idt585",onLabel:"Backelin, Jörgen ",offLabel:"Backelin, Jörgen ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_44_j_idt588",{id:"formSmash:items:resultList:44:j_idt588",widgetVar:"widget_formSmash_items_resultList_44_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Stockholm University, Faculty of Science, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:44:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Oneto, AlessandroStockholm University, Faculty of Science, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:44:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); On a class of power ideals2015In: Journal of Pure and Applied Algebra, ISSN 0022-4049, E-ISSN 1873-1376, Vol. 219, no 8, 3158-3180 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_44_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:44:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_44_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); In this paper we study the class of power ideals generated by the k(n) forms (x(0) + xi(g1) x(1) + ... + xi(gn) x(n))((k-1)d) where xi is a fixed primitive kth-root of unity and 0 <= g(j) <= k - 1 for all j. For k = 2, by using a Z(k)(n+1)-grading on C[x(0),..., x(n)], we compute the Hilbert series of the associated quotient rings via a simple numerical algorithm. We also conjecture the extension for k > 2. Via Macaulay duality, those power ideals are related to schemes of fat points with support on the k(n) points [1 : xi(g1) : ... : xi(gn)] in P-n. We compute Hilbert series, Betti numbers and Grobner basis for these 0-dimensional schemes. This explicitly determines the Hilbert series of the power ideal for all k: that this agrees with our conjecture for k > 2 is supported by several computer experiments.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:44:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 46. Backman, Theo PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_45_j_idt585",{id:"formSmash:items:resultList:45:j_idt585",widgetVar:"widget_formSmash_items_resultList_45_j_idt585",onLabel:"Backman, Theo ",offLabel:"Backman, Theo ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Stockholm University, Faculty of Science, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:45:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:45:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Configuration spaces, props and wheel-free deformation quantization2016Doctoral thesis, monograph (Other academic)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_45_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:45:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_45_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); The main theme of this thesis is higher algebraic structures that come from operads and props.

The first chapter is an introduction to the mathematical framework needed for the content of this thesis. The chapter does not contain any new results.

The second chapter is concerned with the construction of a configuration space model for a particular 2-colored differential graded operad encoding the structure of two

*A*algebras with two_{∞}*A*morphisms and a homotopy between the morphisms. The cohomology of this operad is shown to be the well-known 2-colored operad encoding the structure of two associative algebras and of an associative algebra morphism between them._{∞}The third chapter is concerned with deformation quantization of (potentially) infinite dimensional (quasi-)Poisson manifolds. Our proof employs a variation on the

*transcendental*methods pioneered by M. Kontsevich for the finite dimensional case. The first proof of the infinite dimensional case is due to B. Shoikhet. A key feature of the first proof is the construction of a universal*L*structure on formal polyvector fields. Our contribution is a simplification of B. Shoikhet proof by considering a more natural configuration space and a simpler choice of_{∞}*propagator*. The result is also put into a natural context of the dg Lie algebras coming from graph complexes; the*L*structure is proved to come from a Maurer-Cartan element in the_{∞}*oriented graph complex*.The fourth chapter also deals with deformation quantization of (quasi-)Poisson structures in the infinite dimensional setting. Unlike the previous chapter, the methods used here are purely algebraic. Our main theorem is the possibility to deformation quantize quasi-Poisson structures by only using perturbative methods; in contrast to the transcendental methods employed in the previous chapter. We give two proofs of the theorem via the theory of dg operads, dg properads and dg props. We show that there is a dg prop morphism from a prop governing star-products to a dg prop(erad) governing (quasi-)Poisson structures. This morphism gives a theorem about the existence of a deformation quantization of (quasi-)Poisson structure. The proof proceeds by giving an explicit deformation quantization of

*s**uper-involutive Lie bialgebras*and then lifting that to the dg properad governing quasi-Poisson structures. The prop governing star-products was first considered by S.A. Merkulov, but the properad governing quasi-Poisson structures is a new construction.The second proof of the theorem employs the Merkulov-Willwacher polydifferential functor to transfer the problem of finding a morphism of dg props to that of finding a morphism of dg operads.We construct an extension of the well known operad of

*A*algebras such that the representations of it in_{∞}*V*are equivalent to an*A*structure on_{∞}*V*[[*ħ*]]. This new operad is also a minimal model of an operad that can be seen as the extension of the operad of associative algebras by a unary operation. We give an explicit map of operads from the extended associative operad to the operad we get when applying the Merkulov-Willwacher polydifferential functor to the properad of super-involutive Lie bialgebras. Lifting this map so as to go between their respective models gives a new proof of the main theorem.PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:45:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 47. Balletti, Gabriele PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_46_j_idt585",{id:"formSmash:items:resultList:46:j_idt585",widgetVar:"widget_formSmash_items_resultList_46_j_idt585",onLabel:"Balletti, Gabriele ",offLabel:"Balletti, Gabriele ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Stockholm University, Faculty of Science, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:46:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:46:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Connectivity through bounds for the Castelnuovo–Mumford regularity2017In: Journal of combinatorial theory. Series A (Print), ISSN 0097-3165, E-ISSN 1096-0899, Vol. 147, 46-54 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_46_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:46:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_46_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); In this note we generalize and unify two results on connectivity of graphs: one by Balinsky and Barnette, one by Athanasiadis. This is done through a simple proof using commutative algebra tools. In particular we use bounds for the Castelnuovo-Mumford regularity of their Stanley-Reisner rings. As a result, if Delta is a simplicial d-pseudomanifold and s is the largest integer such that A has a missing face of size s, then the 1-skeleton of Delta is inverted right perpendicular(s)/((s+1)d)inverted left perpendicular-connected. We also show that this value is tight.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:46:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 48. Barkov, Ilia PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_47_j_idt585",{id:"formSmash:items:resultList:47:j_idt585",widgetVar:"widget_formSmash_items_resultList_47_j_idt585",onLabel:"Barkov, Ilia ",offLabel:"Barkov, Ilia ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Linnaeus University, Faculty of Technology, Department of Mathematics.PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:47:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:47:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Diagonal Ranks of Semigroups2013Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesisAbstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_47_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:47:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_47_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We introduce the notion of diagonal ranks of semigroups,which are numerical characteristics of semigroups. Some base propertiesof diagonal ranks are obtained. A new criterion for a monoidbeing a group is obtained using diagonal ranks.For some semigroup classes we investigate whether their diagonal acts are finitely generatedor not. For the semigroups of full transformations, partial transformations andbinary relations we find the general form of the generating pairs.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:47:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 49. Bauer, Andrej et al. PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_48_j_idt588",{id:"formSmash:items:resultList:48:j_idt588",widgetVar:"widget_formSmash_items_resultList_48_j_idt588",onLabel:"et al.",offLabel:"et al.",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:48:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Gross, JasonLeFanu Lumsdaine, PeterStockholm University, Faculty of Science, Department of Mathematics.Shulman, MichaelSozeau, MatthieuSpitters, BasPrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:48:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); The HoTT Library: A formalization of homotopy type theory in Coq2017In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs / [ed] Yves Bertot, Viktor Vafeiadis, New York, NY, USA: Association for Computing Machinery (ACM), 2017, 164-172 p.Conference paper (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_48_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:48:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_48_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); We report on the development of the HoTT library, a formalization of homotopy type theory in the Coq proof assistant. It formalizes most of basic homotopy type theory, including univalence, higher inductive types, and significant amounts of synthetic homotopy theory, as well as category theory and modalities. The library has been used as a basis for several independent developments. We discuss the decisions that led to the design of the library, and we comment on the interaction of homotopy type theory with recently introduced features of Coq, such as universe polymorphism and private inductive types.

PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:48:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); 50. Bauer, Tilman PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_49_j_idt585",{id:"formSmash:items:resultList:49:j_idt585",widgetVar:"widget_formSmash_items_resultList_49_j_idt585",onLabel:"Bauer, Tilman ",offLabel:"Bauer, Tilman ",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:49:orgPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); PrimeFaces.cw("Panel","testPanel",{id:"formSmash:items:resultList:49:etAlPanel",widgetVar:"testPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500}); Formal plethories2014In: Advances in Mathematics, ISSN 0001-8708, E-ISSN 1090-2082, Vol. 254, 497-569 p.Article in journal (Refereed)Abstract [en] PrimeFaces.cw("SelectBooleanButton","widget_formSmash_items_resultList_49_j_idt623_0_j_idt624",{id:"formSmash:items:resultList:49:j_idt623:0:j_idt624",widgetVar:"widget_formSmash_items_resultList_49_j_idt623_0_j_idt624",onLabel:"Abstract [en]",offLabel:"Abstract [en]",onIcon:"ui-icon-triangle-1-s",offIcon:"ui-icon-triangle-1-e"}); Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E

_{*}to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this paper I set up a framework for studying the algebra of such functors, which I call formal plethories, in the case where E_{*}is a Prüfer ring. I show that the "logarithmic" functors of primitives and indecomposables give linear approximations of formal plethories by bimonoids in the 2-monoidal category of bimodules over a ring.PrimeFaces.cw("Panel","tryPanel",{id:"formSmash:items:resultList:49:j_idt623:0:abstractPanel",widgetVar:"tryPanel",toggleable:true,toggleSpeed:500,collapsed:false,toggleOrientation:"vertical",closable:true,closeSpeed:500});

CiteExportLink to result list
http://www.diva-portal.org/smash/resultList.jsf?query=&language=en&searchType=SUBJECT&noOfRows=50&sortOrder=author_sort_asc&sortOrder2=title_sort_asc&onlyFullText=false&sf=all&aq=%5B%5B%7B%22categoryId%22%3A%2211504%22%7D%5D%5D&aqe=%5B%5D&aq2=%5B%5B%5D%5D&af=%5B%5D $(function(){PrimeFaces.cw("InputTextarea","widget_formSmash_lower_j_idt903_recordPermLink",{id:"formSmash:lower:j_idt903:recordPermLink",widgetVar:"widget_formSmash_lower_j_idt903_recordPermLink",autoResize:true});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_lower_j_idt903_j_idt905",{id:"formSmash:lower:j_idt903:j_idt905",widgetVar:"widget_formSmash_lower_j_idt903_j_idt905",target:"formSmash:lower:j_idt903:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});

Permanent link

Cite

Citation styleapa ieee modern-language-association-8th-edition vancouver Other style $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_lower_j_idt921",{id:"formSmash:lower:j_idt921",widgetVar:"widget_formSmash_lower_j_idt921",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:lower:j_idt921",e:"change",f:"formSmash",p:"formSmash:lower:j_idt921",u:"formSmash:lower:otherStyle"},ext);}}});});

- apa
- ieee
- modern-language-association-8th-edition
- vancouver
- Other style

Languagede-DE en-GB en-US fi-FI nn-NO nn-NB sv-SE Other locale $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_lower_j_idt932",{id:"formSmash:lower:j_idt932",widgetVar:"widget_formSmash_lower_j_idt932",behaviors:{change:function(ext) {PrimeFaces.ab({s:"formSmash:lower:j_idt932",e:"change",f:"formSmash",p:"formSmash:lower:j_idt932",u:"formSmash:lower:otherLanguage"},ext);}}});});

- de-DE
- en-GB
- en-US
- fi-FI
- nn-NO
- nn-NB
- sv-SE
- Other locale

Output formathtml text asciidoc rtf $(function(){PrimeFaces.cw("SelectOneMenu","widget_formSmash_lower_j_idt942",{id:"formSmash:lower:j_idt942",widgetVar:"widget_formSmash_lower_j_idt942"});});

- html
- text
- asciidoc
- rtf