Studies in Constructive Mathematics and Mathematical Logic: Part I
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Boston, MA
Springer US
1969
|
| Schriftenreihe: | Seminars in Mathematics
4 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | This volume contains a number of short papers reporting results presented to the Leningrad Seminar on Constructive Mathematics or to the Leningrad Seminar on Mathematical Logic. As a rule, the notes do not contain detailed proofs. Complete explanations will be printed in the Trudy (Transactions) of the V. A. Steklov Mathematics Institute AN SSSR (in the "Problems of Constructive Direction in Mathematics" and the "Mathematical Logic and Logical Calculus" series). The papers published herein are primarily from the constructive direction in mathematics. A. Slisenko v CONTENTS 1 Method of Establishing Deducibility in Classical Predicate Calculus ....... . G. V. Davydov 5 On the Correction of Unprovable Formulas ......... . G. V. Davydov Lebesgue Integral in Constructive Analysis ......... . 9 O. Demuth Sufficient Conditions of Incompleteness for the Formalization of Parts of Arithmetic . . . . . . .. . . 15 N. K. Kosovskii Normal Formfor Deductions in Predicate Calculus with Equality and Functional Symbols. . . . .. . 21 V. A. Lifshits Some Reduction Classes and Undecidable Theories. . . . . . . . . . . . . . . . . . . . . . . .. . . 24 . . . . . . V. A. Lifshits Deductive Validity and Reduction Classes. . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 26 . . . . . . . V. A. Lifshits Problem of Decidability for Some Constructive Theories of Equalities. . . . . . . . . . . . . .. . . 29 . . V. A. Lifshits On Constructive Groups. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 32 . . . . . . . . . . . V. A. Lifshits Invertible Sequential Variant of Constructive Predicate Calculus. . . . . . . . . . . . .. . . 36 . S. Yu. Maslov Choice of Terms in Quantifier Rules of Constructive Predicate Calculus .. 43 G. E. Mints Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's "Semantics" . . . . . . . . . . . . . . . . . . .. . . 60 . . . |
| Beschreibung: | 1 Online-Ressource (VIII, 88 p) |
| ISBN: | 9781468489682 9781468489705 |
| DOI: | 10.1007/978-1-4684-8968-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042421157 | ||
| 003 | DE-604 | ||
| 005 | 20180111 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1969 |||| o||u| ||||||eng d | ||
| 020 | |a 9781468489682 |c Online |9 978-1-4684-8968-2 | ||
| 020 | |a 9781468489705 |c Print |9 978-1-4684-8970-5 | ||
| 024 | 7 | |a 10.1007/978-1-4684-8968-2 |2 doi | |
| 035 | |a (OCoLC)905390744 | ||
| 035 | |a (DE-599)BVBBV042421157 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 50 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Slisenko, A. O. |4 edt | |
| 245 | 1 | 0 | |a Studies in Constructive Mathematics and Mathematical Logic |b Part I |c edited by A. O. Slisenko |
| 264 | 1 | |a Boston, MA |b Springer US |c 1969 | |
| 300 | |a 1 Online-Ressource (VIII, 88 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Seminars in Mathematics |v 4 | |
| 500 | |a This volume contains a number of short papers reporting results presented to the Leningrad Seminar on Constructive Mathematics or to the Leningrad Seminar on Mathematical Logic. As a rule, the notes do not contain detailed proofs. Complete explanations will be printed in the Trudy (Transactions) of the V. A. Steklov Mathematics Institute AN SSSR (in the "Problems of Constructive Direction in Mathematics" and the "Mathematical Logic and Logical Calculus" series). The papers published herein are primarily from the constructive direction in mathematics. A. Slisenko v CONTENTS 1 Method of Establishing Deducibility in Classical Predicate Calculus ....... . G. V. Davydov 5 On the Correction of Unprovable Formulas ......... . G. V. Davydov Lebesgue Integral in Constructive Analysis ......... . 9 O. Demuth Sufficient Conditions of Incompleteness for the Formalization of Parts of Arithmetic . . . . . . .. . . 15 N. K. | ||
| 500 | |a Kosovskii Normal Formfor Deductions in Predicate Calculus with Equality and Functional Symbols. . . . .. . 21 V. A. Lifshits Some Reduction Classes and Undecidable Theories. . . . . . . . . . . . . . . . . . . . . . . .. . . 24 . . . . . . V. A. Lifshits Deductive Validity and Reduction Classes. . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 26 . . . . . . . V. A. Lifshits Problem of Decidability for Some Constructive Theories of Equalities. . . . . . . . . . . . . .. . . 29 . . V. A. Lifshits On Constructive Groups. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 32 . . . . . . . . . . . V. A. Lifshits Invertible Sequential Variant of Constructive Predicate Calculus. . . . . . . . . . . . .. . . 36 . S. Yu. Maslov Choice of Terms in Quantifier Rules of Constructive Predicate Calculus .. 43 G. E. Mints Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. | ||
| 500 | |a Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's "Semantics" . . . . . . . . . . . . . . . . . . .. . . 60 . . . | ||
| 650 | 4 | |a Science (General) | |
| 650 | 4 | |a Science, general | |
| 650 | 4 | |a Naturwissenschaft | |
| 830 | 0 | |a Seminars in Mathematics |v 4 |w (DE-604)BV009288632 |9 4 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4684-8968-2 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027856574 | ||
Datensatz im Suchindex
| _version_ | 1804153093923799040 |
|---|---|
| any_adam_object | |
| author2 | Slisenko, A. O. |
| author2_role | edt |
| author2_variant | a o s ao aos |
| author_facet | Slisenko, A. O. |
| building | Verbundindex |
| bvnumber | BV042421157 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)905390744 (DE-599)BVBBV042421157 |
| dewey-full | 50 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 050 - General serial publications |
| dewey-raw | 50 |
| dewey-search | 50 |
| dewey-sort | 250 |
| dewey-tens | 050 - General serial publications |
| discipline | Allgemeine Naturwissenschaft Mathematik |
| doi_str_mv | 10.1007/978-1-4684-8968-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03470nmm a2200433zcb4500</leader><controlfield tag="001">BV042421157</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180111 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1969 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781468489682</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4684-8968-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781468489705</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4684-8970-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4684-8968-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)905390744</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042421157</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">50</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Slisenko, A. O.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Studies in Constructive Mathematics and Mathematical Logic</subfield><subfield code="b">Part I</subfield><subfield code="c">edited by A. O. Slisenko</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston, MA</subfield><subfield code="b">Springer US</subfield><subfield code="c">1969</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 88 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Seminars in Mathematics</subfield><subfield code="v">4</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This volume contains a number of short papers reporting results presented to the Leningrad Seminar on Constructive Mathematics or to the Leningrad Seminar on Mathematical Logic. As a rule, the notes do not contain detailed proofs. Complete explanations will be printed in the Trudy (Transactions) of the V. A. Steklov Mathematics Institute AN SSSR (in the "Problems of Constructive Direction in Mathematics" and the "Mathematical Logic and Logical Calculus" series). The papers published herein are primarily from the constructive direction in mathematics. A. Slisenko v CONTENTS 1 Method of Establishing Deducibility in Classical Predicate Calculus ....... . G. V. Davydov 5 On the Correction of Unprovable Formulas ......... . G. V. Davydov Lebesgue Integral in Constructive Analysis ......... . 9 O. Demuth Sufficient Conditions of Incompleteness for the Formalization of Parts of Arithmetic . . . . . . .. . . 15 N. K.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Kosovskii Normal Formfor Deductions in Predicate Calculus with Equality and Functional Symbols. . . . .. . 21 V. A. Lifshits Some Reduction Classes and Undecidable Theories. . . . . . . . . . . . . . . . . . . . . . . .. . . 24 . . . . . . V. A. Lifshits Deductive Validity and Reduction Classes. . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 26 . . . . . . . V. A. Lifshits Problem of Decidability for Some Constructive Theories of Equalities. . . . . . . . . . . . . .. . . 29 . . V. A. Lifshits On Constructive Groups. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 32 . . . . . . . . . . . V. A. Lifshits Invertible Sequential Variant of Constructive Predicate Calculus. . . . . . . . . . . . .. . . 36 . S. Yu. Maslov Choice of Terms in Quantifier Rules of Constructive Predicate Calculus .. 43 G. E. Mints Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's "Semantics" . . . . . . . . . . . . . . . . . . .. . . 60 . . .</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Naturwissenschaft</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Seminars in Mathematics</subfield><subfield code="v">4</subfield><subfield code="w">(DE-604)BV009288632</subfield><subfield code="9">4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4684-8968-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027856574</subfield></datafield></record></collection> |
| id | DE-604.BV042421157 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:08Z |
| institution | BVB |
| isbn | 9781468489682 9781468489705 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027856574 |
| oclc_num | 905390744 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (VIII, 88 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1969 |
| publishDateSearch | 1969 |
| publishDateSort | 1969 |
| publisher | Springer US |
| record_format | marc |
| series | Seminars in Mathematics |
| series2 | Seminars in Mathematics |
| spelling | Slisenko, A. O. edt Studies in Constructive Mathematics and Mathematical Logic Part I edited by A. O. Slisenko Boston, MA Springer US 1969 1 Online-Ressource (VIII, 88 p) txt rdacontent c rdamedia cr rdacarrier Seminars in Mathematics 4 This volume contains a number of short papers reporting results presented to the Leningrad Seminar on Constructive Mathematics or to the Leningrad Seminar on Mathematical Logic. As a rule, the notes do not contain detailed proofs. Complete explanations will be printed in the Trudy (Transactions) of the V. A. Steklov Mathematics Institute AN SSSR (in the "Problems of Constructive Direction in Mathematics" and the "Mathematical Logic and Logical Calculus" series). The papers published herein are primarily from the constructive direction in mathematics. A. Slisenko v CONTENTS 1 Method of Establishing Deducibility in Classical Predicate Calculus ....... . G. V. Davydov 5 On the Correction of Unprovable Formulas ......... . G. V. Davydov Lebesgue Integral in Constructive Analysis ......... . 9 O. Demuth Sufficient Conditions of Incompleteness for the Formalization of Parts of Arithmetic . . . . . . .. . . 15 N. K. Kosovskii Normal Formfor Deductions in Predicate Calculus with Equality and Functional Symbols. . . . .. . 21 V. A. Lifshits Some Reduction Classes and Undecidable Theories. . . . . . . . . . . . . . . . . . . . . . . .. . . 24 . . . . . . V. A. Lifshits Deductive Validity and Reduction Classes. . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 26 . . . . . . . V. A. Lifshits Problem of Decidability for Some Constructive Theories of Equalities. . . . . . . . . . . . . .. . . 29 . . V. A. Lifshits On Constructive Groups. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 32 . . . . . . . . . . . V. A. Lifshits Invertible Sequential Variant of Constructive Predicate Calculus. . . . . . . . . . . . .. . . 36 . S. Yu. Maslov Choice of Terms in Quantifier Rules of Constructive Predicate Calculus .. 43 G. E. Mints Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's "Semantics" . . . . . . . . . . . . . . . . . . .. . . 60 . . . Science (General) Science, general Naturwissenschaft Seminars in Mathematics 4 (DE-604)BV009288632 4 https://doi.org/10.1007/978-1-4684-8968-2 Verlag Volltext |
| spellingShingle | Studies in Constructive Mathematics and Mathematical Logic Part I Seminars in Mathematics Science (General) Science, general Naturwissenschaft |
| title | Studies in Constructive Mathematics and Mathematical Logic Part I |
| title_auth | Studies in Constructive Mathematics and Mathematical Logic Part I |
| title_exact_search | Studies in Constructive Mathematics and Mathematical Logic Part I |
| title_full | Studies in Constructive Mathematics and Mathematical Logic Part I edited by A. O. Slisenko |
| title_fullStr | Studies in Constructive Mathematics and Mathematical Logic Part I edited by A. O. Slisenko |
| title_full_unstemmed | Studies in Constructive Mathematics and Mathematical Logic Part I edited by A. O. Slisenko |
| title_short | Studies in Constructive Mathematics and Mathematical Logic |
| title_sort | studies in constructive mathematics and mathematical logic part i |
| title_sub | Part I |
| topic | Science (General) Science, general Naturwissenschaft |
| topic_facet | Science (General) Science, general Naturwissenschaft |
| url | https://doi.org/10.1007/978-1-4684-8968-2 |
| volume_link | (DE-604)BV009288632 |
| work_keys_str_mv | AT slisenkoao studiesinconstructivemathematicsandmathematicallogicparti |