Incompleteness of the hyperreals: an application of forcing to nonstandard analysis
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Nagoya
School of Informatics and Sciences and Graduate School of Human Informatics, Nagoya Univ.
1996
|
Schriftenreihe: | Preprint series in mathematical sciences
1996,21 |
Schlagworte: | |
Beschreibung: | 15 S. |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV011239087 | ||
003 | DE-604 | ||
005 | 19970311 | ||
007 | t | ||
008 | 970311s1996 |||| 00||| eng d | ||
035 | |a (OCoLC)45169429 | ||
035 | |a (DE-599)BVBBV011239087 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-12 |a DE-29T | ||
050 | 0 | |a QA1 | |
100 | 1 | |a Ozawa, Masanao |e Verfasser |4 aut | |
245 | 1 | 0 | |a Incompleteness of the hyperreals |b an application of forcing to nonstandard analysis |c by Masanao Ozawa |
264 | 1 | |a Nagoya |b School of Informatics and Sciences and Graduate School of Human Informatics, Nagoya Univ. |c 1996 | |
300 | |a 15 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Preprint series in mathematical sciences |v 1996,21 | |
650 | 4 | |a Forcing (Model theories) | |
650 | 4 | |a Imcompleteness theorems | |
650 | 4 | |a Nonstandard mathematical analysis | |
830 | 0 | |a Preprint series in mathematical sciences |v 1996,21 |w (DE-604)BV010405973 |9 1996,21 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-007543050 |
Datensatz im Suchindex
_version_ | 1804125740136923136 |
---|---|
any_adam_object | |
author | Ozawa, Masanao |
author_facet | Ozawa, Masanao |
author_role | aut |
author_sort | Ozawa, Masanao |
author_variant | m o mo |
building | Verbundindex |
bvnumber | BV011239087 |
callnumber-first | Q - Science |
callnumber-label | QA1 |
callnumber-raw | QA1 |
callnumber-search | QA1 |
callnumber-sort | QA 11 |
callnumber-subject | QA - Mathematics |
ctrlnum | (OCoLC)45169429 (DE-599)BVBBV011239087 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01086nam a2200313 cb4500</leader><controlfield tag="001">BV011239087</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970311 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970311s1996 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45169429</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011239087</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-12</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA1</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ozawa, Masanao</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Incompleteness of the hyperreals</subfield><subfield code="b">an application of forcing to nonstandard analysis</subfield><subfield code="c">by Masanao Ozawa</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Nagoya</subfield><subfield code="b">School of Informatics and Sciences and Graduate School of Human Informatics, Nagoya Univ.</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15 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="1" ind2=" "><subfield code="a">Preprint series in mathematical sciences</subfield><subfield code="v">1996,21</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Forcing (Model theories)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Imcompleteness theorems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonstandard mathematical analysis</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Preprint series in mathematical sciences</subfield><subfield code="v">1996,21</subfield><subfield code="w">(DE-604)BV010405973</subfield><subfield code="9">1996,21</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007543050</subfield></datafield></record></collection> |
id | DE-604.BV011239087 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T18:06:21Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007543050 |
oclc_num | 45169429 |
open_access_boolean | |
owner | DE-12 DE-29T |
owner_facet | DE-12 DE-29T |
physical | 15 S. |
publishDate | 1996 |
publishDateSearch | 1996 |
publishDateSort | 1996 |
publisher | School of Informatics and Sciences and Graduate School of Human Informatics, Nagoya Univ. |
record_format | marc |
series | Preprint series in mathematical sciences |
series2 | Preprint series in mathematical sciences |
spelling | Ozawa, Masanao Verfasser aut Incompleteness of the hyperreals an application of forcing to nonstandard analysis by Masanao Ozawa Nagoya School of Informatics and Sciences and Graduate School of Human Informatics, Nagoya Univ. 1996 15 S. txt rdacontent n rdamedia nc rdacarrier Preprint series in mathematical sciences 1996,21 Forcing (Model theories) Imcompleteness theorems Nonstandard mathematical analysis Preprint series in mathematical sciences 1996,21 (DE-604)BV010405973 1996,21 |
spellingShingle | Ozawa, Masanao Incompleteness of the hyperreals an application of forcing to nonstandard analysis Preprint series in mathematical sciences Forcing (Model theories) Imcompleteness theorems Nonstandard mathematical analysis |
title | Incompleteness of the hyperreals an application of forcing to nonstandard analysis |
title_auth | Incompleteness of the hyperreals an application of forcing to nonstandard analysis |
title_exact_search | Incompleteness of the hyperreals an application of forcing to nonstandard analysis |
title_full | Incompleteness of the hyperreals an application of forcing to nonstandard analysis by Masanao Ozawa |
title_fullStr | Incompleteness of the hyperreals an application of forcing to nonstandard analysis by Masanao Ozawa |
title_full_unstemmed | Incompleteness of the hyperreals an application of forcing to nonstandard analysis by Masanao Ozawa |
title_short | Incompleteness of the hyperreals |
title_sort | incompleteness of the hyperreals an application of forcing to nonstandard analysis |
title_sub | an application of forcing to nonstandard analysis |
topic | Forcing (Model theories) Imcompleteness theorems Nonstandard mathematical analysis |
topic_facet | Forcing (Model theories) Imcompleteness theorems Nonstandard mathematical analysis |
volume_link | (DE-604)BV010405973 |
work_keys_str_mv | AT ozawamasanao incompletenessofthehyperrealsanapplicationofforcingtononstandardanalysis |