Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Advisor Porter, J. David Language English [eng] Non-Academic Affiliation Oregon State University. Honors College

The Axiom of Choice and Homotopy Type Theory

Creator:

Schneider, Eric

Abstract:

In this work we introduce some basic concepts within homotopy type theory (HoTT), a proposed alternative mathematical foundation to classical set theory. In particular, our discussion revolves around the Axiom of Choice (AC). In Part I, we introduce the classical AC and some of its most important equivalents. In Part...

Resource Type:

Honors College Thesis

Full Text:

Axiom of Choice and Homotopy Type Theory Abstract approved: David Wing In this work we introduce some
“Narco-Deforestation” in Central American Protected Areas: Developing A Spatiotemporal Proxy Database for Drug-Trafficking Activities from Media Reporting

Creator:

Cameron, Olivia Z.

Abstract:

On a global scale, illicit economies have dramatic impacts on the physical environment. Cocaine trafficking has been recognized as a major driver of deforestation inside Central American protected areas. A key problem in studying and managing the environmental impacts of illicit economic activity is the difficulty in obtaining reliable data....

Resource Type:

Honors College Thesis

Full Text:

: __________________________________________________ David Wrathall On a global scale, illicit economies have dramatic impacts on the physical