AML 2006 | Sciweavers

9

click to vote

AML
2006

65views more AML 2006»

The Chang-Los-Suszko theorem in a topological setting

13 years 4 months ago

Download www.mscs.mu.edu

Paul Bankston

claim paper

Read More »

10

click to vote

AML
2006

87views more AML 2006»

Herbrand's theorem and term induction

13 years 4 months ago

Download cl-informatik.uibk.ac.at

We study the formal rst order system Tind in the standard language of Gentzen's LK. Tind extends LK by the purely logical rule of term-induction, that is a restricted inductio...

Matthias Baaz, Georg Moser

claim paper

Read More »

13

click to vote

AML
2006

120views more AML 2006»

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

13 years 4 months ago

Download www.ub.edu

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 »

14

click to vote

AML
2006

83views more AML 2006»

The Medvedev lattice of computably closed sets

13 years 4 months ago

Download www.math.ru.nl

Simpson introduced the lattice P of 0 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We presen...

Sebastiaan Terwijn

claim paper

Read More »

13

click to vote

AML
2006

103views more AML 2006»

Decision methods for linearly ordered Heyting algebras

13 years 4 months ago

Download www.helsinki.fi

Abstract. The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable;...

Roy Dyckhoff, Sara Negri

claim paper

Read More »

7

click to vote

AML
2006

81views more AML 2006»

Small Pi01 Classes

13 years 4 months ago

Download faculty.kfupm.edu.sa

Stephen Binns

claim paper

Read More »

9

click to vote

AML
2006

87views more AML 2006»

On the rules of intermediate logics

13 years 4 months ago

Download www.phil.uu.nl

If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate log...

Rosalie Iemhoff

claim paper

Read More »

9

click to vote

AML
2006

106views more AML 2006»

Upper bounds on complexity of Frege proofs with limited use of certain schemata

13 years 4 months ago

Download www2.mcdaniel.edu

The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of th...

Pavel Naumov

claim paper

Read More »

8

click to vote

AML
2006

85views more AML 2006»

Arithmetical Sacks Forcing

13 years 4 months ago

Download math.nju.edu.cn

Abstract. We answer a question of Jockusch by constructing a hyperimmunefree minimal degree below a 1-generic one. To do this we introduce a new forcing notion called arithmetical ...

Rod Downey, Liang Yu

claim paper

Read More »

8

click to vote

AML
2006

47views more AML 2006»

Model completeness for trivial, uncountably categorical theories of Morley rank 1

13 years 4 months ago