Studies in Constructive Mathematics and Mathematical Logic Part 2

Mapping Intimacies ◽

10.1007/978-1-4899-5327-8 ◽

1970 ◽

Keyword(s):

Mathematical Logic ◽

Constructive Mathematics

Download Full-text

G. É. Minc. Poditor térmoν ν kvantornyh pravilah konstruktiνnogo isčisléniá predikátov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 112–122. - G. E. Mints. Choice of terms in quantifier rules of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969, pp. 43–46.

Journal of Symbolic Logic ◽

10.2307/2269980 ◽

1971 ◽

Vol 36 (3) ◽

pp. 525-525

Author(s):

J. van Heijenoort

Keyword(s):

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Predicate Calculus ◽

Constructive Mathematics

Download Full-text

Mathematical Logic: Proof Theory, Constructive Mathematics

Oberwolfach Reports ◽

10.4171/owr/2008/18 ◽

2008 ◽

pp. 907-952

Author(s):

Samuel Buss ◽

Helmut Schwichtenberg ◽

Ulrich Kohlenbach

Keyword(s):

Mathematical Logic ◽

Proof Theory ◽

Constructive Mathematics

Download Full-text

Mathematical Logic: Proof Theory, Constructive Mathematics

Oberwolfach Reports ◽

10.4171/owr/2011/52 ◽

2011 ◽

Vol 8 (4) ◽

pp. 2963-3002 ◽

Author(s):

Samuel Buss ◽

Ulrich Kohlenbach ◽

Michael Rathjen

Keyword(s):

Mathematical Logic ◽

Proof Theory ◽

Constructive Mathematics

Download Full-text

Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics

Oberwolfach Reports ◽

10.4171/owr/2005/14 ◽

2005 ◽

pp. 779-813

Author(s):

Helmut Schwichtenberg ◽

Vladimir Keilis-Borok ◽

Samuel Buss

Keyword(s):

Mathematical Logic ◽

Type Theory ◽

Proof Theory ◽

Constructive Mathematics

Download Full-text

Ú. V. Matiásévič Dvé rédukcii 10-j problémy Gilbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 144–158. - Yu. V. Matiyasevich. Two reductions of Hilbert's tenth problem. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, pp. 68–74.

Journal of Symbolic Logic ◽

10.2307/2272761 ◽

1972 ◽

Vol 37 (3) ◽

pp. 604-605

Author(s):

Ann S. Ferebee

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Constructive Mathematics ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Mathematical Logic: Proof Theory, Constructive Mathematics

Oberwolfach Reports ◽

10.4171/owr/2020/34 ◽

2021 ◽

Vol 17 (4) ◽

pp. 1693-1757

Author(s):

Samuel Buss ◽

Rosalie Iemhoff ◽

Ulrich Kohlenbach ◽

Michael Rathjen

Keyword(s):

Mathematical Logic ◽

Proof Theory ◽

Constructive Mathematics

Download Full-text

Ú. V. Matiásévič. Sváz' sistém uravnénij v slovah i dlinah s 10-j problémoj Gllbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 132–144. - Yu. V. Matiyasevich. The connection between Hilbert's tenth problem and systems of equations between words and lengths. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part. II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 61–67. See Errata, Studies in constructive mathematics and mathematical logic, Part III, ibid., vol. 16, Consultants Bureau, New York-London 1971, p. 96.

Journal of Symbolic Logic ◽

10.2307/2272760 ◽

1972 ◽

Vol 37 (3) ◽

pp. 604-604

Author(s):

Ann S. Ferebee

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Constructive Mathematics ◽

Systems Of Equations ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89.

Journal of Symbolic Logic ◽

10.2307/2269983 ◽

1971 ◽

Vol 36 (3) ◽

pp. 527-528 ◽

Author(s):

J. van Heijenoort

Keyword(s):

New York ◽

Mathematical Logic ◽

English Translation ◽

Mathematical Institute ◽

Steklov Mathematical Institute ◽

Constructive Mathematics

Download Full-text

Studies in Constructive Mathematics and Mathematical Logic

10.1007/978-1-4684-8968-2 ◽

1969 ◽

Keyword(s):

Mathematical Logic ◽

Constructive Mathematics

Download Full-text

Lorenzen and Constructive Mathematics

10.1007/978-3-030-65824-3_4 ◽

2021 ◽

pp. 47-61

Author(s):

Thierry Coquand

Keyword(s):

Mathematical Logic ◽

Measure Theory ◽

Constructive Mathematics ◽

Short Survey ◽

Recent Developments ◽

Constructive Algebra

Abstract The goal of this paper is to present a short survey of some of Lorenzen’s contributions to constructive mathematics, and its influence on recent developments in mathematical logic and constructive algebra. We also present some work in measure theory which uses these contributions in an essential way.

Download Full-text