Nodelman, Uri; Zalta, Edward N. Number theory and infinity without mathematics. (English) Zbl 07931448 J. Philos. Log. 53, No. 5, 1161-1197 (2024). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Schroeder-Heister, Peter Comments on the contributions. (English) Zbl 07920766 Piecha, Thomas (ed.) et al., Peter Schroeder-Heister on proof-theoretic semantics. Cham: Springer. Outst. Contrib. Log. 29, 443-455 (2024). MSC: 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Miyamoto, Kenji; Moser, Georg Herbrand complexity and the epsilon calculus with equality. (English) Zbl 07790932 Arch. Math. Logic 63, No. 1-2, 89-118 (2024). MSC: 03F05 03F07 03F20 × Cite Format Result Cite Review PDF Full Text: DOI
Posy, Carl J. Platonism and the proto-ontology of mathematics: learning from the Axiom of choice. (English) Zbl 1532.00016 Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 99-134 (2023). MSC: 00A30 × Cite Format Result Cite Review PDF Full Text: DOI
Leitgeb, Hannes Ramsification and semantic indeterminacy. (English) Zbl 1539.00030 Rev. Symb. Log. 16, No. 3, 900-950 (2023). Reviewer: Firdous Ahmad Mala (Srinagar) MSC: 00A30 00A35 03A05 03A10 × Cite Format Result Cite Review PDF Full Text: DOI
Copeland, B. Jack; Fan, Zhao Did Turing stand on Gödel’s shoulders? (English) Zbl 07711148 Math. Intell. 44, No. 4, 308-319 (2022). MSC: 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Baaz, Matthias; Lolic, Anela Towards a proof theory for quantifier macros. (English) Zbl 07540275 Inf. Comput. 287, Article ID 104753, 18 p. (2022). MSC: 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Pruiksma, Klaas; Pfenning, Frank Back to futures. (English) Zbl 1542.68029 J. Funct. Program. 32, Paper No. e6, 34 p. (2022). MSC: 68N19 03B70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sieg, Wilfried; Derakhshan, Farzaneh Human-centered automated proof search. (English) Zbl 1543.03052 J. Autom. Reasoning 65, No. 8, 1153-1190 (2021). MSC: 03B35 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Lethen, Tim Kurt Gödel on logical, theological, and physical antinomies. (English) Zbl 1482.03001 Bull. Symb. Log. 27, No. 3, 267-297 (2021). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03-03 03A05 03A10 × Cite Format Result Cite Review PDF Full Text: DOI
Formica, Giambattista; Friend, Michèle In the footsteps of Hilbert: the Andréka-Németi group’s logical foundations of theories in physics. (English) Zbl 1482.83001 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 383-408 (2021). MSC: 83A05 83C05 00A30 00A35 00A79 × Cite Format Result Cite Review PDF Full Text: DOI
Cheng, Yong Current research on Gödel’s incompleteness theorems. (English) Zbl 1497.03067 Bull. Symb. Log. 27, No. 2, 113-167 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03-02 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare On solving quantified bit-vector constraints using invertibility conditions. (English) Zbl 1519.68236 Form. Methods Syst. Des. 57, No. 1, 87-115 (2021). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Detlefsen, Michael Formalism and Hilbert’s understanding of consistency problems. (English) Zbl 1469.00011 Arch. Math. Logic 60, No. 5, 529-546 (2021). MSC: 00A30 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Hrbacek, Karel; Katz, Mikhail G. Infinitesimal analysis without the axiom of choice. (English) Zbl 1529.03285 Ann. Pure Appl. Logic 172, No. 6, Article ID 102959, 31 p. (2021). MSC: 03H05 03E25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Raatikainen, Panu Neo-logicism and its logic. (English) Zbl 1503.03008 Hist. Philos. Log. 41, No. 1, 82-95 (2020). MSC: 03B16 03F35 03A05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Beziau, Jean-Yves Metalogic, Schopenhauer and universal logic. (English) Zbl 1498.03003 Lemanski, Jens (ed.), Language, logic, and mathematics in Schopenhauer. Cham: Birkhäuser. Stud. Univers. Log., 207-257 (2020). MSC: 03-03 03A05 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Dean, Walter Incompleteness via paradox and completeness. (English) Zbl 1485.03244 Rev. Symb. Log. 13, No. 3, 541-592 (2020). MSC: 03F40 03F30 03C62 03H15 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Kahle, Reinhard Dual axiomatics. (English) Zbl 07910494 Matthews, Michael R. (ed.), Mario Bunge. A centenary festschrift. Cham: Springer. 633-642 (2019). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
Platzer, André Uniform substitution at one fell swoop. (English) Zbl 1535.68456 Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 425-441 (2019). MSC: 68V15 03B35 03B70 91A44 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sundholm, Göran The neglect of epistemic considerations in logic: the case of epistemic assumptions. (English) Zbl 1428.03033 Topoi 38, No. 3, 551-559 (2019). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Bingham, Nicholas H.; Ostaszewski, Adam J. Set theory and the analyst. (English) Zbl 1539.03150 Eur. J. Math. 5, No. 1, 2-48 (2019). MSC: 03E15 03E25 03E35 03E55 03-03 01A60 01A61 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hämeen-Anttila, Maria Nominalistic ordinals, recursion on higher types, and finitism. (English) Zbl 1441.03005 Bull. Symb. Log. 25, No. 1, 101-124 (2019). Reviewer: Roman Murawski (Poznań) MSC: 03-03 01A60 03F15 03F25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Benis Sinaceur, Hourya Scientific philosophy and philosophical science. (English) Zbl 1436.00031 Tahiri, Hassan (ed.), The philosophers and mathematics. Festschrift for Roshdi Rashed. Cham: Springer. Log. Epistemol. Unity Sci. 43, 25-66 (2018). MSC: 00A30 01A60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Szabó, Máté Kalmár’s argument against the plausibility of Church’s thesis. (English) Zbl 1428.03034 Hist. Philos. Log. 39, No. 2, 140-157 (2018). MSC: 03A05 03D10 × Cite Format Result Cite Review PDF Full Text: DOI Link
Klement, Erich Peter; Mesiar, Radko \(L\)-fuzzy sets and isomorphic lattices: are all the “new” results really new? (English) Zbl 1402.03074 Mathematics 6, No. 9, Paper No. 146, 24 p. (2018). MSC: 03E72 03G25 06B05 × Cite Format Result Cite Review PDF Full Text: DOI
Patey, Ludovic; Yokoyama, Keita The proof-theoretic strength of Ramsey’s theorem for pairs and two colors. (English) Zbl 1469.03033 Adv. Math. 330, 1034-1070 (2018). MSC: 03B30 03F35 05D10 03H15 03C62 03D80 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Eder, Günther; Schiemer, Georg Hilbert, duality, and the geometrical roots of model theory. (English) Zbl 1522.03015 Rev. Symb. Log. 11, No. 1, 48-86 (2018). MSC: 03A05 00A30 03-03 01A55 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Sieg, Wilfried Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen’s centenary. The quest for consistency. (English) Zbl 1378.00074 Jahresber. Dtsch. Math.-Ver. 119, No. 3, 201-211 (2017). MSC: 00A17 03-06 03Fxx 03A05 03-03 01A60 01A70 00B15 × Cite Format Result Cite Review PDF Full Text: DOI
Dean, Walter; Walsh, Sean The prehistory of the subsystems of second-order arithmetic. (English) Zbl 1376.03005 Rev. Symb. Log. 10, No. 2, 357-396 (2017). Reviewer: Robert W. van der Waall (Amsterdam) MSC: 03-03 03F35 03B30 03F60 01A60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Schubring, Gert Searches for the origins of the epistemological concept of model in mathematics. (English) Zbl 1390.00051 Arch. Hist. Exact Sci. 71, No. 3, 245-278 (2017). Reviewer: Volker Peckhaus (Paderborn) MSC: 00A30 01A55 01A60 01A90 51-03 × Cite Format Result Cite Review PDF Full Text: DOI
Naibo, Alberto; Petrolo, Mattia; Seiller, Thomas Verificationism and classical realizability. (English) Zbl 1439.03097 Başkent, Can (ed.), Perspectives on interrogative models of inquiry. Developments in inquiry and questions. Cham: Springer. Log. Argum. Reason. 8, 163-197 (2016). MSC: 03F03 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
Bolotin, Arkady Constructibility of the universal wave function. (English) Zbl 1368.81019 Found. Phys. 46, No. 10, 1253-1268 (2016). MSC: 81P05 81P15 83F05 00A79 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Negri, Sara; von Plato, Jan Meaning in use. (English) Zbl 1429.03192 Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 239-257 (2015). MSC: 03F03 03B20 03F07 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Detlefsen, Michael On the motives for proof theory. (English) Zbl 1429.03002 Wansing, Heinrich (ed.), Dag Prawitz on proofs and meaning. Cham: Springer. Outst. Contrib. Log. 7, 121-145 (2015). MSC: 03-03 03F03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Davis, Martin; Sieg, Wilfried Conceptual confluence in 1936: Post and Turing. (English) Zbl 1400.01008 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 3-27 (2015). Reviewer: Guido Gherardi (Bologna) MSC: 01A60 03-03 03D03 03D10 20M05 × Cite Format Result Cite Review PDF Full Text: DOI
Incurvati, Luca On the concept of finitism. (English) Zbl 1369.03050 Synthese 192, No. 8, 2413-2436 (2015). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Gratzl, Norbert Incomplete symbols – definite descriptions revisited. (English) Zbl 1336.03064 J. Philos. Log. 44, No. 5, 489-506 (2015). MSC: 03F05 03A05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Eklund, Patrik; Galán, M. Ángeles; Helgesson, Robert; Kortelainen, Jari Fuzzy terms. (English) Zbl 1334.03022 Fuzzy Sets Syst. 256, 211-235 (2014). MSC: 03B52 06F07 18C15 × Cite Format Result Cite Review PDF Full Text: DOI
Martínez Vidal, Concha; Úbeda Rives, José Pedro Leon Henkin the reviewer. (English) Zbl 1331.01025 Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 93-133 (2014). MSC: 01A70 01A60 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Legris, Javier Paul Hertz’s systems of propositions as a proof-theoretical conception of logic. (English) Zbl 1344.03045 Pereira, Luiz Carlos (ed.) et al., Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Dordrecht: Springer (ISBN 978-94-007-7547-3/hbk; 978-94-007-7548-0/ebook). Trends in Logic – Studia Logica Library 39, 93-101 (2014). MSC: 03F03 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
von Plato, Jan From axiomatic logic to natural deduction. (English) Zbl 1344.03048 Stud. Log. 102, No. 6, 1167-1184 (2014). MSC: 03F03 03F07 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Schiemer, Georg Carnap’s early semantics. (English) Zbl 1303.03007 Erkenntnis 78, No. 3, 487-522 (2013). MSC: 03-03 00A30 01A60 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Grattan-Guinness, Ivor A new-old characterisation of logical knowledge. (English) Zbl 1304.03019 Hist. Philos. Log. 33, No. 3, 245-290 (2012). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Hakli, Raul; Negri, Sara Does the deduction theorem fail for modal logic? (English) Zbl 1275.03091 Synthese 187, No. 3, 849-867 (2012). MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Smadja, Ivahn Local axioms in disguise: Hilbert on Minkowski diagrams. (English) Zbl 1274.03006 Synthese 186, No. 1, 315-370 (2012). MSC: 03-03 00A30 01A60 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Schiemer, Georg Carnap’s Untersuchungen: logicism, formal axiomatics, and metatheory. (English) Zbl 1257.03010 Creath, Richard (ed.), Rudolf Carnap and the legacy of logical empiricism. Selected papers presented at the conference, Vienna, Austria, June 28–29, 2010. Berlin: Springer (ISBN 978-94-007-3928-4/hbk; 978-94-007-3929-1/ebook). Vienna Circle Institute Yearbook 16, 13-36 (2012). MSC: 03-03 03A10 × Cite Format Result Cite Review PDF Full Text: DOI
Ketland, Jeffrey Identity and indiscernibility. (English) Zbl 1252.03012 Rev. Symb. Log. 4, No. 2, 171-185 (2011). MSC: 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Egidi, Lavinia; Faglia, Giovanni Double-exponential inseparability of Robinson subsystem \(Q_{+}\). (English) Zbl 1222.03033 J. Symb. Log. 76, No. 1, 94-124 (2011). MSC: 03C07 03D15 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI
Rabe, Florian; Pudlák, Petr; Sutcliffe, Geoff; Shen, Weina Solving the $100 modal logic challenge. (English) Zbl 1161.03302 J. Appl. Log. 7, No. 1, 113-130 (2009). MSC: 03B35 03B45 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Kanamori, Akihiro Bernays and set theory. (English) Zbl 1172.03002 Bull. Symb. Log. 15, No. 1, 43-69 (2009). Reviewer: Egbert Harzheim (Köln) MSC: 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Ganea, Mihai Arithmetic on semigroups. (English) Zbl 1160.03038 J. Symb. Log. 74, No. 1, 265-278 (2009). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03D35 × Cite Format Result Cite Review PDF Full Text: DOI
Kahle, Reinhard Gödel’s incompleteness theorems. On the occasion of Kurt Gödel’s 100th anniversary on April 28, 2006. (Die Gödelschen Unvollständigkeitssätze. Zum 100. Geburtstag von Kurt Gödel am 28. April 2006.) (German) Zbl 1116.03003 Math. Semesterber. 54, No. 1, 1-12 (2007). Reviewer: Roman Murawski (Poznań) MSC: 03-03 01A60 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Jané, Ignacio What is Tarski’s common concept of consequence? (English) Zbl 1105.03003 Bull. Symb. Log. 12, No. 1, 1-42 (2006). Reviewer: Roman Murawski (Poznań) MSC: 03-03 01A60 03A05 03B22 × Cite Format Result Cite Review PDF Full Text: DOI Link
Avigad, Jeremy; Simic, Ksenija Fundamental notions of analysis in subsystems of second-order arithmetic. (English) Zbl 1109.03069 Ann. Pure Appl. Logic 139, No. 1-3, 138-184 (2006). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 × Cite Format Result Cite Review PDF Full Text: DOI Link
Chateau, A. On the complexity of decision using destinies in \(H\)-bounded structures. (English) Zbl 1070.68039 Theor. Comput. Sci. 322, No. 1, 41-67 (2004). MSC: 68Q05 03B25 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
Niiniluoto, Ilkka Tarski’s definition and truth-makers. (English) Zbl 1057.03003 Ann. Pure Appl. Logic 126, No. 1-3, 57-76 (2004). Reviewer: Roman Murawski (Poznań) MSC: 03-03 01A60 03A05 03C07 × Cite Format Result Cite Review PDF Full Text: DOI
Awodey, Steve; Reck, Erich H. Completeness and categoricity. I: Nineteenth-century axiomatics to twentieth-century metalogic. (English) Zbl 1031.03002 Hist. Philos. Log. 23, No. 1, 1-30 (2002). MSC: 03-03 01A55 01A60 03B15 03C35 × Cite Format Result Cite Review PDF Full Text: DOI
Shanin, N. A. On a finitary version of mathematical analysis. (English) Zbl 0998.03047 Ann. Pure Appl. Logic 113, No. 1-3, 261-295 (2002). Reviewer: Ning Zhong (Batavia/Ohio) MSC: 03F60 26E40 46S30 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Schirn, Matthias; Niebergall, Karl-Georg Extensions of the finitist point of view. (English) Zbl 1031.03003 Hist. Philos. Log. 22, No. 3, 135-161 (2001). MSC: 03-03 03A05 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Willard, Dan E. Self-verifying axiom systems, the incompleteness theorem and related reflection principles. (English) Zbl 0991.03053 J. Symb. Log. 66, No. 2, 536-596 (2001). Reviewer: Roman Murawski (Poznań) MSC: 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Zach, Richard Completeness before Post: Bernays, Hilbert, and the development of propositional logic. (English) Zbl 0942.03003 Bull. Symb. Log. 5, No. 3, 331-366 (1999). Reviewer: V.Peckhaus (Erlangen) MSC: 03-03 01A60 03A05 00A30 03B25 03B30 × Cite Format Result Cite Review PDF Full Text: DOI Link Link
Tegmark, Max Is ”The theory of everything” merely the ultimate ensemble theory? (English) Zbl 1057.81505 Ann. Phys. 270, No. 1, 1-51 (1998). MSC: 81P05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kremer, Philip Defining relevant implication in a propositionally quantified S4. (English) Zbl 0949.03021 J. Symb. Log. 62, No. 4, 1057-1069 (1997). MSC: 03B47 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Sieg, Wilfried Step by recursive step: Church’s analysis of effective calculability. (English) Zbl 0884.03001 Bull. Symb. Log. 3, No. 2, 154-180 (1997). Reviewer: Leon Harkleroad (Poughkeepsie) MSC: 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Stålmarck, Gunnar Short resolution proofs for a sequence of tricky formulas. (English) Zbl 0858.68092 Acta Inf. 33, No. 3, 277-280 (1996). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
van Dalen, Dirk Hermann Weyl’s intuitionistic mathematics. (English) Zbl 0858.03007 Bull. Symb. Log. 1, No. 2, 145-169 (1995). Reviewer: A.Garciadiego (Mexico) MSC: 03-03 01A60 03F55 01A72 × Cite Format Result Cite Review PDF Full Text: DOI Link
Rautenberg, Wolfgang Gödel’s completeness theorem. (Der Gödelsche Vollständigkeitssatz.) (German) Zbl 0794.03047 Math. Semesterber. 39, No. 1, 13-28 (1992). MSC: 03C07 03-01 × Cite Format Result Cite Review PDF Full Text: DOI
Feferman, Solomon Reflecting on incompleteness. (English) Zbl 0746.03046 J. Symb. Log. 56, No. 1, 1-49 (1991). Reviewer: Li Xiang (Guiyang) MSC: 03F30 03E30 × Cite Format Result Cite Review PDF Full Text: DOI
Brown, Douglas K.; Simpson, Stephen G. Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (English) Zbl 0615.03044 Ann. Pure Appl. Logic 31, 123-144 (1986). Reviewer: H.Schwichtenberg MSC: 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Diller, J.; Troelstra, A. S. Realizability and intuitionistic logic. (English) Zbl 0537.03043 Synthese 60, 253-282 (1984). MSC: 03F65 03F50 03B15 03F25 × Cite Format Result Cite Review PDF Full Text: DOI
Shapiro, Stewart Remarks on the development of computability. (English) Zbl 0529.03015 Hist. Philos. Logic 4, 203-220 (1983). MSC: 03D20 03-03 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Goldfarb, Warren D. Logic in the twenties: The nature of the quantifier. (English) Zbl 0438.03001 J. Symb. Log. 44, 351-368 (1979). MSC: 03-03 01A60 01A55 × Cite Format Result Cite Review PDF Full Text: DOI
Calude, Cristian; Marcus, Solomon; Tevy, Ionel The first example of a recursive function which is not primitive recursive. (English) Zbl 0426.03042 Hist. Math. 6, 380-384 (1979). MSC: 03D20 01A60 03-03 × Cite Format Result Cite Review PDF Full Text: DOI
Jeroslow, R. G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. (English) Zbl 0276.02031 J. Symb. Log. 38, 359-367 (1973). MSC: 03C35 × Cite Format Result Cite Review PDF Full Text: DOI
Buchi, J. Richard; Danhof, Kenneth J. Definibility in normal theories. (English) Zbl 0267.02038 Isr. J. Math. 14, 248-256 (1973). MSC: 03C35 03B99 03F99 × Cite Format Result Cite Review PDF Full Text: DOI
Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C. Sets recognized by n-tape automata. (English) Zbl 0207.02002 J. Algebra 13, 447-464 (1969). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Tóth, Imre Das Parallelenproblem im Corpus Aristotelicum. (German) Zbl 0154.24602 Arch. Hist. Exact Sci. 3, 249-422 (1967). Reviewer: E. Stamatis MSC: 01A20 × Cite Format Result Cite Review PDF Full Text: DOI
Cook, S. A.; Wang, Hao Characterizations of ordinal numbers in set theory. (English) Zbl 0147.26101 Math. Ann. 164, 1-25 (1966). × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Ginsburg, Seymour; Spanier, Edwin H. Bounded regular sets. (English) Zbl 0147.25301 Proc. Am. Math. Soc. 17, 1043-1049 (1966). × Cite Format Result Cite Review PDF Full Text: DOI
Popper, K. R. Creative and non-creative definitions in the calculus of probability. (English) Zbl 0144.24503 Synthese 15, 167-186 (1963). × Cite Format Result Cite Review PDF Full Text: DOI
Feferman, Solomon Classifications of recursive functions by means of hierarchies. (English) Zbl 0106.00602 Trans. Am. Math. Soc. 104, 101-122 (1962). × Cite Format Result Cite Review PDF Full Text: DOI
Müller, Gert H. Nicht-Standardmodelle der Zahlentheorie. (German) Zbl 0268.02039 Math. Z. 77, 414-438 (1961). MSC: 03H99 11U10 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Turquette, Atwell R. Simplified axioms for many-valued quantification theory. (English) Zbl 0085.24501 J. Symb. Log. 23, 139-148 (1959). × Cite Format Result Cite Review PDF Full Text: DOI
Bing, Kurt On the axioms of order and succession. (English) Zbl 0086.00803 J. Symb. Log. 22, 141-144 (1957). × Cite Format Result Cite Review PDF Full Text: DOI
Hailperin, Theodore A theory of restricted quantification. I, II. (English) Zbl 0081.24502 J. Symb. Log. 22, 19-35, 113-129 (1957). × Cite Format Result Cite Review PDF Full Text: DOI
Craig, William Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. (English) Zbl 0079.24502 J. Symb. Log. 22, 269-285 (1957). × Cite Format Result Cite Review PDF Full Text: DOI
Feferman, Solomon Degrees of unsolvability associated with classes of formalized theories. (English) Zbl 0078.00603 J. Symb. Log. 22, 161-175 (1957). × Cite Format Result Cite Review PDF Full Text: DOI
Wang, Hao The axiomatization of arithmetic. (English) Zbl 0078.00503 J. Symb. Log. 22, 145-158 (1957). × Cite Format Result Cite Review PDF Full Text: DOI
Ackermann, Wilhelm Begründung einer strengen Implikation. (German) Zbl 0072.00106 J. Symb. Log. 21, 113-128 (1956). Reviewer: H. Guggenheimer MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
L’Abbé, Maurice Systems of transfinite types involving \(\lambda\)-conversion. (English) Zbl 0053.20302 J. Symb. Log. 18, 209-224 (1953). × Cite Format Result Cite Review PDF Full Text: DOI
Hailperin, Theodore Quantification theory and empty individual-domains. (English) Zbl 0052.00903 J. Symb. Log. 18, 197-200 (1953). × Cite Format Result Cite Review PDF Full Text: DOI
Hasenjaeger, G. Eine Bemerkung zu Henkin’s Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe. (German) Zbl 0051.00503 J. Symb. Log. 18, 42-48 (1953). × Cite Format Result Cite Review PDF Full Text: DOI
Wang, Hao Logic of many-sorted theories. (English) Zbl 0049.14802 J. Symb. Log. 17, 105-116 (1952). × Cite Format Result Cite Review PDF Full Text: DOI
Hasenjaeger, Gisbert Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls. (German) Zbl 0049.00603 Arch. Math. Logik Grundlagenforsch. 1, 99-129 (1952). × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Myhill, John R. A complete theory of natural, rational, and real numbers. (English) Zbl 0041.34207 J. Symb. Log. 15, 185-196 (1950). Reviewer: J. C. Shepherdson MSC: 03-02 × Cite Format Result Cite Review PDF Full Text: DOI
Goodstein, R. L. The formal structure of a denumerable system. (English) Zbl 0039.24405 Trans. Am. Math. Soc. 68, 174-182 (1950). × Cite Format Result Cite Review PDF Full Text: DOI
Cinquini, S. Leonida Tonelli. (English) Zbl 0036.00505 Ann. Sc. Norm. Super. Pisa, II. Ser. 15, 1-37 (1950). × Cite Format Result Cite Review PDF Full Text: Numdam EuDML
Specker, Ernst Nicht konstruktiv beweisbare Sätze der Analysis. (German) Zbl 0033.34102 J. Symb. Log. 14, 145-158 (1949). Reviewer: Paul Lorenzen (Bonn) MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI Link
Kemeney, John G. Models of logical systems. (English) Zbl 0035.00401 J. Symb. Log. 13, 16-30 (1948). × Cite Format Result Cite Review PDF Full Text: DOI