dblp.uni-trier.dewww.uni-trier.de

Jan Mycielski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2004
16EEJan 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
11EEAndrzej 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
8EEAmram 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)

Coauthor Index

1Andrzej Ehrenfeucht [3] [5] [7] [11]
2Y. Faber [12]
3Carl G. Jockusch Jr. [9]
4Jeff Kahn [7] [11]
5Richard Laver [9]
6Roger D. Maddux [7] [11]
7Ralph McKenzie [1]
8Amram Meir [8]
9J. Donald Monk [2] [9]
10John W. Moon [8]
11Damian Niwinski [13]
12Jon Pearce [9]
13Grzegorz Rozenberg [15]
14Arto Salomaa [15]
15Jurgen Schmidt [2]
16David Thompson [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)