A transfinite type theory with type variables:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland Publ.Co.
1965
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics.
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV,143 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001931839 | ||
| 003 | DE-604 | ||
| 005 | 20041011 | ||
| 007 | t | ||
| 008 | 890928s1965 |||| 00||| eng d | ||
| 035 | |a (OCoLC)185838745 | ||
| 035 | |a (DE-599)BVBBV001931839 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-703 |a DE-355 |a DE-29 |a DE-19 |a DE-83 |a DE-11 |a DE-188 | ||
| 080 | |a 519.5 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 04A10 |2 msc | ||
| 084 | |a MAT 100f |2 stub | ||
| 100 | 1 | |a Andrews, Peter B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A transfinite type theory with type variables |c by P. B. Andrews |
| 264 | 1 | |a Amsterdam |b North-Holland Publ.Co. |c 1965 | |
| 300 | |a XV,143 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics. | |
| 650 | 4 | |a Type theory | |
| 650 | 0 | 7 | |a Transfinite Zahl |0 (DE-588)4471005-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Transfinite Typentheorie |0 (DE-588)4473147-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Transfinite Typentheorie |0 (DE-588)4473147-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Transfinite Zahl |0 (DE-588)4471005-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001259203&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001259203 | ||
Datensatz im Suchindex
| _version_ | 1804116371586416640 |
|---|---|
| adam_text | CONTENTS
Introduction ix
I. The System Q 1
1.1 The system Qo 1
1.2 The primitive basis of Q 3
1.3 The interpretation and consistency of Q 8
1.4 Independence results 20
1.5 General comments on Q 25
II. Basic Logic in Q 28
III. The Theorem of Infinity and Related Results 67
111.1 The Theorem of Infinity 67
111.2 Numbers and primitive recursive functions 74
IV. The Formalization of the Semantics of the System Qo 79
IV. 1 Definitions 79
IV.2 Theorems 83
IV.3 Proofs 100
IV.4 Q strengthens Qo 139
Bibliography 141
Index 142
v
|
| any_adam_object | 1 |
| author | Andrews, Peter B. |
| author_facet | Andrews, Peter B. |
| author_role | aut |
| author_sort | Andrews, Peter B. |
| author_variant | p b a pb pba |
| building | Verbundindex |
| bvnumber | BV001931839 |
| classification_rvk | CC 2600 SK 130 |
| classification_tum | MAT 100f |
| ctrlnum | (OCoLC)185838745 (DE-599)BVBBV001931839 |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01554nam a2200409 c 4500</leader><controlfield tag="001">BV001931839</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20041011 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1965 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)185838745</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001931839</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">519.5</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">04A10</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 100f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Andrews, Peter B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A transfinite type theory with type variables</subfield><subfield code="c">by P. B. Andrews</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Publ.Co.</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV,143 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Type theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transfinite Zahl</subfield><subfield code="0">(DE-588)4471005-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transfinite Typentheorie</subfield><subfield code="0">(DE-588)4473147-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Transfinite Typentheorie</subfield><subfield code="0">(DE-588)4473147-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Transfinite Zahl</subfield><subfield code="0">(DE-588)4471005-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001259203&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001259203</subfield></datafield></record></collection> |
| id | DE-604.BV001931839 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:37:27Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001259203 |
| oclc_num | 185838745 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-703 DE-355 DE-BY-UBR DE-29 DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-703 DE-355 DE-BY-UBR DE-29 DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| physical | XV,143 S. |
| publishDate | 1965 |
| publishDateSearch | 1965 |
| publishDateSort | 1965 |
| publisher | North-Holland Publ.Co. |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics. |
| spelling | Andrews, Peter B. Verfasser aut A transfinite type theory with type variables by P. B. Andrews Amsterdam North-Holland Publ.Co. 1965 XV,143 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics. Type theory Transfinite Zahl (DE-588)4471005-7 gnd rswk-swf Transfinite Typentheorie (DE-588)4473147-4 gnd rswk-swf Transfinite Typentheorie (DE-588)4473147-4 s DE-604 Transfinite Zahl (DE-588)4471005-7 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001259203&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Andrews, Peter B. A transfinite type theory with type variables Type theory Transfinite Zahl (DE-588)4471005-7 gnd Transfinite Typentheorie (DE-588)4473147-4 gnd |
| subject_GND | (DE-588)4471005-7 (DE-588)4473147-4 |
| title | A transfinite type theory with type variables |
| title_auth | A transfinite type theory with type variables |
| title_exact_search | A transfinite type theory with type variables |
| title_full | A transfinite type theory with type variables by P. B. Andrews |
| title_fullStr | A transfinite type theory with type variables by P. B. Andrews |
| title_full_unstemmed | A transfinite type theory with type variables by P. B. Andrews |
| title_short | A transfinite type theory with type variables |
| title_sort | a transfinite type theory with type variables |
| topic | Type theory Transfinite Zahl (DE-588)4471005-7 gnd Transfinite Typentheorie (DE-588)4473147-4 gnd |
| topic_facet | Type theory Transfinite Zahl Transfinite Typentheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001259203&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT andrewspeterb atransfinitetypetheorywithtypevariables |