Faculty

Institution

Unit

Venue

Jan Mycielski

Professor Emeritus

University of Colorado Boulder

Affiliations

College of Arts and Sciences

Natural Sciences

Mathematics Department

Jan Mycielski is currently serving as a College Of Arts And Sciences Professor Emeritus at University of Colorado Boulder.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jan Mycielski

University of Colorado Boulder

Professor Emeritus

You can click a keyword to filter the displayed items

mathematics applied mathematics mathematical sciences mathematical logic number theory logic in computer science algebra combinatorial theory spectral theory algebraic geometry mathematical optimization analytic number theory group theory geometry and topology geometric topology theory of computation philosophical logic philosophy of logic universal algebra computer science cognitive science symbolic computation approximation methods algebraic combinatorics mathematical models combinatorial optimization automated reasoning function spaces logical formalism formal theory algorithmic game theory computational game theory measure theory proof theory applied algebra automated deduction fuzzy logic substructural logic interpolation spaces imperfect information game abstract algebra analytic combinatorics combinatorial problems function theory rational approximation combinatorics on words choice theory set-theoretic topology kaczmarz algorithm infinite-dimensional spaces perfect information machine learning research convex analysis nonlinear science scientific computing parallel programming logical frameworks logic synthesis logic programming computational logic randomized algorithms pseudo-random sequence pseudorandom number generator pseudorandom sequence interpretability types finite theories invariant measures metric spaces infinite cycles convex linear forms andrzej ehrenfeucht measure space banach-tarski paradox hyperbolic plane twentieth century natural intelligence foundation of mathematics theoretical mathematics topological algebra philosophy of mathematics mathematical psychology computational model theory

Notable Scholarly Works

Notable Federal Grants

Collaborators

Some Theorems Related to a Problem of Ruziewicz. Bulletin of the Polish Academy of Sciences Mathematics (2024)

Jan MycielskiGrzegorz Tomkowicz

theoretical mathematicsalgebraic number theoryapplied mathematicspure mathematicsalgebraic combinatoricsdiscrete mathematicsanalytic number theorycombinatorial theorynumber theoryapplied algebramathematicsfoundation of mathematicsspectral theoryalgebraic geometrymathematical sciences

On the Equivalence of Sets of Equal Haar Measures by Countable Decomposition. Bulletin of the London Mathematical Society (2019)

Jan MycielskiGrzegorz Tomkowicz

theoretical analysisapplied mathematicsnumber theorymathematicscountable decompositionequal haar measures

Paradoxical Sets and Sets With Two Removable Points. Journal of Geometry (2018)

Jan MycielskiGrzegorz Tomkowicz

paradoxical setsgeometric analysisglobal geometryremovable pointsgeometrygeometric topologyset-theoretic topologymathematicsset theorydifferential geometryalgebraic geometry

Shadows of the Axiom of Choice in the Universe $$L(\Mathbb {R})$$ L ( R ). Archive for Mathematical Logic (2017)

Jan MycielskiGrzegorz Tomkowicz

applied mathematicsmathematicschoice modelsrational choicechoice theorymathematical logiclogic in computer scienceproof theory

Strong Measure Zero and Infinite Games. Archive for Mathematical Logic (2017)

Fred GalvinJan MycielskiRobert M. Solovay

game theoryinfinite gamesapplied mathematicsmathematical logic

On Intersections of Generic Perturbations of Definable Sets. Bulletin of the Polish Academy of Sciences Mathematics (2016)

Jan MycielskiKrzysztof Nowak

generic perturbationsdefinable setsapplied mathematicsmathematics

On Small Subsets in Euclidean Spaces. Bulletin of the Polish Academy of Sciences Mathematics (2016)

Jan MycielskiGrzegorz Tomkowicz

theoretical mathematicseuclidean spacesapplied mathematicsalgebraic combinatoricssmall subsetsgroup theoryanalytic number theorygeometric topologycombinatorial theorynumber theoryspectral theorymathematicsapplied algebraset-theoretic topologyset theorygeometry and topologyalgebraic geometry

The Banach–Tarski Paradox for the Hyperbolic Plane (II). Fundamenta Mathematicae (2013)

Jan MycielskiGrzegorz Tomkowicz

banach-tarski paradoxgeometry and topologyhyperbolic planemathematics

On the Formalization of Theories. Journal of Automated Reasoning (2012)

Jan Mycielski

formal theoryformalizationapproximate reasoningapplied mathematicsknowledge representation and reasoningautomated reasoninglogic in computer sciencereasoning systemcomputer sciencetheory of computationautomated deductionmodel theoryfuzzy logicartificial intelligenceformal methodsset theoryproof theoryphilosophy

Pure Mathematics and Physical Reality (Continuity and Computability). Journal of Mathematical Sciences (2007)

Jan Mycielski

computability theoryapplied mathematicspure mathematicsphysical realitymathematicsmathematical sciences

1
2
3
4
5
6
7
10 / page

Jan Mycielski

Professor Emeritus

University of Colorado Boulder

Affiliations

College of Arts and Sciences

Natural Sciences

Mathematics Department

Jan Mycielski is currently serving as a College Of Arts And Sciences Professor Emeritus at University of Colorado Boulder.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jan Mycielski

University of Colorado Boulder

Professor Emeritus

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Some Theorems Related to a Problem of Ruziewicz. Bulletin of the Polish Academy of Sciences Mathematics (2024)

Jan MycielskiGrzegorz Tomkowicz

On the Equivalence of Sets of Equal Haar Measures by Countable Decomposition. Bulletin of the London Mathematical Society (2019)

Jan MycielskiGrzegorz Tomkowicz

theoretical analysisapplied mathematicsnumber theorymathematicscountable decompositionequal haar measures

Paradoxical Sets and Sets With Two Removable Points. Journal of Geometry (2018)

Jan MycielskiGrzegorz Tomkowicz

paradoxical setsgeometric analysisglobal geometryremovable pointsgeometrygeometric topologyset-theoretic topologymathematicsset theorydifferential geometryalgebraic geometry

Shadows of the Axiom of Choice in the Universe $$L(\Mathbb {R})$$ L ( R ). Archive for Mathematical Logic (2017)

Jan MycielskiGrzegorz Tomkowicz

applied mathematicsmathematicschoice modelsrational choicechoice theorymathematical logiclogic in computer scienceproof theory

Strong Measure Zero and Infinite Games. Archive for Mathematical Logic (2017)

Fred GalvinJan MycielskiRobert M. Solovay

game theoryinfinite gamesapplied mathematicsmathematical logic

On Intersections of Generic Perturbations of Definable Sets. Bulletin of the Polish Academy of Sciences Mathematics (2016)

Jan MycielskiKrzysztof Nowak

generic perturbationsdefinable setsapplied mathematicsmathematics

On Small Subsets in Euclidean Spaces. Bulletin of the Polish Academy of Sciences Mathematics (2016)

Jan MycielskiGrzegorz Tomkowicz

The Banach–Tarski Paradox for the Hyperbolic Plane (II). Fundamenta Mathematicae (2013)

Jan MycielskiGrzegorz Tomkowicz

banach-tarski paradoxgeometry and topologyhyperbolic planemathematics

On the Formalization of Theories. Journal of Automated Reasoning (2012)

Jan Mycielski

Pure Mathematics and Physical Reality (Continuity and Computability). Journal of Mathematical Sciences (2007)

Jan Mycielski

computability theoryapplied mathematicspure mathematicsphysical realitymathematicsmathematical sciences

1
2
3
4
5
6
7
10 / page

Similar Faculty Members

Keith Kearnes

Institution

University of Colorado Boulder

mathematical logic

combinatorial theory

Norman Johnson

Institution

University of Iowa

algebra

finite group theory

Piotr Mikusinski

Institution

University of Central Florida

applied mathematics

mathematics

Richard Ehrenborg

Institution

University of Kentucky

mathematics education

discrete structure

Thomas Cusick

Institution

University at Buffalo

cryptosystem

cryptographic hardware

Xiang-dong Hou

Institution

University of South Florida

post-quantum cryptography

cryptographic technology

George M. Bergman

Institution

University of California, Berkeley

category theory

logic in computer science

Wolfgang Schmidt

Institution

University of Colorado Boulder

mathematics

applied mathematics

Hung-Hsi Wu

Institution

University of California, Berkeley

curriculum & instruction

philosophy of mathematics

Alexander Solynin

Institution

Texas Tech University

complex analysis

spectral theory

Similar Faculty Members

Keith Kearnes

Institution

University of Colorado Boulder

mathematical logic

combinatorial theory

Norman Johnson

Institution

University of Iowa

algebra

finite group theory

Piotr Mikusinski

Institution

University of Central Florida

applied mathematics

mathematics

Richard Ehrenborg

Institution

University of Kentucky

mathematics education

discrete structure

Thomas Cusick

Institution

University at Buffalo

cryptosystem

cryptographic hardware

Xiang-dong Hou

Institution

University of South Florida

post-quantum cryptography

cryptographic technology

George M. Bergman

Institution

University of California, Berkeley

category theory

logic in computer science

Wolfgang Schmidt

Institution

University of Colorado Boulder

mathematics

applied mathematics

Hung-Hsi Wu

Institution

University of California, Berkeley

curriculum & instruction

philosophy of mathematics

Alexander Solynin

Institution

Texas Tech University

complex analysis

spectral theory