Search Sciweavers | Sciweavers

13 search results - page 1 / 3

» aml 2002

click to vote

AML
2002

59views more AML 2002»

A note on countable models of 1-based theories

13 years 4 months ago

Download www.math.nsc.ru

Predrag Tanovic

claim paper

Read More »

click to vote

AML
2002

50views more AML 2002»

A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets

13 years 4 months ago

Download www.cs.swan.ac.uk

Arnold Beckmann

claim paper

Read More »

click to vote

AML
2002

48views more AML 2002»

Max and min limiters

13 years 4 months ago

Download www.cs.umd.edu

James C. Owings, William I. Gasarch, Georgia Marti...

claim paper

Read More »

click to vote

AML
2002

112views more AML 2002»

Strong normalization of a symmetric lambda calculus for second-order classical logic

13 years 4 months ago

Download staff.aist.go.jp

Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.

Yoriyuki Yamagata

claim paper

Read More »

click to vote

AML
2002

55views more AML 2002»

Strongly meager and strong measure zero sets

13 years 4 months ago

Download shelah.logic.at

In this paper we present two consistency results concerning the existence of large strong measure zero and strongly meager sets.

Tomek Bartoszynski, Saharon Shelah

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers