NDJFL 2002 | Sciweavers

32

NDJFL
2002

75views more NDJFL 2002»

13 years 11 months ago

In any nonstandard model of Peano arithmetic, the standard part is not first order definable. But we show that in some model the standard part is definable as the unique solution ...

Saharon Shelah, Akito Tsuboi

claim paper

Read More »

30

click to vote

NDJFL
2002

47views more NDJFL 2002»

A Characterization of Permutation Models in Terms of Forcing

13 years 11 months ago

Download h.web.umkc.edu

Eric J. Hall

claim paper

Read More »

32

click to vote

NDJFL
2002

74views more NDJFL 2002»

The Semantics of Entailment Omega

13 years 11 months ago

Download www.di.unito.it

This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...

Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Y...

claim paper

Read More »

47

click to vote

NDJFL
2002

83views more NDJFL 2002»

Shortest Axiomatizations of Implicational S4 and S5

13 years 11 months ago

Download fitelson.org

Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for im...

Zachary Ernst, Branden Fitelson, Kenneth Harris, L...

claim paper

Read More »

32

click to vote

NDJFL
2002

60views more NDJFL 2002»

The Complexity of Revision, Revised

13 years 11 months ago

Download philosophy.ucdavis.edu

Gian Aldo Antonelli

claim paper