Theories of initial segments of standard models of arithmetics and their complete extensions von Krynicki, Michał, Tomasik, Jerzy, Zdanowski, Konrad

Volltext

Games on Trees and Syntactical Complexity of Formulas von Krynicki, Michał, Torres, Jose Maria Turull

Volltext

Theories of arithmetics in finite models von Krynicki, Michał, Zdanowski, Konrad

Volltext

The Härtig quantifier: a survey von Herre, Heinrich, Krynicki, Michał, Pinus, Alexandr, Väänänen, Jouko

Volltext

An axiomatization of the logic with the rough quantifier von Krynicki, Michał, Tuschik, Hans-Peter

Volltext

On Simplicity of Formulas von Krynicki, Michał, Szczerba, Lesław

Volltext

A Note on Syntactical and Semantical Functions von Gajda, Adam, Krynicki, Michał, Szczerba, Lesław

Volltext

Hierarchies of Partially Ordered Connectives and Quantifiers von Krynicki, Michał

Volltext

Vector spaces and binary quantifiers von KRYNICKI, M, LACHLAN, A, VAANANEN, J

Volltext

On the semantics of the Henkin quantifier von Krynicki, Michał, Lachlan, Alistair H.

Volltext

Decidability problems in languages with Henkin quantifiers von Krynicki, Michał, Mostowski, Marcin

Volltext

On orderings of the family of all logics von Krynicki, Michał, Väänänen, Jouko

Volltext

Fundamentals of Stability Theory von Krynicki, Michał

Volltext

Quantifiers determined by partial orderings von Krynicki, Michal

Volltext

The Non-Definability Notion and First Order Logic von Krynicki, Michal

Volltext

Notion of Interpretation and Nonelementary Languages von Krynicki, Michal

Volltext

On Some Applications of Games for Härtig Quantifier von Krynicki, Michal

Volltext

On orderings of the family of all logics von Krynicki, Michal, Väänänen, Jouko

Volltext

Remarks on The Cartesian Closure von Hella, Lauri, Krynicki, Michal

Volltext

Survey/expository paper: The Härtig quantifier: a survey von Herre, Heinrich, Krynicki, Michal, Pinus, Alexandr, VÄÄNÄNEN, JOUKO

Volltext