Sciweavers

13 search results - page 1 / 3

» aml 2002

84

Voted

AML
2002

59views more AML 2002»

A note on countable models of 1-based theories

15 years 2 months ago

A note on countable models of 1-based theories

Download www.math.nsc.ru

Predrag Tanovic

claim paper

Read More »

87

AML
2002

50views more AML 2002»

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

15 years 2 months ago

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

Download www.cs.swan.ac.uk

Arnold Beckmann

claim paper

Read More »

62

AML
2002

48views more AML 2002»

Max and min limiters

15 years 2 months ago

Max and min limiters

Download www.cs.umd.edu

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

claim paper

Read More »

130

AML
2002

112views more AML 2002»

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

15 years 2 months ago

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

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 »

89

AML
2002

55views more AML 2002»

Strongly meager and strong measure zero sets

15 years 2 months ago

Strongly meager and strong measure zero sets

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 »