Studies in Constructive Mathematics and Mathematical Logic: Part I
A. O. Slisenko
Mar 2013 · Seminars in mathematics Kitap 4 · Springer Science & Business Media
E-kitap
88
Sayfa
reportPuanlar ve yorumlar doğrulanmaz Daha Fazla Bilgi
Bu e-kitap hakkında
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 (Transac tions) 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 ...
Bu e-kitaba puan verin
Düşüncelerinizi bizimle paylaşın.
Okuma bilgileri
Akıllı telefonlar ve tabletler
Android ve iPad/iPhone için Google Play Kitaplar uygulamasını yükleyin. Bu uygulama, hesabınızla otomatik olarak senkronize olur ve nerede olursanız olun çevrimiçi veya çevrimdışı olarak okumanıza olanak sağlar.
Dizüstü bilgisayarlar ve masaüstü bilgisayarlar
Bilgisayarınızın web tarayıcısını kullanarak Google Play'de satın alınan sesli kitapları dinleyebilirsiniz.
e-Okuyucular ve diğer cihazlar
Kobo eReader gibi e-mürekkep cihazlarında okumak için dosyayı indirip cihazınıza aktarmanız gerekir. Dosyaları desteklenen e-kitap okuyuculara aktarmak için lütfen ayrıntılı Yardım Merkezi talimatlarını uygulayın.
