2004 |
16 | EE | Jan Mycielski:
On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge).
Ann. Pure Appl. Logic 126(1-3): 215-224 (2004) |
1997 |
15 | | Jan Mycielski,
Grzegorz Rozenberg,
Arto Salomaa:
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Springer 1997 |
1995 |
14 | | Jan Mycielski:
New Set-Theoretic Axioms Derived from a Lean Metamathematics.
J. Symb. Log. 60(1): 191-198 (1995) |
1991 |
13 | | Jan Mycielski,
Damian Niwinski:
Cellular automata on tress, a model for parallel computation.
Fundam. Inform. 15(2): 139-144 (1991) |
12 | | Y. Faber,
Jan Mycielski:
Application of learning theorems.
Fundam. Inform. 15(2): 145-167 (1991) |
1986 |
11 | EE | Andrzej Ehrenfeucht,
Jeff Kahn,
Roger D. Maddux,
Jan Mycielski:
Addendum to the paper "On the dependence of functions on their variables".
J. Comb. Theory, Ser. A 42(2): 317 (1986) |
10 | | Jan Mycielski:
Locally Finite Theories.
J. Symb. Log. 51(1): 59-62 (1986) |
1984 |
9 | | Carl G. Jockusch Jr.,
Richard Laver,
J. Donald Monk,
Jan Mycielski,
Jon Pearce:
Annual Meeting of the Association for Symbolic Logic: Denver, 1983.
J. Symb. Log. 49(2): 674-682 (1984) |
1983 |
8 | EE | Amram Meir,
John W. Moon,
Jan Mycielski:
Hereditarily finite sets and identity trees.
J. Comb. Theory, Ser. B 35(2): 142-155 (1983) |
1982 |
7 | | Andrzej Ehrenfeucht,
Jeff Kahn,
Roger D. Maddux,
Jan Mycielski:
On the Dependence of Functions on Their Variables.
J. Comb. Theory, Ser. A 33(1): 106-108 (1982) |
1981 |
6 | | Jan Mycielski:
Analysis Without Actual Infinity.
J. Symb. Log. 46(3): 625-633 (1981) |
1979 |
5 | | Andrzej Ehrenfeucht,
Jan Mycielski:
On k-Stable Functions.
J. Comb. Theory, Ser. A 27(3): 282-288 (1979) |
1977 |
4 | | Jan Mycielski:
A Lattice of Interpretability Types of Theories.
J. Symb. Log. 42(2): 297-305 (1977) |
1974 |
3 | | Andrzej Ehrenfeucht,
Jan Mycielski:
On Families of Intersecting Sets.
J. Comb. Theory, Ser. A 17(2): 259-260 (1974) |
1973 |
2 | | J. Donald Monk,
Jan Mycielski,
Jurgen Schmidt:
Meeting of the Association for Symbolic Logic, Dallas 1973.
J. Symb. Log. 38(3): 541-549 (1973) |
1971 |
1 | | Ralph McKenzie,
Jan Mycielski,
David Thompson:
On Boolean Functions and Connected Sets.
Mathematical Systems Theory 5(3): 259-270 (1971) |