Matematisk logik är läran om matematikens mest fundamentala grunder och en koppling mellan filosofi och matematik. I denna kandidatuppsats utforskas en av de tyngsta satserna inom matematisk logik, \textit{Gödels Fullständighetssats}. Den kända satsen är en koppling mellan sanning och bevisbarhet - två koncept som a priori är vitt skilda. Kort sagt så säger satsen att en formel i predikatlogik är This thesis will be an investigation into different proofs of Completeness in first-order logic. Particular attention will be put on analyzing the role of the Ultrafilter Lemma and its necessity in proving the Completeness Theorem. An attempt will be made to develop a proof that separates out this non-constructive aspect, but still uses the law of excluded middle. The overall aim is to understand

In this chapter, the authors summarize the current knowledge of possible trigger(s) of p-cell autoimmunity and factors affecting the progression to the clinical onset in individuals who have developed one or more p-cell autoantibodies. Testing islet autoantibodies at random or in select populations such as schoolchildren should inform about the epidemiology of autoimmune islet disease and what to

All kommunikation består av signaler. Ljud, bilder, filmer och rörelser och exempel på olika signaler. Signaler har en sändare och en mottagare. Om sändaren har konstruerat signalen på ett bra sätt, blir det lättare för mottagaren att återskapa och förstå sändarens ursprungliga meddelande. Ur ett matematiskt perspektiv är signaler funktioner som beskriver hur en signal förändras i exempelvis tid, This work investigates Shannon’s sampling theorem and Landau’s density theorem for sampling and interpolation for functions in Paley-Wiener spaces, with the main focus on the latter result. We begin by defining Paley-Wiener spaces of bandlimited functions and briefly discuss a proof of the Paley-Wiener theorem for entire functions of exponential type. We then present Shannon’s classical sampling t

Mot smartare cellgiftsbehandling: Att förebygga behandlingsresistens vid äggstockscancer Äggstockscancer är den dödligaste gynekologiska cancertypen och kräver alltför många liv eftersom tumörer ofta blir resistenta mot behandling – särskilt mot cisplatin, vårt främsta försvar. För att rädda fler liv måste vi förstå hur denna resistens utvecklas och hur vi kan överlista den. I mitt examensarbete Ovarian cancer is the deadliest gynaecologic malignancy, with most patients diagnosed at an advanced stage and facing poor long-term survival. Resistance to cisplatin-based chemotherapy is a major clinical obstacle, yet its proteomic drivers remain poorly defined. In this study, I applied data-independent acquisition mass spectrometry with DIA-NN data processing to analyse one parental and two cis

Problem description: Alfa Laval, a global leader in providing solutions for heat transfer, separation, and fluid handling, seeks to improve production scheduling at their component factory in Lund. They aim to digitalise the process by developing a digital twin (DT), a virtual model of the manufacturing system. The DT will simulate production flow to support decision-making and optimise scheduling

This thesis explores the interpretations of Matthew 16:18 across various ecclesiastical traditions (such as Equmeniakyrkan, Svenska Kyrkan, and Romersk-katolska kyrkan) and their theological and ecclesiological implications. Employing a qualitative, abductive approach through in-depth interviews and thematic analysis, the study delves into how the “rock” in Matthew 16:18 is perceived and its signi

Detta examensarbete undersöker det framtida ekonomiska utbudet av flexibilitet i det svenska elsystemet till 2030, genom att tillämpa ett modelleringsramverk som kombinerar uppskattningar av marginalkostnader med tekniska potentialer för flexibilitet från olika tekniker. Dessa inkluderar användningsresurser (elpannor, värmepumpar och smart laddning av elfordon) produktionsresurser (kärnkraft, vattThis master's thesis investigates the future economic supply of flexibility in the Swedish electricity system by 2030, by applying a modelling framework combining marginal-cost estimates with technical-flexibility-potential assessments for a range of different technologies. These include demand-side resources (electric boilers, heat pumps and smart charging of electric vehicles) generation res

This thesis approaches the challenges of data centre resource efficiency and global water scarcity through a techno-economic analysis of a desalination system driven by data centre waste heat. Membrane distillation is selected as a high-potential technology for this application and is examined through a case study of a hypothetical 1.5 MW direct-to-chip data centre located in Barcelona, Spain. Thr

This thesis presents the development and implementation of a self-contained on-chip test framework designed to validate analog-to-digital (ADC) and digital-to-analog (DAC) converters integrated within an Application-Specific Integrated Circuit (ASIC). Utilizing the embedded ARM Cortex-M7 processor within the ASIC, the test framework eliminates reliance on external instruments by internally perform

In this thesis, algorithms have been developed for automated design of fully differential amplifiers. Given the amplifier specifications, the automated design flow generates netlists for the amplifier core as well as bias circuitry. The algorithms are independent of Process Design Kit (PDK) and can target all the currently available open-source PDKs. Using the automated flow, 280 amplifier netlist

BACKGROUND: Decolonisation has become a global health priority, addressing inequities rooted in colonial histories that continue to shape power dynamics and knowledge systems. Nordic global health programmes bring together students and faculty from diverse backgrounds in a region defined by inclusive ideals but shaped by underexamined colonial legacies. This context offers a valuable setting to ex

BACKGROUND: Achalasia is a rare motility disorder of the esophagus. The diagnosis involves clinical suspicion based on history details and results of high-resolution manometry (HRM) as recommended by the Chicago classification (CCv4.0). Interpreting data obtained through HRM can be complex especially for the novice user.METHODS: We propose therefore a color-based algorithm involving the "reversed

This study explores the interdependencies and cascading effects in the disaster response management for a possible 7.2 magnitude earthquake scenario in Metro Manila, focusing on the role of the Cordillera Administrative Region (CAR) as the primary assisting region. The research is grounded in Complexity and Socio-Technical Network Theory, which provides that the disaster response management is a c

The recent developments in stochastic and quantum thermodynamics has laid the foundation for developing highly efficient devices that utilizes quantum effects. One such device is a quantum dot heat engine, that consists of one or more quantum dots tunnel coupled to two leads. By tuning the energy levels of the quantum dots appropriately one can obtain a flow of electrons through the quantum dot sy

The study focuses on how Sweden addresses CBRNE-(Chemical, Biological, Radiological, Nuclear, Explosives) associated risks. A changed security environment has seen an intensive increase in CBRNE-associated risks. The aim of the study is to analyse and compare Swedish and international strategies to suggest improvements for Sweden's CBRNE preparedness, particularly in relation to the emergency

I Lund pågår byggandet av det nordsydliga cykelstråket. På de centralare delarna av detta stråk varierar utformningen av cykelinfrastrukturen och på några av delar med smala vägprofiler har det valts att utforma cykelfält. Denna rapport ämnar att redogöra hur ofta cykelfälten blockeras och undersöka om den nuvarande lösningen ger en god säkerhet och framkomlighet för cyklister. För detta har videIn Lund, construction is underway on the north-south cycling route. In the more central parts of this route, the design of the cycling infrastructure varies, and in some sections with narrow road profiles, bike lanes have been chosen as the design solution. This report aims to describe how often the bike lanes are obstructed and to examine whether the current solution provides good safety and acc

Standards play a significant role in shaping our environment and everyday life. In the context of the built environment, they ensure consistency of quality between different projects. The European Daylight Standard EN17037 “Daylight in buildings” is one of those standards, currently in use in the European Union, and was established to secure enough natural light indoors to achieve spaces that are

Neuropsykiatriska utredningar och diagnoser har varit ett återkommande tema i media men arbetsvillkoren för psykologer som arbetar med utredningar har inte diskuterats.Denna kartläggning genomfördes för att undersöka psykologers arbetssituation. Kartläggningen genomfördes som en digital enkät under hösten 2024 och denna rapport sammanfattar resultaten. Enkäten kartlade tre större områden: möjligheNeuropsychiatric assessments and diagnoses have been a recurring topic in the media, but the working conditions of psychologists involved in these assessments have not been widely discussed.This survey was conducted to examine the working conditions of psychologists. It was carried out as a digital questionnaire during the autumn of 2024, and this report summarizes the results. The questionnaire f

Title: The Influence of Institutional Investor Heterogeneity on Dividend Payouts: Evidence from Japan Purpose: To examine how institutional investor heterogeneity influences dividend payout policies in Japanese firms, and whether the implementation of Japan’s Corporate Governance Code (CG Code) in 2015 has modified this relationship. Methodology: The study employs fixed effects panel regressio

Purpose: This study aims to explore the path of policy adjustment on enterprise innovation performance in the context of fiscal subsidy rollback in China's NEV industry, focusing on the changes in the dimensions of enterprise R&D inputs and patent outputs and further analyzing the moderating role of enterprise size in the process of policy impact. Methodology: Based on the panel data of