Über Möglichkeiten im Relativkalkül

@article{LwenheimberMI,
  title={{\"U}ber M{\"o}glichkeiten im Relativkalk{\"u}l},
  author={Leopold L{\"o}wenheim},
  journal={Mathematische Annalen},
  volume={76},
  pages={447-470}
}
Checking Deadlock-Freedom of Parametric Component-Based Systems
TLDR
The paper presents the theoretical foundations of the method, including new results for the first order monadic logic and proves its soundness, and reports on a preliminary experimental evaluation on several textbook examples. Expand
On the uniform one-dimensional fragment over ordered models
The uniform one-dimensional fragment U1 is a recently introduced extension of the two-variable fragment FO. The logic U1 enables the use of relation symbols of all arities and thereby extends theExpand
Novel threshold concepts in the mathematical sciences
The purpose of this research is to identify and examine some unusual, unexpected or novel threshold concepts in mathematics. This is ongoing work that contributes towards the development of a suiteExpand
FIFTY YEARS OF THE SPECTRUM PROBLEM: SURVEY AND NEW RESULTS
In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models ofExpand
Decidability vs. undecidability. Logico-philosophico-historical remarks
The aim of the paper is to present the decidability problems from a philosophical and historical perspective as well as to indicate basic mathematical and logical results concerning (un)decidabilityExpand
Model Theory ( Draft 20 Jul 00 )
In 1954 Alfred Tarski [210] announced that ‘a new branch of metamathematics’ had appeared under the name of the theory of models. The subject grew fast: the Omega Group bibliography of model theoryExpand
Fifty years of the spectrum problem: survey and new results
The present disclosure involves a method of identifying animals involving the use of a universal identification scheme capable of identifying individual animals anywhere in the world such that dataExpand
How Peircean was the “‘Fregean’ revolution” in logic?
The historiography of logic conceives of a Fregean revolution in which modern mathematical logic (also called symbolic logic) has replaced Aristotelian logic. The preeminent expositors of thisExpand
REREADING TARSKI ON LOGICAL CONSEQUENCE
TLDR
It is argued that recent defenses of the view that in 1936 Tarski required all interpretations of a language to share one same domain of quantification are based on misinterpretations of Tarskian proof and a more detailed report of the textual evidence is offered. Expand
Checking deadlock-freedom of parametric component-based systems
TLDR
The theoretical foundations of the method are presented, the method symbolically extracts trap invariants from interaction formulae defining the system architecture and its soundness is proved. Expand
...
1
2
3
4
5
...