Search Sciweavers | Sciweavers

71 search results - page 3 / 15

» Unions and the axiom of choice

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 5 hour ago

Download www.ii.uni.wroc.pl

Hans de Nivelle

claim paper

Read More »

click to vote

FUIN
2008

57views more FUIN 2008»

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

14 years 11 months ago

Download www.lama.univ-savoie.fr

Christophe Raffalli, Frédéric Ruyer

claim paper

Read More »

Voted

CJ
2006

113views more CJ 2006»

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

14 years 11 months ago

Download www.math.kth.se

Per Martin-Löf

claim paper

Read More »

Voted

MLQ
2008

46views more MLQ 2008»

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

14 years 11 months ago

Download publish.uwo.ca

John L. Bell

claim paper

Read More »

click to vote

MLQ
2002

102views more MLQ 2002»

Products of Compact Spaces and the Axiom of Choice

14 years 11 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

Document Tools

Image Tools

Sciweavers