Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Download
Standard view
Full view
of .
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
MARTIN LOF Bibliopolis Book

MARTIN LOF Bibliopolis Book

Ratings: (0)|Views: 47|Likes:
Published by applicative

More info:

Published by: applicative on Aug 06, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/06/2011

pdf

text

original

 
STUDIESINPROOF
THEORY
AdvisoryEditors
BIBLIOPOLIS
.
PER
MARTIN-LOF
Notes'byGiovanniSambinof-aseries
0/
lecturesgiveninPadua,June
i980
INTUITIONISTICTYPE
THEORY
P.
MARTIN-LOF
G
.E
.
MINC
W.
POHLERS
D.
SCOTT
W.
SIEG
C.
SMOR
YNSKI
R.
STATMAN
S.
TAKASU
G.
TAKEUTI
D.
PRAWITZ
H.
SCHWICHTENBERG
C.
CELLUCCI
J..
Y.
GIRARD
P.AczEL
C.
BOHM
.
W.
BUCHHOLZ
E.
ENGELER
S.
FEFERMAN
CH
.
GoAD
W.
HOWARD
G.HUET
D.
LEIVANT
ManagingEditors
 
STUDIES
IN
PROOFTHEORY
LECTURENOTES
 
I.
CONTENTS
Natural
numbers
•.
.
..
...•
..
.....
.
..
.
.....
....
...
...
..
..
...
.
..
..71
Pr-opo
sL
tional
equality
.•.....
...
.
......
..:.
..
..
....
...
..
..
.
..
..
List
s;
.
•..••........•......•......77
Wellorderings
........
.
••.....
.
....
.
..
•••..
.........
...
..
..
....
..79
Uni
verses
....
...
•.
•.•..............
..
..........................87
,,
'
..
"
.
Finite
se
ts
Consistency
Di
sjoint
union
of
"
two
sets
..
....
.
....
..
..
.....
..
....
.•.....
..
'.
..
55
596569
Introductory
remarks
.
Proposi
tions
and
judgements
"3E
xplanations
of
the
form
s
of
judgement
'7
Pr
opo
sitions
11
Rule
sofequali
ty
,.............•.
..
.........
..
..
..
..
..
..
....14
Hypothetical
judgements
and
substitution
rul
es16
Judgements
with
more
than
one
as
sumption
and
contexts
19
Sets
and
ca
teg
ories_21
General
remarks
on
the
rule
s24
Carte
sian
product
of
a
family
of
sets26D
efinitional
equ
ality
:31A
pp
Lf
ca
t
Lcns
of
the
carte
sian
produ
ct
;','32
Disj
oint
uni
on
of
a
family
of
sets
...
..
•....
.....
..
..
..
..
....
..
.39
Appli
cati
ons
of
the
'
disjoint
uni
on42
The
axiomof'
choice
...•...
..
.....
..
•.•....
.
.....
...
....
..
.
...
.50
The
notionof
such
that
...
......
...
.
.
..
..
...
....
..
.......
.
..
..
53
I
\
1
l
I
i
t
I
©
1984by
«
Bibliopolis,edizioni
di
scienze
»
Napoli,viaArangioRuiz83,';.:,'"",,Allrightsreserved,Nopart
of'ihis
>-,1;;qp
!i:
,:ti,ay'
be
reproduced,inanyformorbyanymeanswithoutpermission'-i
nw
ritingfrom.thepublisherPrintedinI
taly
by
«
Grafitalia
»
ViaCensidell'Arco,25Cercola(Napoli)
)
ISBN
88-7088-105-9

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->