Search Sciweavers | Sciweavers

71 search results - page 3 / 15

» Unions and the axiom of choice

151

click to vote

CADE
2003
Springer

139views Logical Reasoning» more CADE 2003»

Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms

16 years 6 months ago

Download www.ii.uni.wroc.pl

Hans de Nivelle

claim paper

Read More »

109

click to vote

FUIN
2008

57views more FUIN 2008»

Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work)

15 years 6 months ago

Download www.lama.univ-savoie.fr

Christophe Raffalli, Frédéric Ruyer

claim paper

Read More »

107

click to vote

CJ
2006

113views more CJ 2006»

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

15 years 6 months ago

Download www.math.kth.se

Per Martin-Löf

claim paper

Read More »

107

click to vote

MLQ
2008

46views more MLQ 2008»

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

15 years 6 months ago

Download publish.uwo.ca

John L. Bell

claim paper

Read More »

122

click to vote

MLQ
2002

102views more MLQ 2002»

Products of Compact Spaces and the Axiom of Choice

15 years 5 months ago

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 »

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers