Počet záznamů: 1  

Metamathematics of First-Order Arithmetic

  1. 1.
    0501039 - ÚI 2020 GB eng B - Monografie kniha jako celek
    Hájek, Petr - Pudlák, Pavel
    Metamathematics of First-Order Arithmetic.
    Cambridge: Cambridge University Press, 2017. 474 s. Perspectives in Logic. ISBN 978-1-107-16841-1
    Institucionální podpora: RVO:67985807 ; RVO:67985840
    Klíčová slova: Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
    Obor OECD: Pure mathematics; Pure mathematics (MU-W)

    Citováno: 64

    --- WALSH, S. THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, NOV 2017, vol. 4, no. 10, SI, p. 3467-3485. [WOS]
    --- HIRSCHFELDT, D.R. - LANGE, K. - SHORE, R.A. Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem. MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0065-9266, SEP 2017, vol. 249, no. 1187, p. 1-+. [WOS]
    --- CARL, M. - D'AQUINO, P. - KUHLMANN, S. On the value group of a model of Peano Arithmetic. FORUM MATHEMATICUM. ISSN 0933-7741, JUL 2017, vol. 29, no. 4, p. 951-957. [WOS]
    --- RIN, B.G. - WALSH, S. REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG'S 1985 CONSTRUCTION. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, DEC 2016, vol. 9, no. 4, p. 752-809. [WOS]
    --- STEILA, S. - YOKOYAMA, K. Reverse mathematical bounds for the Termination Theorem. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, DEC 2016, vol. 167, no. 12, p. 1213-1241. [WOS]
    --- KREUZER, A.P. - YOKOYAMA, K. On principles between Sigma(1)- and Sigma(2)-induction, and monotone enumerations. JOURNAL OF MATHEMATICAL LOGIC. ISSN 0219-0613, JUN 2016, vol. 16, no. 1. [WOS]
    --- WALSH, S. THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, MAR 2016, vol. 22, no. 1, p. 105-120. [WOS]
    --- DORAIS, F.G. - HIRST, J.L. - SHAFER, P. COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF Sigma(0)(2) INDUCTION. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, DEC 2015, vol. 80, no. 4, p. 1211-1235. [WOS]
    --- BELANGER, D.R. WKL0 and induction principles in model theory. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JUL-AUG 2015, vol. 166, no. 7-8, p. 767-799. [WOS]
    --- AKAMA, Y. Realizability interpretation of PA by iterated limiting PCA. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. ISSN 0960-1295, DEC 2014, vol. 24, no. 6. [WOS]
    --- WALSH, S. Empiricism, probability, and knowledge of arithmetic: A preliminary defense. JOURNAL OF APPLIED LOGIC. ISSN 1570-8683, SEP 2014, vol. 12, no. 3, SI, p. 319-348. [WOS]
    --- WALSH, S. LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, MAR 2014, vol. 7, no. 1, p. 84-119. [WOS]
    --- DEAN, W. - KUROKAWA, H. The Paradox of the Knower revisited. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, JAN 2014, vol. 165, no. 1, SI, p. 199-224. [WOS]
    --- ODINTSOV, S.P. - SPERANSKI, S.O. Computability Issues for Adaptive Logics in Multi-Consequence Standard Format. STUDIA LOGICA. ISSN 0039-3215, DEC 2013, vol. 101, no. 6, p. 1237-1262. [WOS]
    --- CONIDIS, C.J. - SLAMAN, T.A. RANDOM REALS, THE RAINBOW RAMSEY THEOREM, AND ARITHMETIC CONSERVATION. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, MAR 2013, vol. 78, no. 1, p. 195-206. [WOS]
    --- JERABEK, E. - KOLODZIEJCZYK, L.A. Real closures of models of weak arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, FEB 2013, vol. 52, no. 1-2, p. 143-157. [WOS]
    --- WALSH, S. Comparing Peano arithmetic, Basic Law V, and Hume's Principle. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, NOV 2012, vol. 163, no. 11, SI, p. 1679-1709. [WOS]
    --- KREUZER, A.P. - KOHLENBACH, U. TERM EXTRACTION AND RAMSEY'S THEOREM FOR PAIRS. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2012, vol. 77, no. 3, p. 853-895. [WOS]
    --- CORDUAN, J.R. - DORAIS, F.G. On the Indecomposability of omega(n). NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2012, vol. 53, no. 3, p. 373-395. [WOS]
    --- KREUZER, A.P. Primitive Recursion and the Chain Antichain Principle. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2012, vol. 53, no. 2, p. 245-265. [WOS]
    --- CHONG, C.T. - LEMPP, S. - YANG, Y. ON THE ROLE OF THE COLLECTION PRINCIPLE FOR Sigma(0)(2)-FORMULAS IN SECOND-ORDER REVERSE MATHEMATICS. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY. ISSN 0002-9939, MAR 2010, vol. 138, no. 3, p. 1093-1100. [WOS]
    --- MALY, J. - MULLER, M. A remark on pseudo proof systems and hard instances of the satisfiability problem. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, DEC 2018, vol. 64, no. 6, p. 418-428. [WOS]
    --- PELUPESSY, F. Reverse mathematics of the finite downwards closed subsets of <mml:msup>Nk</mml:msup> ordered by inclusion and adjacent Ramsey for fixed dimension. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, JUL 2018, vol. 64, no. 3, p. 178-182. [WOS]
    --- KARIMI, A. - SALEHI, S. DIAGONAL ARGUMENTS AND FIXED POINTS. BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY. ISSN 1735-8515, OCT 2017, vol. 43, no. 5, p. 1073-1088. [WOS]
    --- FRITTAION, E. - STEILA, S. - YOKOYAMA, K. The Strength of the SCT Criterion. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2017). ISSN 0302-9743, 2017, vol. 10185, p. 259-272. [WOS]
    --- ADAMS, R. - LUO, Z.H. A pluralist approach to the formalisation of mathematics. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. ISSN 0960-1295, AUG 2011, vol. 21, no. 4, SI, p. 913-942. [WOS]
    --- CARLUCCI, L. - DEHORNOY, P. - WEIERMANN, A. Unprovability results involving braids. PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY. ISSN 0024-6115, JAN 2011, vol. 102, 1, p. 159-192. [WOS]
    --- NICOLAI, C. - PIAZZA, M. The Implicit Commitment of Arithmetical Theories and Its Semantic Core. ERKENNTNIS. ISSN 0165-0106, AUG 2019, vol. 84, no. 4, p. 913-937. [WOS]
    --- SALEHI, S. - SERAJI, P. On constructivity and the Rosser property: a closer look at some Godelean proofs. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, OCT 2018, vol. 169, no. 10, p. 971-980. [WOS]
    --- DEAN, W. STRICT FINITISM, FEASIBILITY, AND THE SORITES. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, JUN 2018, vol. 11, no. 2, p. 295-346. [WOS]
    --- NICOLAI, C. - ROSSI, L. Principles for Object-Linguistic Consequence: from Logical to Irreflexive. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, JUN 2018, vol. 47, no. 3, p. 549-577. [WOS]
    --- BIENVENU, L. - PATEY, L. - SHAFER, P. On the logical strengths of partial solutions to mathematical problems. TRANSACTIONS OF THE LONDON MATHEMATICAL SOCIETY. ISSN 2052-4986, DEC 2017, vol. 4, no. 1, p. 30-71. [WOS]
    --- WCISLO, B. - LELYK, M. NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, SEP 2017, vol. 10, no. 3, p. 455-480. [WOS]
    --- HENK, P. - VISSER, A. Interpretability suprema in Peano Arithmetic. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 0933-5846, AUG 2017, vol. 56, no. 5-6, p. 555-584. [WOS]
    --- NICOLAI, C. EQUIVALENCES FOR TRUTH PREDICATES. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, JUN 2017, vol. 10, no. 2, p. 322-356. [WOS]
    --- DEAN, W. - WALSH, S. THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, JUN 2017, vol. 10, no. 2, p. 357-396. [WOS]
    --- SHAFER, P. Honest elementary degrees and degrees of relative provability without the cupping property. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, MAY 2017, vol. 168, no. 5, p. 1017-1031. [WOS]
    --- FISCHER, B. Modal Justification via Theories. MODAL JUSTIFICATION VIA THEORIES. ISSN 0166-6991, 2017, vol. 380, p. 1-135. [WOS]
    --- HORSTEN, L. - LEIGH, G.E. Truth is Simple. MIND. ISSN 0026-4423, JAN 2017, vol. 126, no. 501, p. 191-228. [WOS]
    --- LEIGH, G.E. REFLECTING ON TRUTH. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, OCT 2016, vol. 3, no. 4, SI, p. 557-593. [WOS]
    --- BELLOTTI, L. VON NEUMANN'S CONSISTENCY PROOF LUCA BELLOTTI. REVIEW OF SYMBOLIC LOGIC. ISSN 1755-0203, SEP 2016, vol. 9, no. 3, p. 429-455. [WOS]
    --- PRUSS, A.R. Possibility is not consistency. PHILOSOPHICAL STUDIES. ISSN 0031-8116, SEP 2015, vol. 172, no. 9, p. 2341-2348. [WOS]
    --- PAKHOMOV, F.N. On elementary theories of ordinal notation systems based on reflection principles. PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS. ISSN 0081-5438, MAY 2015, vol. 289, no. 1, p. 194-212. [WOS]
    --- MADORE, D.A. - ORGOGOZO, F. Computability of etale cohomology of module l. ALGEBRA & NUMBER THEORY. ISSN 1937-0652, 2015, vol. 9, no. 7, p. 1647-1739. [WOS]
    --- MEADOWS, T. FIXED POINTS FOR CONSEQUENCE RELATIONS. LOGIQUE ET ANALYSE. ISSN 0024-5836, SEP 2014, no. 227, SI, p. 333-357. [WOS]
    --- DEAN, W. Models and Computability. PHILOSOPHIA MATHEMATICA. ISSN 0031-8019, JUN 2014, vol. 22, no. 2, p. 143-166. [WOS]
    --- CIESLINSKI, C. - URBANIAK, R. Godelizing the Yablo Sequence. JOURNAL OF PHILOSOPHICAL LOGIC. ISSN 0022-3611, OCT 2013, vol. 42, no. 5, p. 679-695. [WOS]
    --- SALEHI, S. Herbrand consistency of some finite fragments of bounded arithmetical theories. ARCHIVE FOR MATHEMATICAL LOGIC. ISSN 1432-0665, MAY 2013, vol. 52, no. 3-4, p. 317-333. [WOS]
    --- SALEHI, S. HERBRAND CONSISTENCY OF SOME ARITHMETICAL THEORIES. JOURNAL OF SYMBOLIC LOGIC. ISSN 0022-4812, SEP 2012, vol. 77, no. 3, p. 807-827. [WOS]
    --- SALEHI, S. Separating bounded arithmetical theories by Herbrand consistency. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, JUN 2012, vol. 22, no. 3, p. 545-560. [WOS]
    --- HETZL, S. The Computational Content of Arithmetical Proofs. NOTRE DAME JOURNAL OF FORMAL LOGIC. ISSN 0029-4527, 2012, vol. 53, no. 3, p. 289-296. [WOS]
    --- YAMAGATA, Y. BOUNDED ARITHMETIC IN FREE LOGIC. LOGICAL METHODS IN COMPUTER SCIENCE. ISSN 1860-5974, 2012, vol. 8, no. 3. [WOS]
    --- ARANA, A. INFINITY OF PRIME NUMBERS: A CASE STUDY OF THE PURETY OF METHODS Introductions. ETUDES PHILOSOPHIQUES. ISSN 0014-2166, APR 2011, no. 2, p. 193-+. [WOS]
    --- HALIMI, B. The Versatility of Universality in Principia Mathematica. HISTORY AND PHILOSOPHY OF LOGIC. ISSN 0144-5340, 2011, vol. 32, no. 3, p. 241-264. [WOS]
    --- SANDERS, S. Relative arithmetic. MATHEMATICAL LOGIC QUARTERLY. ISSN 0942-5616, DEC 2010, vol. 56, no. 6, p. 564-572. [WOS]
    --- SANDERS, S. More infinity for a better finitism. ANNALS OF PURE AND APPLIED LOGIC. ISSN 0168-0072, SEP 2010, vol. 161, no. 12, p. 1525-1540. [WOS]
    --- SHORE, R.A. REVERSE MATHEMATICS: THE PLAYGROUND OF LOGIC. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, SEP 2010, vol. 16, no. 3, p. 378-402. [WOS]
    --- SCHIEMER, G. - GRATZL, N. The Epsilon-Reconstruction of Theories and Scientific Structuralism. ERKENNTNIS. ISSN 0165-0106, APR 2016, vol. 81, no. 2, p. 407-432. [WOS]
    --- DEAN, W. Arithmetical Reflection and the Provability of Soundness. PHILOSOPHIA MATHEMATICA. ISSN 0031-8019, FEB 2015, vol. 23, no. 1, p. 31-64. [WOS]
    --- CONIDIS, C.J. Infinite dimensional proper subspaces of computable vector spaces. JOURNAL OF ALGEBRA. ISSN 0021-8693, MAY 15 2014, vol. 406, p. 346-375. [WOS]
    --- CHENG, Y. CURRENT RESEARCH ON GoDEL'S INCOMPLETENESS THEOREMS. BULLETIN OF SYMBOLIC LOGIC. ISSN 1079-8986, JUN 2021, vol. 27, no. 2, p. 113-167. [WOS]
    --- HETZL, S. - VIERLING, J. CLAUSE SET CYCLES AND INDUCTION. LOGICAL METHODS IN COMPUTER SCIENCE. ISSN 1860-5974, 2020, vol. 16, no. 4. [WOS]
    --- TSVETKOV, V.Y. - SHAYTURA, S.V. - FEOKTISTOVA, V.M. - MINITAEVA, A.M. - KOZHAEV, Y.P. - BELYU, L.P. Metamodellin in the information field. AMAZONIA INVESTIGA. JAN 2020, vol. 9, no. 25, p. 395-402. [WOS]
    --- CHAO, C.D. - SERAJI, P. Godel's second incompleteness theorem for Sigma(n)-definable theories. LOGIC JOURNAL OF THE IGPL. ISSN 1367-0751, APR 2018, vol. 26, no. 2, p. 255-257. [WOS]

    Trvalý link: http://hdl.handle.net/11104/0293053
    Název souboruStaženoVelikostKomentářVerzePřístup
    0501039-titlist.pdf8138.3 KBvolne onlineVydavatelský postprintpovolen
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.