Search Sciweavers | Sciweavers

26

AML
2006

120views more AML 2006»

On the infinite-valued Lukasiewicz logic that preserves degrees of truth

13 years 8 months ago

Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...

Josep Maria Font, Àngel J. Gil, Antoni Torr...

claim paper

Read More »

31

click to vote

AML
2005

101views more AML 2005»

Forcing and antifoundation

13 years 8 months ago

Download users.auth.gr

It is proved that the forcing apparatus can be built and set to work in ZFCA (=ZFC minus foundation plus the antifoundation axiom AFA). The key tools for this construction are gre...

Athanassios Tzouvaras

claim paper

Read More »

30

click to vote

AML
1998

60views more AML 1998»

A restricted computation model on Scott domains and its partial primitive recursive functionals

13 years 8 months ago

Download www.tu-ilmenau.de

The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...

Karl-Heinz Niggl

claim paper

Read More »

12

click to vote

AML
2007

56views more AML 2007»

Radin forcing and its iterations

13 years 8 months ago

Download www.math.unt.edu

We provide an exposition of supercompact Radin forcing and present several methods for iterating Radin forcing. In this paper we give an exposition of supercompact Radin forcing us...

John Krueger

claim paper

Read More »

26

click to vote

AML
2007

68views more AML 2007»

A note on weak dividing

13 years 8 months ago

Download math.yonsei.ac.kr

We study the notion of weak dividing introduced by S. Shelah. In particular we prove that T is stable iﬀ weak dividing is symmetric. In order to study simple theories Shelah orig...

Byunghan Kim, Niandong Shi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers