Michał Krynicki

Available identifiers

zbMath Open krynicki.michalDBLP73/6613WikidataQ7945073 ScholiaQ7945073MaRDI QIDQ549715

List of research outcomes

Publication	Date of Publication	Type
Theories of initial segments of standard models of arithmetics and their complete extensions	2011-07-18	Paper
Witness quantifiers and 0-1 laws	2008-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5445166	2008-03-03	Paper
Games on Trees and Syntactical Complexity of Formulas	2008-01-18	Paper
Theories of arithmetics in finite models	2006-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4699335	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4250072	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4395559	1999-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4395553	1999-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4395570	1998-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4875706	1996-06-11	Paper
Hierarchies of Partially Ordered Connectives and Quantifiers	1995-01-22	Paper
Remarks on The Cartesian Closure	1993-04-01	Paper
Decidability problems in languages with Henkin quantifiers	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4014127	1992-10-04	Paper
The Härtig quantifier: a survey	1992-06-27	Paper
An axiomatization of the logic with the rough quantifier	1992-06-27	Paper
On simplicity of formulas	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3474642	1990-01-01	Paper
Quantifiers determined by partial orderings	1990-01-01	Paper
Henkin and function quantifiers	1989-01-01	Paper
Notion of Interpretation and Nonelementary Languages	1988-01-01	Paper
The non-definability notion and first order logic	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3789541	1987-01-01	Paper
A note on syntactical and semantical functions	1987-01-01	Paper
On Some Applications of Games for Härtig Quantifier	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3781742	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3722496	1985-01-01	Paper
Vector spaces and binary quantifiers	1984-01-01	Paper
On orderings of the family of all logics	1982-01-01	Paper
On the semantics of the Henkin quantifier	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198735	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4105652	1976-01-01	Paper

Research outcomes over time

This page was built for person: Michał Krynicki