Jan Mycielski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2018

Shadows of the axiom of choice in the universe L(R)Jan Mycielski, Grzegorz Tomkowicz. AML, 57(5-6):607-616, 2018. [doi]

2017

Strong measure zero and infinite gamesFred Galvin, Jan Mycielski, Robert Solovay. AML, 56(7-8):725-732, 2017. [doi]

2013

On the Formalization of TheoriesJan Mycielski. JAR, 50(2):211-216, 2013. [doi]

2008

Closed Curves on SpheresWlodzimierz Holsztynski, Jan Mycielski, Gregory Charles O'Brien, Stanislaw Swierczkowski. tamm, 115(2):149-153, 2008. [doi]

2004

On the tension between Tarski s nominalism and his model theory (definitions for a mathematical model of knowledge)Jan Mycielski. APAL, 126(1-3):215-224, 2004. [doi]

2001

Foundations of Mathematics in the Twentieth CenturyV. Wiktor Marek, Jan Mycielski. tamm, 108(5):449-468, 2001. [doi]

1995

New Set-Theoretic Axioms Derived from a Lean MetamathematicsJan Mycielski. JSYML, 60(1):191-198, 1995.

1992

Quantifier-free versions of first order logic and their psychological significanceJan Mycielski. jphil, 21(2):125-147, 1992. [doi]

1991

Application of learning theoremsY. Faber, Jan Mycielski. FUIN, 15(2):145-167, 1991.

Cellular automata on tress, a model for parallel computationJan Mycielski, Damian Niwinski. FUIN, 15(2):139-144, 1991.

1989

The meaning of pure mathematicsJan Mycielski. jphil, 18(3):315-320, 1989. [doi]

1986

Addendum to the paper On the dependence of functions on their variables Andrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski. JCT, 42(2):317, 1986. [doi]

Locally Finite TheoriesJan Mycielski. JSYML, 51(1):59-62, 1986.

1984

Annual Meeting of the Association for Symbolic Logic: Denver, 1983Carl G. Jockusch Jr., Richard Laver, J. Donald Monk, Jan Mycielski, Jon Pearce. JSYML, 49(2):674-682, 1984.

1983

Hereditarily finite sets and identity treesAmram Meir, John W. Moon, Jan Mycielski. JCT, 35(2):142-155, 1983. [doi]

1982

Compositional complexity of Boolean functionsHarold Abelson, Andrzej Ehrenfeucht, James Fickett, Jan Mycielski. DAM, 4(1):1-10, 1982. [doi]

On the Dependence of Functions on Their VariablesAndrzej Ehrenfeucht, Jeff Kahn, Roger D. Maddux, Jan Mycielski. JCT, 33(1):106-108, 1982.

1981

Analysis Without Actual InfinityJan Mycielski. JSYML, 46(3):625-633, 1981.

1979

On k-Stable FunctionsAndrzej Ehrenfeucht, Jan Mycielski. JCT, 27(3):282-288, 1979.

1977

A Lattice of Interpretability Types of TheoriesJan Mycielski. JSYML, 42(2):297-305, 1977.

1974

On Families of Intersecting SetsAndrzej Ehrenfeucht, Jan Mycielski. JCT, 17(2):259-260, 1974.

1973

Graphs with valency k, edge connectivity k, chromatic index k + 1 and arbitrary girthVance Faber, Jan Mycielski. DM, 4(4):339-345, 1973. [doi]

Meeting of the Association for Symbolic Logic, Dallas 1973J. Donald Monk, Jan Mycielski, Jurgen Schmidt. JSYML, 38(3):541-549, 1973.

1971

On Boolean Functions and Connected SetsRalph McKenzie, Jan Mycielski, David Thompson. mst, 5(3):259-270, 1971.

Sign in or sign up to see more results.

runs on WebDSL