Works matching DE "REVERSE mathematics"

Results: 172

INDIVISIBILITY AND UNIFORM COMPUTATIONAL STRENGTH.

Published in:

Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 2, p. 1, doi. 10.46298/LMCS-21(222)2025

By:

GILL, KENNETH

Publication type:

Article

Word problem for deterministic and reversible semi-Thue systems.

Published in:

Semigroup Forum, 2014, v. 88, n. 2, p. 468, doi. 10.1007/s00233-013-9550-3

By:

Halava, Vesa;
Harju, Tero

Publication type:

Article

Some refinements of operator reverse AM-GM mean inequalities.

Published in:

Journal of Inequalities & Applications, 2017, v. 2017, n. 1, p. 1, doi. 10.1186/s13660-017-1557-y

By:

Xue, Jianming

Publication type:

Article

Persistence of lower dimensional invariant tori in a class of reversible systems.

Published in:

Dynamical Systems: An International Journal, 2018, v. 33, n. 1, p. 72, doi. 10.1080/14689367.2017.1298725

By:

Hong, Weiwei;
Zhang, Dongfeng

Publication type:

Article

Generalized Derivations on Semiprime Gamma Rings with Involution.

Published in:

Palestine Journal of Mathematics, 2014, v. 3, n. 2, p. 235

By:

Hoque, M. F.;
Paul, A. C.

Publication type:

Article

THE DETERMINACY STRENGTH OF PUSHDOWN ω-LANGUAGES.

Published in:

RAIRO - Theoretical Informatics & Applications, 2017, v. 51, n. 1, p. 29, doi. 10.1051/ita/2017006

By:

WENJUAN LI;
KAZUYUKI TANAKA

Publication type:

Article

Critical perspectives of pedagogical approaches to reversing the order of integration in double integrals.

Published in:

International Journal of Mathematical Education in Science & Technology, 2017, v. 48, n. 8, p. 1285, doi. 10.1080/0020739X.2017.1329559

By:

Tisdell, Christopher C.

Publication type:

Article

The Fan Theorem, its strong negation, and the determinacy of games: The Fan Theorem, its strong negation...: W. Veldman.

Published in:

Archive for Mathematical Logic, 2025, v. 64, n. 1, p. 1, doi. 10.1007/s00153-024-00930-9

By:

Veldman, Wim

Publication type:

Article

Regressive versions of Hindman's theorem.

Published in:

Archive for Mathematical Logic, 2024, v. 63, n. 3/4, p. 447, doi. 10.1007/s00153-023-00901-6

By:

Carlucci, Lorenzo;
Mainardi, Leonardo

Publication type:

Article

Structure of semisimple rings in reverse and computable mathematics.

Published in:

Archive for Mathematical Logic, 2023, v. 62, n. 7/8, p. 1083, doi. 10.1007/s00153-023-00885-3

By:

Wu, Huishan

Publication type:

Article

A few more dissimilarities between second-order arithmetic and set theory.

Published in:

Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 147, doi. 10.1007/s00153-022-00829-3

By:

Fujimoto, Kentaro

Publication type:

Article

Hindman's theorem for sums along the full binary tree, Σ20-induction and the Pigeonhole principle for trees.

Published in:

Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 827, doi. 10.1007/s00153-021-00814-2

By:

Carlucci, Lorenzo;
Tavernelli, Daniele

Publication type:

Article

Reverse mathematics and semisimple rings.

Published in:

Archive for Mathematical Logic, 2022, v. 61, n. 5/6, p. 769, doi. 10.1007/s00153-021-00812-4

By:

Wu, Huishan

Publication type:

Article

Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.

Published in:

Archive for Mathematical Logic, 2022, v. 61, n. 3/4, p. 399, doi. 10.1007/s00153-021-00795-2

By:

Sato, Kentaro

Publication type:

Article

Ring structure theorems and arithmetic comprehension.

Published in:

Archive for Mathematical Logic, 2021, v. 60, n. 1/2, p. 145, doi. 10.1007/s00153-020-00738-3

By:

Wu, Huishan

Publication type:

Article

Finite sets and infinite sets in weak intuitionistic arithmetic.

Published in:

Archive for Mathematical Logic, 2020, v. 59, n. 5/6, p. 607, doi. 10.1007/s00153-019-00704-8

By:

Nemoto, Takako

Publication type:

Article

Dependent choice as a termination principle.

Published in:

Archive for Mathematical Logic, 2020, v. 59, n. 3/4, p. 503, doi. 10.1007/s00153-019-00706-6

By:

Powell, Thomas

Publication type:

Article

Using Ramsey's theorem once.

Published in:

Archive for Mathematical Logic, 2019, v. 58, n. 7/8, p. 857, doi. 10.1007/s00153-019-00664-z

By:

Hirst, Jeffry L.;
Mummert, Carl

Publication type:

Article

Reverse mathematics and colorings of hypergraphs.

Published in:

Archive for Mathematical Logic, 2019, v. 58, n. 5/6, p. 575, doi. 10.1007/s00153-018-0654-z

By:

Davis, Caleb;
Hirst, Jeffry;
Pardo, Jake;
Ransom, Tim

Publication type:

Article

A continuity principle equivalent to the monotone Π10 fan theorem.

Published in:

Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 443, doi. 10.1007/s00153-018-0644-1

By:

Kawai, Tatsuji

Publication type:

Article

Dickson's lemma and weak Ramsey theory.

Published in:

Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 413, doi. 10.1007/s00153-018-0642-3

By:

Omata, Yasuhiko;
Pelupessy, Florian

Publication type:

Article

The reverse mathematics of non-decreasing subsequences.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 491, doi. 10.1007/s00153-017-0536-9

By:

Patey, Ludovic

Publication type:

Article

Reverse mathematics and order theoretic fixed point theorems.

Published in:

Archive for Mathematical Logic, 2017, v. 56, n. 3/4, p. 385, doi. 10.1007/s00153-017-0526-y

By:

Sato, Takashi;
Yamazaki, Takeshi

Publication type:

Article

Reverse mathematics and marriage problems with finitely many solutions.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 7/8, p. 1015, doi. 10.1007/s00153-016-0509-4

By:

Hirst, Jeffry;
Hughes, Noah

Publication type:

Article

The strength of the Grätzer-Schmidt theorem.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 5/6, p. 687, doi. 10.1007/s00153-016-0488-5

By:

Brodhead, Katie;
Khan, Mushfeq;
Kjos-Hanssen, Bjørn;
Lampe, William;
Nguyen, Paul;
Shore, Richard

Publication type:

Article

Reverse mathematics, well-quasi-orders, and Noetherian spaces.

Published in:

Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 431, doi. 10.1007/s00153-015-0473-4

By:

Frittaion, Emanuele;
Hendtlass, Matthew;
Marcone, Alberto;
Shafer, Paul;
Meeren, Jeroen

Publication type:

Article

The modal logic of Reverse Mathematics.

Published in:

Archive for Mathematical Logic, 2015, v. 54, n. 3/4, p. 425, doi. 10.1007/s00153-015-0417-z

By:

Mummert, Carl;
Saadaoui, Alaeddine;
Sovine, Sean

Publication type:

Article

Reverse mathematics and marriage problems with unique solutions.

Published in:

Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 49, doi. 10.1007/s00153-014-0401-z

By:

Hirst, Jeffry;
Hughes, Noah

Publication type:

Article

Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.

Published in:

Archive for Mathematical Logic, 2014, v. 53, n. 5/6, p. 621, doi. 10.1007/s00153-014-0384-9

By:

Veldman, Wim

Publication type:

Article

Domatic partitions of computable graphs.

Published in:

Archive for Mathematical Logic, 2014, v. 53, n. 1/2, p. 137, doi. 10.1007/s00153-013-0359-2

By:

Jura, Matthew;
Levin, Oscar;
Markkanen, Tyler

Publication type:

Article

Reclassifying the antithesis of Specker's theorem.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 687, doi. 10.1007/s00153-012-0292-9

By:

Diener, Hannes

Publication type:

Article

Menger's theorem in $${{\Pi^1_1\tt{-CA}_0}}$$.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 3/4, p. 407, doi. 10.1007/s00153-012-0269-8

By:

Shafer, Paul

Publication type:

Article

The Dirac delta function in two settings of Reverse Mathematics.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 99, doi. 10.1007/s00153-011-0256-5

By:

Sanders, Sam;
Yokoyama, Keita

Publication type:

Article

Hilbert versus Hindman.

Published in:

Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 123, doi. 10.1007/s00153-011-0257-4

By:

Hirst, Jeffry

Publication type:

Article

The maximal linear extension theorem in second order arithmetic.

Published in:

Archive for Mathematical Logic, 2011, v. 50, n. 5/6, p. 543, doi. 10.1007/s00153-011-0231-1

By:

Marcone, Alberto;
Shore, Richard

Publication type:

Article

Ramsey’s theorem for trees: the polarized tree theorem and notions of stability.

Published in:

Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 399, doi. 10.1007/s00153-010-0179-6

By:

Dzhafarov, Damir D.;
Hirst, Jeffry L.;
Lakins, Tamara J.

Publication type:

Article

The polarized Ramsey’s theorem.

Published in:

Archive for Mathematical Logic, 2009, v. 48, n. 2, p. 141, doi. 10.1007/s00153-008-0108-0

By:

Dzhafarov, Damir D.;
Hirst, Jeffry L.

Publication type:

Article

Partitions of trees and $${{\sf ACA}^\prime_{0}}$$.

Published in:

Archive for Mathematical Logic, 2009, v. 48, n. 3/4, p. 227, doi. 10.1007/s00153-009-0122-x

By:

Anderson, Bernard;
Hirst, Jeffry

Publication type:

Article

Constructive notions of equicontinuity.

Published in:

Archive for Mathematical Logic, 2009, v. 48, n. 5, p. 437, doi. 10.1007/s00153-009-0131-9

By:

Bridges, Douglas

Publication type:

Article

Complex analysis in subsystems of second order arithmetic.

Published in:

Archive for Mathematical Logic, 2007, v. 46, n. 1, p. 15, doi. 10.1007/s00153-006-0017-z

By:

Yokoyama, Keita

Publication type:

Article

Reverse mathematics of separably closed sets.

Published in:

Archive for Mathematical Logic, 2006, v. 45, n. 1, p. 1, doi. 10.1007/s00153-005-0298-7

By:

Hirst, Jeffry L.

Publication type:

Article

Normal functions and maximal order types.

Published in:

Journal of Logic & Computation, 2024, v. 34, n. 6, p. 1064, doi. 10.1093/logcom/exad002

By:

Freund, Anton;
Manca, Davide

Publication type:

Article

The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 1, p. 297, doi. 10.1093/logcom/exaa080

By:

Normann, Dag;
Sanders, Sam

Publication type:

Article

Open sets in computability theory and reverse mathematics.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1639, doi. 10.1093/logcom/exaa049

By:

Normann, Dag;
Sanders, Sam

Publication type:

Article

The unreasonable effectiveness of Nonstandard Analysis.

Published in:

Journal of Logic & Computation, 2020, v. 30, n. 1, p. 459, doi. 10.1093/logcom/exaa019

By:

Sanders, Sam

Publication type:

Article

Sharp Thresholds for a Phase Transition Related to Weakly Increasing Sequences.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 2, p. 207, doi. 10.1093/logcom/exq004

By:

De Smet, Michiel;
Weiermann, Andreas

Publication type:

Article

Constructive aspects of Riemann's permutation theorem for series.

Published in:

Logic Journal of the IGPL, 2025, v. 33, n. 1, p. 49, doi. 10.1093/jigpal/jzad024

By:

Berger, J;
Bridges, Douglas;
Diener, Hannes;
Schwichtenberg, Helmet

Publication type:

Article

Lipschitz functions in constructive reverse mathematics.

Published in:

Logic Journal of the IGPL, 2013, v. 21, n. 1, p. 28, doi. 10.1093/jigpal/jzs020

By:

Loeb, Iris

Publication type:

Article

Indecomposability of ℝ and ℝ \ {0} in Constructive Reverse Mathematics.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 3, p. 269, doi. 10.1093/jigpal/jzn006

By:

Loeb, Iris

Publication type:

Article

ON SOME GENERALIZATIONS OF REVERSIBLE AND SEMICOMMUTATIVE RINGS.

Published in:

International Electronic Journal of Algebra, 2017, v. 22, p. 11, doi. 10.24330/ieja.325916

By:

Bhattacharjee, Arnab;
Chakraborty, Uday Shankar

Publication type:

Article