Jan Mycielski

Publication Activity (10 Years)

Years Active: 1971-2018
Publications (10 Years): 2

Top Topics

Nash Equilibria

Top Venues

Arch. Math. Log.

J. Autom. Reason.

Publications

Jan Mycielski, Grzegorz Tomkowicz
Shadows of the axiom of choice in the universe L(R). Arch. Math. Log. 57 (5-6) (2018)
Fred Galvin, Jan Mycielski, Robert Solovay
Strong measure zero and infinite games. Arch. Math. Log. 56 (7-8) (2017)
Jan Mycielski
On the Formalization of Theories. J. Autom. Reason. 50 (2) (2013)
Wlodzimierz Holsztynski, Jan Mycielski, Gregory Charles O'Brien, Stanislaw Swierczkowski
Closed Curves on Spheres. Am. Math. Mon. 115 (2) (2008)
Jan Mycielski
On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge). Ann. Pure Appl. Log. 126 (1-3) (2004)
V. Wiktor Marek, Jan Mycielski
Foundations of Mathematics in the Twentieth Century. Am. Math. Mon. 108 (5) (2001)
Jan Mycielski
New Set-Theoretic Axioms Derived from a Lean Metamathematics. J. Symb. Log. 60 (1) (1995)
Jan Mycielski
Quantifier-free versions of first order logic and their psychological significance. J. Philos. Log. 21 (2) (1992)
Y. Faber, Jan Mycielski
Application of learning theorems. Fundam. Informaticae 15 (2) (1991)
Jan Mycielski, Damian Niwinski
Cellular automata on tress, a model for parallel computation. Fundam. Informaticae 15 (2) (1991)
Jan Mycielski
The meaning of pure mathematics. J. Philos. Log. 18 (3) (1989)
Jan Mycielski
Locally Finite Theories. J. Symb. Log. 51 (1) (1986)
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) (1986)
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) (1984)
Amram Meir, John W. Moon, Jan Mycielski
Hereditarily finite sets and identity trees. J. Comb. Theory, Ser. B 35 (2) (1983)
Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski
On the Dependence of Functions on Their Variables. J. Comb. Theory, Ser. A 33 (1) (1982)
Harold Abelson, Andrzej Ehrenfeucht, James Fickett, Jan Mycielski
Compositional complexity of Boolean functions. Discret. Appl. Math. 4 (1) (1982)
Jan Mycielski
Analysis Without Actual Infinity. J. Symb. Log. 46 (3) (1981)
Andrzej Ehrenfeucht, Jan Mycielski
On k-Stable Functions. J. Comb. Theory, Ser. A 27 (3) (1979)
Jan Mycielski
A Lattice of Interpretability Types of Theories. J. Symb. Log. 42 (2) (1977)
Andrzej Ehrenfeucht, Jan Mycielski
On Families of Intersecting Sets. J. Comb. Theory, Ser. A 17 (2) (1974)
Vance Faber, Jan Mycielski
Graphs with valency k, edge connectivity k, chromatic index k + 1 and arbitrary girth. Discret. Math. 4 (4) (1973)
J. Donald Monk, Jan Mycielski, Jürgen Schmidt
Meeting of the Association for Symbolic Logic, Dallas 1973. J. Symb. Log. 38 (3) (1973)
Ralph McKenzie, Jan Mycielski, David Thompson
On Boolean Functions and Connected Sets. Math. Syst. Theory 5 (3) (1971)