Jan Mycielski

Affiliations:
  • University of Colorado, USA


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Shadows of the axiom of choice in the universe L(R).
Arch. Math. Log., 2018

2017
Strong measure zero and infinite games.
Arch. Math. Log., 2017

2013
On the Formalization of Theories.
J. Autom. Reason., 2013

2008
Closed Curves on Spheres.
Am. Math. Mon., 2008

2004
On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge).
Ann. Pure Appl. Log., 2004

2001
Foundations of Mathematics in the Twentieth Century.
Am. Math. Mon., 2001

1995
New Set-Theoretic Axioms Derived from a Lean Metamathematics.
J. Symb. Log., 1995

1992
Quantifier-free versions of first order logic and their psychological significance.
J. Philos. Log., 1992

1991
Cellular automata on tress, a model for parallel computation.
Fundam. Informaticae, 1991

Application of learning theorems.
Fundam. Informaticae, 1991

1989
The meaning of pure mathematics.
J. Philos. Log., 1989

1986
Locally Finite Theories.
J. Symb. Log., 1986

Addendum to the paper "On the dependence of functions on their variables".
J. Comb. Theory A, 1986

1984
Annual Meeting of the Association for Symbolic Logic: Denver, 1983.
J. Symb. Log., 1984

1983
Hereditarily finite sets and identity trees.
J. Comb. Theory B, 1983

1982
On the Dependence of Functions on Their Variables.
J. Comb. Theory A, 1982

Compositional complexity of Boolean functions.
Discret. Appl. Math., 1982

1981
Analysis Without Actual Infinity.
J. Symb. Log., 1981

1979
On k-Stable Functions.
J. Comb. Theory A, 1979

1977
A Lattice of Interpretability Types of Theories.
J. Symb. Log., 1977

1974
On Families of Intersecting Sets.
J. Comb. Theory A, 1974

1973
Meeting of the Association for Symbolic Logic, Dallas 1973.
J. Symb. Log., 1973

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

1971
On Boolean Functions and Connected Sets.
Math. Syst. Theory, 1971


  Loading...