Jan Mycielski

25 papers Journal 24
YearRankTypeTitle / Venue / Authors
2018 J jnl
Shadows of the axiom of choice in the universe L(R).
Arch. Math. Log.
Jan Mycielski, Grzegorz Tomkowicz
2017 J jnl
Strong measure zero and infinite games.
Arch. Math. Log.
Fred Galvin, Jan Mycielski, Robert Solovay
2013 J jnl
On the Formalization of Theories.
J. Autom. Reason.
Jan Mycielski
2008 J jnl
Closed Curves on Spheres.
Am. Math. Mon.
Wlodzimierz Holsztynski, Jan Mycielski, Gregory Charles O'Brien, Stanislaw Swierczkowski
2004 J jnl
On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge).
Ann. Pure Appl. Log.
Jan Mycielski
2001 J jnl
Foundations of Mathematics in the Twentieth Century.
Am. Math. Mon.
V. Wiktor Marek, Jan Mycielski
1997 — ed.
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Structures in Logic and Computer Science
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa
1995 J jnl
New Set-Theoretic Axioms Derived from a Lean Metamathematics.
J. Symb. Log.
Jan Mycielski
1992 J jnl
Quantifier-free versions of first order logic and their psychological significance.
J. Philos. Log.
Jan Mycielski
1991 J jnl
Application of learning theorems.
Fundam. Informaticae
Y. Faber, Jan Mycielski
1991 J jnl
Cellular automata on tress, a model for parallel computation.
Fundam. Informaticae
Jan Mycielski, Damian Niwinski
1989 J jnl
The meaning of pure mathematics.
J. Philos. Log.
Jan Mycielski
1986 J jnl
Addendum to the paper "On the dependence of functions on their variables".
J. Comb. Theory A
Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski
1986 J jnl
Locally Finite Theories.
J. Symb. Log.
Jan Mycielski
1984 J jnl
Annual Meeting of the Association for Symbolic Logic: Denver, 1983.
J. Symb. Log.
Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce
1983 J jnl
Hereditarily finite sets and identity trees.
J. Comb. Theory B
Amram Meir, John W. Moon, Jan Mycielski
1982 J jnl
Compositional complexity of Boolean functions.
Discret. Appl. Math.
Harold Abelson, Andrzej Ehrenfeucht, James Fickett, Jan Mycielski
1982 J jnl
On the Dependence of Functions on Their Variables.
J. Comb. Theory A
Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski
1981 J jnl
Analysis Without Actual Infinity.
J. Symb. Log.
Jan Mycielski
1979 J jnl
On k-Stable Functions.
J. Comb. Theory A
Andrzej Ehrenfeucht, Jan Mycielski
1977 J jnl
A Lattice of Interpretability Types of Theories.
J. Symb. Log.
Jan Mycielski
1974 J jnl
On Families of Intersecting Sets.
J. Comb. Theory A
Andrzej Ehrenfeucht, Jan Mycielski
1973 J jnl
Graphs with valency k, edge connectivity k, chromatic index k + 1 and arbitrary girth.
Discret. Math.
Vance Faber, Jan Mycielski
1973 J jnl
Meeting of the Association for Symbolic Logic, Dallas 1973.
J. Symb. Log.
J. Donald Monk, Jan Mycielski, Jürgen Schmidt
1971 J jnl
On Boolean Functions and Connected Sets.
Math. Syst. Theory
Ralph McKenzie, Jan Mycielski, David Thompson