Search results
From MaRDI portal
- Schönflies theorem in weak second-order arithmetic 2007-06-07 Paper Uniform versions of some axioms of second order arithmetic 2005-02-16 Paper The strong...10 bytes (17 words) - 12:16, 7 October 2023
- stable second-order digital filters with two's complement arithmetic 2004-02-12 Paper New results on periodic symbolic sequences of second order digital...10 bytes (20 words) - 16:35, 8 December 2023
- Difference between irregular chaotic patterns of second-order double-loop \(\Sigma \Delta \) modulators and second-order interpolative bandpass \(\Sigma \Delta \)...10 bytes (20 words) - 01:41, 11 December 2023
- Suszko 2020-03-27 Paper Second-order logic of paradox 2018-12-21 Paper Pecularities of some three- and four-valued second order logics 2018-12-12 Paper...10 bytes (18 words) - 21:18, 8 December 2023
- criteria of second-order nonlinear differential equations with variable coefficients 2019-08-23 Paper Set of oscillation criteria for second order nonlinear...10 bytes (18 words) - 15:57, 10 December 2023
- m) 1984-01-01 Paper Arithmetic periodicities of sequences satisfying a second order difference equation 1982-01-01 Paper Arithmetic properties of the menage...10 bytes (18 words) - 23:28, 12 December 2023
- 2018-08-10 Paper CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC 2018-08-10 Paper Fraïssé’s conjecture in Π11-comprehension 2017-12-04...10 bytes (16 words) - 01:11, 12 December 2023
- fourth-order parabolic PDEs 2024-02-20 Paper Third (fourth) order accurate two-step super-stable cubic spline polynomial approximation for the second order...10 bytes (18 words) - 19:40, 9 December 2023
- congruences, and so on 2015-11-16 Paper Some new results in monadic second-order arithmetic 2015-10-20 Paper Computability issues for adaptive logics in multi-consequence...10 bytes (18 words) - 15:34, 11 December 2023
- dimensional integer-order and fractional-order chaotic systems 2016-02-29 Paper On the asymptotic stability of linear system of fractional-order difference equations...10 bytes (20 words) - 21:35, 9 December 2023
- heat transfer 2009-12-07 Paper On second-order sigma-delta modulators 1997-02-27 Paper On limit cycles of second-order sigma-delta modulators with constant...10 bytes (18 words) - 04:54, 12 December 2023
- of 2 2014-03-03 Paper Arithmetic theory of harmonic numbers (II) 2013-03-18 Paper On a variance of Hecke eigenvalues in arithmetic progressions 2012-05-04...10 bytes (17 words) - 11:22, 11 December 2023
- degrees and the collection rule in arithmetic 2024-01-18 Paper Lipschitz and Wadge binary games in second order arithmetic 2023-07-26 Paper PREDICATIVITY THROUGH...10 bytes (19 words) - 19:13, 11 December 2023
- note on a formalized arithmetic with function symbols ' and + 1978-01-01 Paper Transfinite type theory and provability of second order formulas 1977-01-01...10 bytes (16 words) - 10:06, 12 December 2023
- theory 2018-02-09 Paper Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) 2017-08-29 Paper MARGINALIA ON...10 bytes (16 words) - 05:23, 9 December 2023
- 2011-08-16 Paper Factorizations and representations of second order linear recurrences with indices in arithmetic progressions 2011-07-06 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 02:27, 10 December 2023
- BETWEENω-LOGIC AND SECOND-ORDER ARITHMETIC 2014-12-05 Paper CIRCULARITY IN SOUNDNESS AND COMPLETENESS 2014-10-21 Paper The arithmetic of cuts in models...10 bytes (18 words) - 14:23, 28 January 2024
- 2006-12-20 Paper Fundamental notions of analysis in subsystems of second-order arithmetic 2006-04-28 Paper https://portal.mardi4nfdi.de/entity/Q5711876 2005-12-08...10 bytes (17 words) - 16:04, 10 December 2023
- 2015-03-20 Paper Symmetry in polyadic inductive logic 2015-02-09 Paper Second order inductive logic and Wilmers' principle 2014-11-20 Paper An observation...10 bytes (19 words) - 00:59, 10 December 2023
- First Order Hyperbolic Equation with Space and Time-Dependent Coefficient 1982-01-01 Paper A Family of Modified Collocation Methods for Second Order Two...10 bytes (18 words) - 13:00, 13 December 2023