Erickson, Jeff; Nivasch, Gabriel; Xu, Junyan Fusible numbers and Peano arithmetic. (English) Zbl 07577570 Log. Methods Comput. Sci. 18, No. 3, Paper No. 6, 26 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Erickson} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 6, 26 p. (2022; Zbl 07577570) Full Text: arXiv Link
Buldt, Bernd The scope of Gödel’s first incompleteness theorem. (English) Zbl 1339.03004 Log. Univers. 8, No. 3-4, 499-552 (2014). MSC: 03A05 03F40 03-02 PDFBibTeX XMLCite \textit{B. Buldt}, Log. Univers. 8, No. 3--4, 499--552 (2014; Zbl 1339.03004) Full Text: DOI
Incurvati, Luca Too naturalist and not naturalist enough: Reply to Horsten. (English) Zbl 1151.03002 Erkenntnis 69, No. 2, 261-274 (2008). MSC: 03A05 00A30 03E99 PDFBibTeX XMLCite \textit{L. Incurvati}, Erkenntnis 69, No. 2, 261--274 (2008; Zbl 1151.03002) Full Text: DOI
Manolios, Panagiotis; Moore, J. Strother On the desirability of mechanizing calculational proofs. (English) Zbl 1003.68150 Inf. Process. Lett. 77, No. 2-4, 173-179 (2001). MSC: 68T15 PDFBibTeX XMLCite \textit{P. Manolios} and \textit{J. S. Moore}, Inf. Process. Lett. 77, No. 2--4, 173--179 (2001; Zbl 1003.68150) Full Text: DOI
Friedman, Harvey M. Long finite sequences. (English) Zbl 0990.05127 J. Comb. Theory, Ser. A 95, No. 1, 102-144 (2001). Reviewer: Peter Kirschenhofer (Leoben) MSC: 05D99 PDFBibTeX XMLCite \textit{H. M. Friedman}, J. Comb. Theory, Ser. A 95, No. 1, 102--144 (2001; Zbl 0990.05127) Full Text: DOI Link
Luckhardt, H. New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems. (English) Zbl 0728.03031 Theor. Comput. Sci. 83, No. 2, 169-188 (1991). Reviewer: G.Kreisel (Oxford) MSC: 03F20 03D15 68Q15 PDFBibTeX XMLCite \textit{H. Luckhardt}, Theor. Comput. Sci. 83, No. 2, 169--188 (1991; Zbl 0728.03031) Full Text: DOI
Yodaiken, Victor Modal functions for concise definition of state machines and products. (English) Zbl 0749.68055 Inf. Process. Lett. 40, No. 2, 65-72 (1991). Reviewer: L.Livovschi (Bucureşti) MSC: 68Q45 03D20 PDFBibTeX XMLCite \textit{V. Yodaiken}, Inf. Process. Lett. 40, No. 2, 65--72 (1991; Zbl 0749.68055) Full Text: DOI
Gray, Robert Computer programs and mathematical proofs. (English) Zbl 0790.68024 Math. Intell. 13, No. 4, 45-48 (1991). MSC: 68N99 00A35 26-04 PDFBibTeX XMLCite \textit{R. Gray}, Math. Intell. 13, No. 4, 45--48 (1991; Zbl 0790.68024) Full Text: DOI
Kotlarski, Henryk; Ratajczyk, Zygmunt Inductive full satisfaction classes. (English) Zbl 0708.03014 Ann. Pure Appl. Logic 47, No. 3, 199-223 (1990). Reviewer: R.Kossak MSC: 03C62 03F30 PDFBibTeX XMLCite \textit{H. Kotlarski} and \textit{Z. Ratajczyk}, Ann. Pure Appl. Logic 47, No. 3, 199--223 (1990; Zbl 0708.03014) Full Text: DOI
Raoult, Jean-Claude Proving open properties by induction. (English) Zbl 0661.04002 Inf. Process. Lett. 29, No. 1, 19-23 (1988). Reviewer: K.-H.Kim MSC: 03E25 06A06 PDFBibTeX XMLCite \textit{J.-C. Raoult}, Inf. Process. Lett. 29, No. 1, 19--23 (1988; Zbl 0661.04002) Full Text: DOI
Pearce, Jon A constructive consistency proof of a fragment of set theory. (English) Zbl 0599.03059 Ann. Pure Appl. Logic 27, 25-62 (1984). Reviewer: F.R.Drake MSC: 03F35 03E35 PDFBibTeX XMLCite \textit{J. Pearce}, Ann. Pure Appl. Logic 27, 25--62 (1984; Zbl 0599.03059) Full Text: DOI
Bernardi, Claudio The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.). (English) Zbl 0345.02020 Stud. Log. 35, 335-343 (1976). MSC: 03F99 08B99 PDFBibTeX XMLCite \textit{C. Bernardi}, Stud. Log. 35, 335--343 (1976; Zbl 0345.02020) Full Text: DOI