| |
|
Pawel M. Idziakprofessor
| phone: | (+48-12) 664 67 84 | | fax: | (+48-12) 664 69 13 | | email: |  | | office: | ul. Gronostajowa 3, 30-387 Krakow
| | room: | 115 | | office hours: | Wednesday 14:30 - 16:00 |
|
|
| research interests |
| algorithms | | computational complexity | | cryptography | | algebra | | logic | | finite model theory |
| selected publications |
Paweł M. Idziak, Petar Marković, Ralph McKenzie, Matthew A. Valeriote and Ross Willard,
Tractability and learnabilty arising from algebras with few subpowers,
Proc. 22 IEEE Symposium on Logic in Computer Science, 2007, pp. 213-222. | Joel Berman, Paweł M. Idziak, Petar Marković, Ralph McKenzie, Matthew A. Valeriote and Ross Willard,
Varieties with few subalgebras of powers,
manuscript | Paweł M. Idziak, Katarzyna Słomczyńska and Andrzej Wroński,
Equivalential algebras: A study of Fregean Varieties,
manuscript | Paweł M. Idziak, Ralph McKenzie and Matthew A. Valeriote,
The structure of locally finite varieties with polynomially many models,
manuscript | Paweł M. Idziak, Keith A. Kearnes, Emil W. Kiss and Matthew A. Valeriote,
Definable principal congruences and solvability,
to appear in: Annals of Pure and Applied Logic | Joel Berman and Paweł M. Idziak,
Generative Complexity in Algebra,
Memoirs of the American Mathematical Society, 175(2005), no.828. | Paweł M.Idziak,
Classification in finite model theory: counting finite algebras,
Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups, and Universal Algebra,
NATO Science Series II: Mathematics, Physics and Chemistry,
vol.207(2005), 149-158. | Erhard Aichinger and Paweł M. Idziak,
Polynomial interpolation in extended groups,
Journal of Algebra, 271(2004), 65-107 | Andrei Bulatov and Paweł M. Idziak,
Number of Malcev clones on small sets,
Discrete Mathematics,
268(2003), 59-80 | Paweł M. Idziak and Ralph McKenzie,
Varieties with polynomially many models, I, Fundamenta Mathematicae,
170(2001), 53-68 | Paweł M. Idziak and Matthew A.Valeriote,
A property of the solvable
radical in finitely decidable varieties,
Fundamenta Mathematicae,
170(2001), 69--86 | David M. Clark, Paweł M. Idziak, Lousidini Sabourin, Csaba Szabó and Ross
Willard, Natural dualities for quasivarieties generated by a finite
commutative ring, Algebra Universalis, 46(2001), 285-320 | Paweł M. Idziak and Katarzyna Slomczyńska, Polynomially rich algebras,
Journal of Pure and Applied Algebra, 156(2001), 33-68 | Brian A. Davey, Pawel M. Idziak, William A. Lampe and George F. McNulty,
Dualizability and graph algebras, Discrete Math.,
214(2000), 145-172 | Joel Berman and Pawel M. Idziak, Counting finite algebras in the Post
varieties, International Journal of Algebra and Computation,
10(2000), 323-337 | Pawel M. Idziak, Clones with Malcev operations, International
Journal of Algebra and Computation, 9(1999), 213-226 | Pawel M. Idziak, Decidability and structure, Logic, Algebra,
Computer Science, Banach Center Publications, vol.46 (1999), 125-135 | Pawel M. Idziak, Duality via sheaves, in: J.V. de Carvalho and
I.Ferreirim, eds., Dualities, Interpretability and Ordered Structures,
Centro de Algebra, Lisbon, 1999, pp.9-20 | Pawel M. Idziak and Jerzy Tyszkiewicz, Monadic second order
probabilities in algebra. Directly representable varieties and groups,
in: Logic and Random Structures, R.B.Boppana, J.F.Lynch, (eds),
DIMACS Series in Discrete Mathematics and Theoretical Computer Science,
Amer. Math. Soc., 33 (1997), 79-107 | Pawel M. Idziak, Katarzyna Slomczynska and Andrzej Wronski,
Equivalential algebras: A study of Fregean Varieties, manuscript
1997, 98pp. abstract can be found in: Proc. Workshop on
Abstract Algebraic Logic, CRM Barcelona, Spain, July 1-5, 1997,
pp.95-100. | Paweł M. Idziak, A characterization of finitely decidable congruence
modular varieties, Transactions of the American Mathematical
Society, 349(1997), 903-934 | Pawel M. Idziak and Andrzej Wronski, Definability of principal
congruences in equivalential algebras, Colloquium Mathematicum,
74(1997), 225-238 | Stanley Burris and Pawel M. Idziak, A directly representable variety
has a discrete first-order law, International Journal of Algebra and
Computation, 6(1996), 269-276 | Tomasz Gorazd and Pawel M. Idziak, The isomorphism problem for
varieties generated by a two element algebra, Algebra Universalis,
34(1995), 430-439 | Pawel M. Idziak, Elementary theory of finite equivalential algebras,
Reports on Mathematical Logic, 25(1991), 81--89 | Pawel M. Idziak, Sheaaves in universal algebra and model theory, Part
II, Reports on Mathematical Logic, 24(1990), 61--86 | Pawel M. Idziak, Sheaves in universal algebra and model theory, Part
I, Reports on Mathematical Logic, 23(1989), 39--65 | Pawel M. Idziak, Elementary theory of free Heyting algebras,
Reports on Mathematical Logic, 23(1989), 71--73 | Pawel M. Idziak, Varieties with decidable finite algebras II:
Permutability, Algebra Universalis, 26(1989), 247--256 | Pawel M. Idziak, Varieties with decidable finite algebras I:
Linearity, Algebra Universalis, 26(1989), 234--246 | Pawel M. Idziak, Decision problem for finite algebras from
arithmetical varieties with equationally definable principal congruences,
Algebra Universalis, 26(1989), 33--47 | Pawel M. Idziak, Reduced sub-powers and the decision problem for
finite algebras from arithmetical varieties, Algebra Universalis,
25(1988), 365--383 | Pawel M. Idziak, Undecidability of relatively free Hilbert algebras,
Algebra Universalis, 25(1988), 17--26 | Pawel M. Idziak, Decision problem for relatively free Brouwerian
semilattices, Reports on Mathematical Logic, 22(1988),
39--50 | Paweł M. Idziak,
Decidability problem for finite Heyting algebras,
Journal of Symbolic Logic,
53(1988), 729--735 | Paweł M. Idziak, Undecidability of pseudo-complemented semilattices,
Publications of the Research Institute for Mathematical Sciences, Kyoto
University, 23(1987), 559--564 | Paweł M. Idziak, Undecidability of free pseudo-complemented
distributive lattices, Reports on Mathematical Logic,
21(1987), 97--100 | Paweł M. Idziak,
Generalized complex algebras and regular identities,
Bulletin of the Section of Logic Pol. Acad. Sci.,
14(1985), 84--90. | Paweł M. Idziak,
Filters and congruence relations in BCK-semilattices,
Mathematica Japonica, 29(1984), 975--980 | Paweł M. Idziak,
Some theorems about BCK-semilattices,
Mathematica Japonica,
29(1984), 919--921 | Paweł M. Idziak,
Lattice operations in BCK-algebras,
Mathematica Japonica,
29(1984), 839--846 | Paweł M. Idziak,
On varieties of BCK-algebras,
Mathematica Japonica,
28(1983), 157--162 | Paweł M. Idziak,
A finite base for the consequence operation determined by the ring Zp in the language without constants,
Bulletin of the Section of Logic Pol. Acad. Sci.,
12(1983), 76--82. | Paweł M. Idziak,
A minimal equational base for certain varieties of BCK-algebras,
Bulletin of the Section of Logic Pol. Acad. Sci.,
10(1981), 152--157. |
| some recent collaborators |   |
| Petar Marković | University of Novi Sad, Serbia | | Csaba Szabó | Loránd Eötvös University, Budapest, Hungary | | Erhard Aichinger | Johannes Kepler University, Linz, Austria | | Joel Berman | University of Illinois at Chicago, USA | | Ralph McKenzie | Vanderbilt University, Nashville, TN, USA | | Matthew A. Valeriote | McMaster University, Hamilton, Ontario, Canada |
| short cv |
| 1980 | M.S. (mathematics) | Jagiellonian University | Krakow, Poland | | 1984 | PhD | Jagiellonian University | Krakow, Poland | | 1986-7 | Postdoc | Hiroshima University | Hiroshima, Japan | | 1990 | Dr. habil. | Jagiellonian University | Krakow, Poland | | 1991 | visiting scholar | McMaster University | Hamilton, ON, Canada | | 1993-4 | Fulbright Senior Scholar | University of California | Berkeley, CA, USA | | 1994 | visiting professor | Waterloo University | Waterloo, ON, Canada | | 1996 | visiting researcher | The Fields Institute for Research in Mathematical Sciences | Toronto, ON, Canada | | 1997 | visiting researcher | Vanderbilt University | Nashville, TN, USA | | 1999 | visiting researcher | University of Illinois at Chicago | Chicago, IL, USA | | 2000 | visiting researcher | Vanderbilt University | Nashville, TN, USA | | 2001 | visiting researcher | Japan Advanced Institute of Science and Technology | Ishikawa, Japan | | 2001 - | Professor of Mathematics and Computer Science | Jagiellonian University | Krakow, Poland | | 2002 | visiting researcher | Vanderbilt University | Nashville, TN, USA | | 2003 | visiting researcher | University of Illinois at Chicago | Chicago, IL, USA | | 2004 | visiting researcher | Vanderbilt University | Nashville, TN, USA | | 2005 | visiting researcher | Vanderbilt University | Nashville, TN, USA | | 2006 | visiting researcher | McMaster University | Hamilton, ON, Canada | |
|