| Publication | Date of Publication | Type |
|---|
Theories of initial segments of standard models of arithmetics and their complete extensions
Theoretical Computer Science | 2011-07-18 | Paper |
| Witness quantifiers and 0-1 laws | 2008-07-01 | Paper |
| scientific article; zbMATH DE number 5241977 (Why is no real title available?) | 2008-03-03 | Paper |
Games on Trees and Syntactical Complexity of Formulas
Logic Journal of the IGPL | 2008-01-18 | Paper |
Theories of arithmetics in finite models
Journal of Symbolic Logic | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 1361517 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1303461 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1163935 (Why is no real title available?) | 1999-01-19 | Paper |
| scientific article; zbMATH DE number 1163929 (Why is no real title available?) | 1999-01-19 | Paper |
| scientific article; zbMATH DE number 1163946 (Why is no real title available?) | 1998-06-11 | Paper |
| scientific article; zbMATH DE number 870184 (Why is no real title available?) | 1996-06-11 | Paper |
Hierarchies of Partially Ordered Connectives and Quantifiers
Mathematical Logic Quarterly | 1995-01-22 | Paper |
Remarks on The Cartesian Closure
Mathematical Logic Quarterly | 1993-04-01 | Paper |
Decidability problems in languages with Henkin quantifiers
Annals of Pure and Applied Logic | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 68156 (Why is no real title available?) | 1992-10-04 | Paper |
The Härtig quantifier: a survey
Journal of Symbolic Logic | 1992-06-27 | Paper |
An axiomatization of the logic with the rough quantifier
Journal of Symbolic Logic | 1992-06-27 | Paper |
On simplicity of formulas
Studia Logica | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4142017 (Why is no real title available?) | 1990-01-01 | Paper |
Quantifiers determined by partial orderings
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
Henkin and function quantifiers
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
Notion of Interpretation and Nonelementary Languages
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
The non-definability notion and first order logic
Studia Logica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4053589 (Why is no real title available?) | 1987-01-01 | Paper |
A note on syntactical and semantical functions
Studia Logica | 1987-01-01 | Paper |
On Some Applications of Games for Härtig Quantifier
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4043822 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3952749 (Why is no real title available?) | 1985-01-01 | Paper |
Vector spaces and binary quantifiers
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
On orderings of the family of all logics
Archiv für Mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
On the semantics of the Henkin quantifier
Journal of Symbolic Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3637833 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3528202 (Why is no real title available?) | 1976-01-01 | Paper |
