Michał Krynicki

Available identifiers

zbMath Open krynicki.michalWikidataQ7945073 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
https://portal.mardi4nfdi.de/entity/Q3509165	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/Q4395553	1999-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4395559	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
The non-definability notion and first order logic	1988-01-01	Paper
Notion of Interpretation and Nonelementary Languages	1988-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/Q3789541	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michał Krynicki