Sciweavers

57 search results - page 3 / 12

» Luce's choice axiom

15

CJ
2006

113views more CJ 2006»

100 years of Zermelo's axiom of choice: what was the problem with it?

13 years 7 months ago

100 years of Zermelo's axiom of choice: what was the problem with it?

Download www.math.kth.se

Per Martin-Löf

claim paper

Read More »

14

MLQ
2008

46views more MLQ 2008»

The axiom of choice and the law of excluded middle in weak set theories

13 years 7 months ago

The axiom of choice and the law of excluded middle in weak set theories

Download publish.uwo.ca

John L. Bell

claim paper

Read More »

18

MLQ
2002

102views more MLQ 2002»

Products of Compact Spaces and the Axiom of Choice

13 years 7 months ago

Products of Compact Spaces and the Axiom of Choice

Download www.math.purdue.edu

We study the Tychonoff Compactness Theorem for several different definitions of a compact space.

Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyr...

claim paper

Read More »

23

MLQ
1998

103views more MLQ 1998»

Versions of Normality and Some Weak Forms of the Axiom of Choice

13 years 7 months ago

Versions of Normality and Some Weak Forms of the Axiom of Choice

Download www.math.purdue.edu

Abstract. We investigate the set theoretical strength of some properties of normality, including Urysohn’s Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions o...

Paul E. Howard, Kyriakos Keremedis, Herman Rubin, ...

claim paper

Read More »

16

MSCS
2002

47views more MSCS 2002»

Variations on Realizability: Realizing the Propositional Axiom of Choice

13 years 7 months ago

Variations on Realizability: Realizing the Propositional Axiom of Choice

Download www.dpmms.cam.ac.uk

J. M. E. Hyland

claim paper

Read More »

« Prev « First page 3 / 12 Last » Next »