Search Sciweavers | Sciweavers

45 search results - page 2 / 9

» apal 2010

click to vote

APAL
2010

67views more APAL 2010»

The strength of sharply bounded induction requires MSP

15 years 17 hour ago

Download www.mimuw.edu.pl

Sedki Boughattas, Leszek Aleksander Kolodziejczyk

claim paper

Read More »

click to vote

APAL
2010

93views more APAL 2010»

A measure-theoretic proof of Turing incomparability

15 years 17 hour ago

Download www.math.uwaterloo.ca

We prove that if S is an -model of weak weak K

Chris J. Conidis

claim paper

Read More »

click to vote

APAL
2010

75views more APAL 2010»

Global singularization and the failure of SCH

15 years 17 hour ago

Download www.logic.univie.ac.at

We say that is

Radek Honzik

claim paper

Read More »

click to vote

APAL
2010

81views more APAL 2010»

Proof and refutation in MALL as a game

15 years 17 hour ago

Download www.lix.polytechnique.fr

We present a setting in which the search for a proof of B or a refutation of B (i.e., a proof of

Olivier Delande, Dale Miller, Alexis Saurin

claim paper

Read More »

click to vote

APAL
2010

83views more APAL 2010»

Truth in generic cuts

15 years 17 hour ago

Download web.mat.bham.ac.uk

In an earlier paper (MLQ 54, 128

Richard Kaye, Tin Lok Wong

claim paper

Read More »

« Prev « First page 2 / 9 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers