Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ronald J. Knill

The Cone Axiom Implies the Homotopy Axiom

Proceedings of the American Mathematical Society

Applied Mathematics

English

Related publications

The Tychonoff Product Theorem Implies the Axiom of Choice

Fundamenta Mathematicae

English

A Strong Homotopy Axiom for Alexander Cohomology

Proceedings of the American Mathematical Society

Applied Mathematics

English

Martin's Axiom Implies That De Caux's Space Is Countably Metacompact

Proceedings of the American Mathematical Society

Applied Mathematics

English

The Axiom of Choice

English

Automata-Based Axiom Pinpointing

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English

On the ‘‘Third Axiom of Metric Space”

Transactions of the American Mathematical Society

Applied Mathematics

English

Breaking the One Antibody-One Target Axiom

Proceedings of the National Academy of Sciences of the United States of America

Multidisciplinary

English

Eliminating the Substitution Axiom From UNITY Logic

Formal Aspects of Computing

Theoretical Computer Science

English

Restricting Spinoza's Causal Axiom

Philosophical Quarterly

English