Search Sciweavers | Sciweavers

20 search results - page 1 / 4

» mlq 2008

click to vote

MLQ
2008

54views more MLQ 2008»

A constructive version of Birkhoff's theorem

13 years 10 months ago

Download saeedsalehi.ir

Jesper Carlström

claim paper

Read More »

click to vote

MLQ
2008

59views more MLQ 2008»

Dialectica interpretation of well-founded induction

13 years 10 months ago

Download www.mathematik.uni-muenchen.de

Helmut Schwichtenberg

claim paper

Read More »

click to vote

MLQ
2008

46views more MLQ 2008»

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

13 years 10 months ago

Download publish.uwo.ca

John L. Bell

claim paper

Read More »

click to vote

MLQ
2008

49views more MLQ 2008»

Polish group actions, nice topologies, and admissible sets

13 years 10 months ago

Download www.math.uni.wroc.pl

Barbara Majcher-Iwanow

claim paper

Read More »

click to vote

MLQ
2008

50views more MLQ 2008»

A note on the axiomatisation of real numbers

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers