Works matching DE "PEANO axioms"

Results: 49

A GENERALIZATION OF THE PEANO KERNEL AND ITS APPLICATIONS.

Published in:

Communications Series A1 Mathematics & Statistics, 2017, v. 67, n. 2, p. 229, doi. 10.1501/Commua1_0000000877

By:

BUDAKÇI, GÜLTER;
ORUÇ, HALIL

Publication type:

Article

Organization and Management of Massive Terrain Data Using Block Quadtree.

Published in:

International Journal of Simulation: Systems, Science & Technology, 2016, v. 17, n. 3, p. 18.1, doi. 10.5013/IJSSST.a.17.03.18

By:

Yang Ying

Publication type:

Article

On partial disjunction properties of theories containing Peano arithmetic.

Published in:

Archive for Mathematical Logic, 2018, v. 57, n. 7/8, p. 953, doi. 10.1007/s00153-018-0618-3

By:

Kurahashi, Taishi

Publication type:

Article

The strength of countable saturation.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 699, doi. 10.1007/s00153-017-0567-2

By:

Berg, Benno;
Briseid, Eyvind;
Safarik, Pavol

Publication type:

Article

TESTING ECONOMIC THEORY.

Published in:

Procesos de Mercado, 2018, v. 15, n. 2, p. 303, doi. 10.52195/pm.v15i2.54

By:

GUZELIAN, CHRISTOPHER P.

Publication type:

Article

Verification logic.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 8, p. 2451, doi. 10.1093/logcom/exx027

By:

AGUILERA, JUAN PABLO;
FERNÁNDEZ-DUQUE, DAVID

Publication type:

Article

Gödel-Rosser's Incompleteness Theorem, generalized and optimized for definable theories.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1391, doi. 10.1093/logcom/exw025

By:

SALEHI, SAEED;
SERAJI, PAYAM

Publication type:

Article

Uniquely clean 2 ×2 invertible integral matrices.

Published in:

Studia Universitatis Babeş-Bolyai, Mathematica, 2017, v. 62, n. 3, p. 287, doi. 10.24193/subbmath.2017.3.02

By:

Andrica, Dorin;
Călugăreanu, Grigore

Publication type:

Article

Gödel's second incompleteness theorem for Σ<sub>n</sub>-definable theories.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 2, p. 255, doi. 10.1093/jigpal/jzx061

By:

CHAO, CONDEN;
SERAJI, PAYAM

Publication type:

Article

A many-sorted variant of Japaridze's polymodal provability logic.

Published in:

Logic Journal of the IGPL, 2018, v. 26, n. 5, p. 505, doi. 10.1093/jigpal/jzy012

By:

Berger, Gerald;
Beklemishev, Lev D;
Tompits, Hans

Publication type:

Article

ON THE NUMBER OF REPRESENTATIONS OF A POSITIVE INTEGER BY BINARY FORMS BELONGING TO GENERA CONSISTING OF TWO CLASSES.

Published in:

Reports of Enlarged Sessions of Seminar of I. Vekua Institute of Applied Mathematics, 2016, n. 30, p. 114

By:

Vepkhvadze, Teimuraz

Publication type:

Article

Paraphrase and the Symmetry Objection.

Published in:

Australasian Journal of Philosophy, 2017, v. 95, n. 2, p. 365, doi. 10.1080/00048402.2016.1168457

By:

Keller, John A.

Publication type:

Article

What Are Structural Properties?

Published in:

Philosophia Mathematica, 2018, v. 26, n. 3, p. 295, doi. 10.1093/philmat/nkx011

By:

Korbmacher, Johannes;
Schiemer, Georg

Publication type:

Article

Arithmetical Reflection and the Provability of Soundness†.

Published in:

Philosophia Mathematica, 2015, v. 23, n. 1, p. 31, doi. 10.1093/philmat/nku026

By:

Dean, Walter

Publication type:

Article

GOD AND THE NUMBERS.

Published in:

Journal of Philosophy, 2023, v. 120, n. 12, p. 641, doi. 10.5840/jphil20231201235

By:

STUDTMANN, PAUL

Publication type:

Article

Evolution differential equations with non-Lipschitz nonlinearities.

Published in:

Differential Equations, 2014, v. 50, n. 9, p. 1275, doi. 10.1134/S001226611409016X

By:

Zubelevich, O.

Publication type:

Article

Corrigendum: The theory of Peano sentences.

Published in:

Journal of Mathematical Logic, 2017, v. 17, n. 1, p. -1, doi. 10.1142/S0219061317920015

By:

Shavrukov, V. Yu.

Publication type:

Article

GENERALIZATIONS OF THE RECURSION THEOREM.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1683, doi. 10.1017/jsl.2018.52

By:

TERWIJN, SEBASTIAAN A.

Publication type:

Article

ENAYAT MODELS OF PEANO ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1501, doi. 10.1017/jsl.2018.29

By:

ABDUL-QUADER, ATHAR

Publication type:

Article

PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 1229, doi. 10.1017/jsl.2018.27

By:

KURAHASHI, TAISHI

Publication type:

Article

INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES.

Published in:

Journal of Symbolic Logic, 2018, v. 83, n. 3, p. 991, doi. 10.1017/jsl.2017.63

By:

FUJIWARA, MAKOTO;
KOHLENBACH, ULRICH

Publication type:

Article

MARGINALIA ON A THEOREM OF WOODIN.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 359, doi. 10.1017/jsl.2016.8

By:

Blanck, Rasmus;
Enayat, Ali

Publication type:

Article

UNIVERSAL ROSSER PREDICATES.

Published in:

Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 292, doi. 10.1017/jsl.2016.19

By:

Kikuchi, Makoto;
Kurahashi, Taishi

Publication type:

Article

ILLUSORY MODELS OF PEANO ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1163, doi. 10.1017/jsl.2015.52

By:

KIKUCHI, MAKOTO;
KURAHASHI, TAISHI

Publication type:

Article

AUTOMORPHISM GROUPS OF COUNTABLE ARITHMETICALLY SATURATED MODELS OF PEANO ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2015, v. 80, n. 4, p. 1411, doi. 10.1017/jsl.2015.1

By:

SCHMERL, JAMES H.

Publication type:

Article

UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS.

Published in:

Journal of Symbolic Logic, 2015, v. 80, n. 2, p. 490, doi. 10.1017/jsl.2014.57

By:

MARKER, DAVID;
SCHMERL, JAMES H.;
STEINHORN, CHARLES

Publication type:

Article

AUTOMORPHISM GROUPS OF SATURATED MODELS OF PEANO ARITHMETIC.

Published in:

Journal of Symbolic Logic, 2014, v. 79, n. 2, p. 561, doi. 10.1017/jsl.2013.15

By:

NURKHAIDAROV, ERMEK S.;
SCHMERL, JAMES H.

Publication type:

Article

FRIEDBERG NUMBERING IN FRAGMENTS OF PEANO ARITHMETIC AND α-RECURSION THEORY.

Published in:

Journal of Symbolic Logic, 2013, v. 78, n. 4, p. 1135, doi. 10.2178/jsl.7804060

By:

WEI LI

Publication type:

Article

On the Schwartzkopff-Rosen Principle.

Published in:

Philosophia, 2020, v. 48, n. 1, p. 405, doi. 10.1007/s11406-019-00068-6

By:

De Florio, Ciro;
Zanetti, Luca

Publication type:

Article

Splitting the structured paths in stratified graphs. Application in Natural Language Generation.

Published in:

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2014, v. 22, n. 2, p. 57, doi. 10.2478/auom-2014-0031

By:

Dănciulescu, Dana;
Colhon, Mihaela

Publication type:

Article

UNIFYING SOME NOTIONS OF INFINITY IN ZC AND ZF.

Published in:

Reports on Mathematical Logic, 2016, n. 51, p. 43, doi. 10.4467/20842589RM.16.004.5281

By:

OMAN, Greg

Publication type:

Article

USING PEANO CURVES TO CONSTRUCT LAPLACIANS ON FRACTALS.

Published in:

Fractals, 2015, v. 23, n. 4, p. -1, doi. 10.1142/S0218348X15500486

By:

MOLITOR, DENALI;
OTT, NADIA;
STRICHARTZ, ROBERT

Publication type:

Article

On approximations of the Euler-Peano scheme for multivalued stochastic differential equations.

Published in:

Stochastics: An International Journal of Probability & Stochastic Processes, 2019, v. 91, n. 2, p. 215, doi. 10.1080/17442508.2018.1521809

By:

Wu, Jing;
Zhang, Mingbo

Publication type:

Article

Computation over algebraic structures and a classification of undecidable problems.

Published in:

Mathematical Structures in Computer Science, 2017, v. 27, n. 8, p. 1386, doi. 10.1017/S0960129516000116

By:

GAβNER, CHRISTINE

Publication type:

Article

Expressing an integer as a sum of consecutive integers.

Published in:

Basic Sciences Journal of Textile Universities / Fangzhi Gaoxiao Jichu Kexue Xuebao, 2014, v. 27, n. 1, p. 1

By:

ZHAI Wen-guang

Publication type:

Article

MINIMAL DEGREES OF GENOCCHI-PEANO FUNCTIONS: CALCULUS MOTIVATED NUMBER THEORETICAL ESTIMATES.

Published in:

Real Analysis Exchange, 2018, v. 43, n. 2, p. 281, doi. 10.14321/realanalexch.43.2.0281

By:

Ciesielski, Krzysztof Chris

Publication type:

Article

On the (In)Dependence of the Peano Axioms for Natural Numbers.

Published in:

History & Philosophy of Logic, 2022, v. 43, n. 1, p. 51, doi. 10.1080/01445340.2021.1971005

By:

Cerioli, Márcia R.;
Nobrega, Hugo;
Silveira, Guilherme;
Viana, Petrucio

Publication type:

Article

GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑n-DEFINABLE THEORIES OF ARITHMETIC.

Published in:

Review of Symbolic Logic, 2017, v. 10, n. 4, p. 603, doi. 10.1017/S1755020317000235

By:

KIKUCHI, MAKOTO;
KURAHASHI, TAISHI

Publication type:

Article

AXIOMS FOR GROUNDED TRUTH.

Published in:

Review of Symbolic Logic, 2014, v. 7, n. 1, p. 73, doi. 10.1017/S1755020313000282

By:

SCHINDLER, THOMAS

Publication type:

Article

Decoding in the automorphism group of a recursively saturated model of arithmetic.

Published in:

Mathematical Logic Quarterly, 2015, v. 61, n. 3, p. 179, doi. 10.1002/malq.201400008

By:

Nurkhaidarov, Ermek

Publication type:

Article

A construction of real closed fields.

Published in:

Mathematical Logic Quarterly, 2015, v. 61, n. 3, p. 159, doi. 10.1002/malq.201300052

By:

Tanaka, Yu‐ichi;
Tsuboi, Akito

Publication type:

Article

Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic.

Published in:

Mathematical Logic Quarterly, 2015, v. 61, n. 3, p. 230, doi. 10.1002/malq.201400064

By:

Pambuccian, Victor

Publication type:

Article

Cofinal elementary extensions.

Published in:

Mathematical Logic Quarterly, 2014, v. 60, n. 1/2, p. 12, doi. 10.1002/malq.201200066

By:

Schmerl, James H.

Publication type:

Article

Deflationism, Arithmetic, and the Argument from Conservativeness.

Published in:

Mind (0026-4423), 2017, v. 126, n. 502, p. 429, doi. 10.1093/mind/fzv182

By:

WAXMAN, DANIEL

Publication type:

Article

A Theorem about Computationalism and 'Absolute' Truth.

Published in:

Minds & Machines, 2016, v. 26, n. 3, p. 205, doi. 10.1007/s11023-015-9382-x

By:

Charlesworth, Arthur

Publication type:

Article

Proofs and Guarantees.

Published in:

Mathematical Intelligencer, 2017, v. 39, n. 4, p. 47, doi. 10.1007/s00283-017-9730-1

By:

Brown, James

Publication type:

Article

INCONSISTENT MODELS (AND INFINITE MODELS) FOR ARITHMETICS WITH CONSTRUCTIBLE FALSITY.

Published in:

Logic & Logical Philosophy, 2019, v. 28, n. 3, p. 389, doi. 10.12775/LLP.2018.011

By:

Ferguson, Thomas Macaulay

Publication type:

Article

Folding left and right over Peano numbers.

Published in:

Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000042

By:

DANVY, OLIVIER

Publication type:

Article

Chance and Necessity.

Published in:

Philosophical Perspectives, 2016, v. 30, n. 1, p. 294, doi. 10.1111/phpe.12076

By:

Nolan, Daniel

Publication type:

Article