Powell, Thomas; Schuster, Peter; Wiesnet, Franziskus An algorithmic approach to the existence of ideal objects in commutative algebra. (English) Zbl 1530.03161 Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 533-549 (2019). MSC: 03F65 13A15 13L05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kohlenbach, Ulrich On the no-counterexample interpretation. (English) Zbl 0960.03047 J. Symb. Log. 64, No. 4, 1491-1511 (1999). Reviewer: Helmut Pfeiffer (Hannover) MSC: 03F25 03F30 03F35 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Baratella, Stefano; Berardi, Stefano Constructivization via approximations and examples. (English) Zbl 0937.03064 Takahashi, Masako (ed.) et al., Theories of types and proofs. Based on the workshop, Tokyo, Japan, September 1997. Tokyo: Mathematical Society of Japan. MSJ Mem. 2, 177-205 (1998). Reviewer: T.Coquand (Göteborg) MSC: 03F10 03F50 03F03 03F07 × Cite Format Result Cite Review PDF
Baratella, Stefano; Berardi, Stefano Yet another constructivization of classical logic. (English) Zbl 0940.03065 Sambin, Giovanni (ed.) et al., Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19-21, 1995. Oxford: Clarendon Press. Oxf. Logic Guides. 36, 1-20 (1998). Reviewer: G.Mints (Stanford) MSC: 03F10 03F50 × Cite Format Result Cite Review PDF
Feferman, Solomon Kreisel’s “unwinding” program. (English) Zbl 0889.03045 Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 247-273 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 03F03 03F65 03A05 × Cite Format Result Cite Review PDF
Bellin, Gianluigi Ramsey interpreted: A parametric version of Ramsey’s theorem. (English) Zbl 0693.03035 Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 17-37 (1990). MSC: 03F10 03F30 05C55 68T15 03-04 × Cite Format Result Cite Review PDF
Girard, Jean-Yves Proof theory and logical complexity. Volume I. (English) Zbl 0635.03052 Studies in Proof Theory. Monographs 1. Napoli: Bibliopolis. Edizioni di Filosofia e Scienze. 503 p. (1987). Reviewer: G.Mints MSC: 03Fxx 03-02 × Cite Format Result Cite Review PDF
Girard, Jean-Yves Herbrand’s theorem and proof-theory. (English) Zbl 0496.03036 Logic colloquium ’81, Proc. Herbrand Symp., Marseille 1981, Stud. Logic Found. Math. 107, 29-38 (1982). MSC: 03F05 03F25 03F15 × Cite Format Result Cite Review PDF