Jan Mycielski

According to our database, Jan Mycielski authored at least 24 papers between 1971 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2018

Shadows of the axiom of choice in the universe L(R).

Jan Mycielski, Grzegorz Tomkowicz

Arch. Math. Log., 2018

2017

Strong measure zero and infinite games.

Fred Galvin, Jan Mycielski, Robert Solovay

Arch. Math. Log., 2017

2013

On the Formalization of Theories.

Jan Mycielski

J. Autom. Reason., 2013

2008

Closed Curves on Spheres.

Wlodzimierz Holsztynski, Jan Mycielski, Gregory Charles O'Brien, Stanislaw Swierczkowski

Am. Math. Mon., 2008

2004

On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge).

Jan Mycielski

Ann. Pure Appl. Log., 2004

2001

Foundations of Mathematics in the Twentieth Century.

V. Wiktor Marek, Jan Mycielski

Am. Math. Mon., 2001

1995

New Set-Theoretic Axioms Derived from a Lean Metamathematics.

Jan Mycielski

J. Symb. Log., 1995

1992

Quantifier-free versions of first order logic and their psychological significance.

Jan Mycielski

J. Philos. Log., 1992

1991

Cellular automata on tress, a model for parallel computation.

Jan Mycielski, Damian Niwinski

Fundam. Informaticae, 1991

Application of learning theorems.

Y. Faber, Jan Mycielski

Fundam. Informaticae, 1991

1989

The meaning of pure mathematics.

Jan Mycielski

J. Philos. Log., 1989

1986

Locally Finite Theories.

Jan Mycielski

J. Symb. Log., 1986

Addendum to the paper "On the dependence of functions on their variables".

Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski

J. Comb. Theory A, 1986

1984

Annual Meeting of the Association for Symbolic Logic: Denver, 1983.

Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce

J. Symb. Log., 1984

1983

Hereditarily finite sets and identity trees.

Amram Meir, John W. Moon, Jan Mycielski

J. Comb. Theory B, 1983

1982

On the Dependence of Functions on Their Variables.

Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski

J. Comb. Theory A, 1982

Compositional complexity of Boolean functions.

Harold Abelson, Andrzej Ehrenfeucht, James Fickett, Jan Mycielski

Discret. Appl. Math., 1982

1981

Analysis Without Actual Infinity.

Jan Mycielski

J. Symb. Log., 1981

1979

On k-Stable Functions.

Andrzej Ehrenfeucht, Jan Mycielski

J. Comb. Theory A, 1979

1977

A Lattice of Interpretability Types of Theories.

Jan Mycielski

J. Symb. Log., 1977

1974

On Families of Intersecting Sets.

Andrzej Ehrenfeucht, Jan Mycielski

J. Comb. Theory A, 1974

1973

Meeting of the Association for Symbolic Logic, Dallas 1973.

J. Donald Monk, Jan Mycielski, Jürgen Schmidt

J. Symb. Log., 1973

Graphs with valency k, edge connectivity k, chromatic index k + 1 and arbitrary girth.

Vance Faber, Jan Mycielski

Discret. Math., 1973

1971

On Boolean Functions and Connected Sets.

Ralph McKenzie, Jan Mycielski, David Thompson

Math. Syst. Theory, 1971