Found 2,578 Documents (Results 1–100)
A class of double phase problem without Ambrosetti-Rabinowitz-type growth condition: infinitely many solutions. (English) Zbl 07922263
Integration on the surreals. (English) Zbl 07916610
Varieties of truth definitions. (English) Zbl 07874615
Reviewer: Roman Kossak (New York)
A second-order nonstandard finite difference method for a general Rosenzweig-MacArthur predator-prey model. (English) Zbl 1541.92001
Non-standard version of Egorov algebra of generalized functions. (English) Zbl 07857665
Cardona, Duván (ed.) et al., Extended abstracts 2021/2022. Methusalem lectures, Ghent, Belgium. Cham: Birkhäuser. Trends Math., Res. Perspect. Ghent Anal. PDE Cent. 3, 209-217 (2024).
Reviewer: Michael Kunzinger (Wien)
Mathematical analysis and a nonstandard scheme for a model of the immune response against COVID-19. (English) Zbl 07840392
Gumel, Abba B. (ed.), Mathematical and computational modeling of phenomena arising in population biology and nonlinear oscillations. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 793, 251-270 (2024).
Nonstandard proof methods in toposes. (English) Zbl 07815140
Reviewer: Hirokazu Nishimura (Tsukuba)
Compositional truth with propositional tautologies and quantifier-free correctness. (English) Zbl 1537.03091
Reviewer: Roman Kossak (New York)
Ramsey monoids. (English) Zbl 07785452
Informed deep hierarchical classification: a non-standard analysis inspired approach. arXiv:2409.16956
Preprint, arXiv:2409.16956 [cs.AI] (2024).
Nonstandard polynomials: algebraic properties and elementary equivalence. arXiv:2409.14467
Preprint, arXiv:2409.14467 [math.LO] (2024).
The Kaufmann–Clote question on end extensions of models of arithmetic and the weak regularity principle. arXiv:2409.03527
Preprint, arXiv:2409.03527 [math.LO] (2024).
On the limits of comparing subset sizes within \(\mathbb{N}\). arXiv:2408.03344
Preprint, arXiv:2408.03344 [math.LO] (2024).
Classical determinate truth without induction. arXiv:2408.01198
Preprint, arXiv:2408.01198 [math.LO] (2024).
Uniform terms and local elements. arXiv:2407.08053
Preprint, arXiv:2407.08053 [math.LO] (2024).
Partially-elementary end extensions of countable models of set theory. arXiv:2406.18341
Preprint, arXiv:2406.18341 [math.LO] (2024).
The Lattice Problem for Models of \(\mathsf{PA}\). arXiv:2406.06338
Preprint, arXiv:2406.06338 [math.LO] (2024).
Saturation properties for compositional truth with propositional correctness. arXiv:2405.13942
Preprint, arXiv:2405.13942 [math.LO] (2024).
Variational Solvers for Irreversible Evolutionary Systems. arXiv:2404.08356
Preprint, arXiv:2404.08356 [math.AP] (2024).
Truth and collection. arXiv:2403.19367
Preprint, arXiv:2403.19367 [math.LO] (2024).
Nonclassical logics and multivariate truth values. arXiv:2401.15117
Preprint, arXiv:2401.15117 [math.LO] (2024).
MSC:
03H99
A survey on divisibility of ultrafilters. arXiv:2401.02302
Preprint, arXiv:2401.02302 [math.LO] (2024).
Integration of game theoretic and tree theoretic approaches to Conway numbers. (English) Zbl 1540.68294
Three non-standard paths. (Italian. English summary) Zbl 07820843
The allure of infinitesimals: Sergio Albeverio and nonstandard analysis. (English) Zbl 1542.26003
Hilbert, Astrid (ed.) et al., Quantum and stochastic mathematical physics. Sergio Albeverio, adventures of a mathematician, Verona, Italy, March 25–29, 2019. Cham: Springer. Springer Proc. Math. Stat. 377, 187-215 (2023).
Commutative unital rings elementarily equivalent to prescribed product rings. (English) Zbl 07797409
Identification of network topology changes based on \(r\)-power adjacency matrix entropy. (English) Zbl 1536.81031
Subsets of virtually nilpotent groups with the SBM property. (English) Zbl 1526.20052
Reviewer: Egle Bettio (Venezia)
Corrigendum to: “Grid functions of nonstandard analysis in the theory of distributions and in partial differential equations”. (English) Zbl 1512.46029
Model theory and proof theory of the global reflection principle. (English) Zbl 1537.03044
Reviewer: Roman Kossak (New York)
Fuzzy graph theory. Applications to global problems. (English) Zbl 1515.05007
Studies in Fuzziness and Soft Computing 424. Cham: Springer (ISBN 978-3-031-23107-0/hbk; 978-3-031-23110-0/pbk; 978-3-031-23108-7/ebook). xvii, 254 p. (2023).
The two halves of disjunctive correctness. (English) Zbl 1523.03031
Reviewer: Roman Kossak (New York)
Notes on models of (partial) Kripke-Feferman truth. (English) Zbl 07678790
MSC:
03-XX
Constructing nonstandard hulls and Loeb measures in internal set theories. (English) Zbl 1512.03077
Reviewer: Isaac Goldbring (Irvine)
Bootstrap adjusted predictive classification for identification of subgroups with differential treatment effects under generalized linear models. (English) Zbl 07650535
On Non-Standard Models of Büchi Arithmetics. arXiv:2312.13757
Preprint, arXiv:2312.13757 [math.LO] (2023).
MSC:
03H15
Predicates and terms from non-standard sequences. arXiv:2312.00831
Preprint, arXiv:2312.00831 [math.CT] (2023).
MSC:
03H05
A Non-Archimedean Approach to Stratifications. arXiv:2311.16987
Preprint, arXiv:2311.16987 [math.AG] (2023).
An Aldous–Hoover Theorem for Radon Distributions. arXiv:2306.03057
Preprint, arXiv:2306.03057 [math.PR] (2023).
Multiple positive solutions for a double phase system with singular nonlinearity. arXiv:2306.01319
Preprint, arXiv:2306.01319 [math.AP] (2023).
\(\widetilde{\mid}\hspace{1mm}\)-divisibility of ultrafilters II: The big picture. arXiv:2306.00101
Preprint, arXiv:2306.00101 [math.LO] (2023).
Stability analysis of SIR and SIRS models with non monotone incidence function and various mortality rates. arXiv:2304.12864
Preprint, arXiv:2304.12864 [math.DS] (2023).
Universal properties of truth. arXiv:2304.00370
Preprint, arXiv:2304.00370 [math.LO] (2023).
A Foundation of \(\sigma\)-superadditive Measures – a note on advancing Kalina measures -. arXiv:2303.11636
Preprint, arXiv:2303.11636 [math.LO] (2023).
Self-divisible ultrafilters and congruences in \(\beta\mathbb{Z}\). arXiv:2302.09983
Preprint, arXiv:2302.09983 [math.LO] (2023).
Unification and finite model property for linear step-like temporal multi-agent logic with the universal modality. (English) Zbl 07811396
On a double phase problem with singular weights. (Chinese. English summary) Zbl 07801036
From hybrid automata to DAE-based modeling. (English) Zbl 1528.68174
Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 3-20 (2022).
Geometry and mixture models. (English) Zbl 1524.62300
Nielsen, Frank (ed.) et al., Geometry and statistics. Amsterdam: Elsevier/Academic Press. Handb. Stat. 46, 327-355 (2022).
Multiplicative differential geometry. (English) Zbl 1508.53001
Boca Raton, FL: CRC Press (ISBN 978-1-032-29060-7/hbk; 978-1-032-29041-6/pbk; 978-1-003-29984-4/ebook). xi, 359 p. (2022).
Reviewer: Emanuel-Ciprian Cismaş (Timişoara)
Order types of models of fragments of Peano arithmetic. (English) Zbl 1504.03019
Reviewer: Roman Kossak (New York)
The explicit formula for Gauss-Jordan elimination applied to flexible systems. (English) Zbl 1507.15003
Reviewer: Iveta Hnetynkova (Praha)
Multiplicative finite embeddability vs divisibility of ultrafilters. (English) Zbl 07541622
Reviewer: M. Akbari Tootkaboni (Rasht)
Non-standard analysis revisited: an easy axiomatic presentation oriented towards numerical applications. (English) Zbl 1515.03232
Ultrafilters throughout mathematics. (English) Zbl 1508.03001
Graduate Studies in Mathematics 220. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6900-9/hbk; 978-1-4704-6961-0/pbk; 978-1-4704-6960-3/ebook). xviii, 399 p. (2022).
Reviewer: K. P. Hart (Delft)
A nonstandard finite difference scheme for the SVICDR model to predict COVID-19 dynamics. (English) Zbl 1489.92181
Optimal control problem of variable-order delay system of advertising procedure: numerical treatment. (English) Zbl 1487.49060
A two-step singularly P-Stable method with high phase and large stability properties for problems in chemistry. (English) Zbl 1487.81083
Set theory and foundations of mathematics. An introduction to mathematical logic. Volume II. Foundations of mathematics. (English) Zbl 1539.03001
Singapore: World Scientific (ISBN 978-981-12-4384-4/hbk; 978-981-12-4386-8/ebook). xiii, 239 p. (2022).
Non-tightness in class theory and second-order arithmetic. arXiv:2212.04445
Preprint, arXiv:2212.04445 [math.LO] (2022).
Determinacy and reflection principles in second-order arithmetic. arXiv:2209.04082
Preprint, arXiv:2209.04082 [math.LO] (2022).
Filter Results by …
Document Type
- Journal Articles (1,850)
- Collection Articles (472)
- Books (169)
- arXiv Preprints (87)
all
top 5
Author
- Kutateladze, Semën Samsonovich (57)
- Di Nasso, Mauro (37)
- Kanovei, Vladimir G. (36)
- Cutland, Nigel J. (35)
- Keisler, Howard Jerome (33)
- Kusraev, Anatoliĭ Georgievich (33)
- Schmerl, James H. (31)
- Jin, Renling (30)
- Henson, C. Ward (26)
- Loeb, Peter A. (24)
- Kossak, Roman (23)
- Paris, Jeffrey Bruce (23)
- Peraire, Yves (22)
- Sanders, Sam (22)
- Herrmann, Robert A. (21)
- Van den Berg, Imme Pieter (21)
- Chen, Dongli (20)
- Hrbáček, Karel (20)
- Sochor, Antonin (20)
- Molchanov, Vladimir A. (19)
- Reeken, Michael (19)
- Benci, Vieri (18)
- Gordon, Evgeniĭ Izrail’evich (18)
- Lindstrøm, Tom L. (18)
- Murawski, Roman (18)
- Ng, Siu-Ah (17)
- Kaye, Richard W. (16)
- Sun, Yeneng (16)
- Forti, Marco (15)
- Katz, Mikhail G. (15)
- Kotlarski, Henryk (15)
- Živaljević, Boško (15)
- Albeverio, Sergio A. (14)
- Čuda, Karel (14)
- Macintyre, Angus John (14)
- Robinson, Abraham (14)
- Todorov, Todor Dimitrov (14)
- Yokoyama, Keita (14)
- Enayat, Ali (13)
- Ma, Chunhui (13)
- Osswald, Horst (13)
- D’Aquino, Paola (12)
- Knight, Julia F. (12)
- McAloon, Kenneth (12)
- Moore, L. C. jun. (12)
- Wcisło, Bartosz (12)
- Baglini, Lorenzo Luperi (11)
- Goldbring, Isaac (11)
- Ozawa, Masanao (11)
- Palmgren, Erik (11)
- Shelah, Saharon (11)
- Shi, Yanwei (11)
- Smoryński, Craig (11)
- Stroyan, Keith D. (11)
- Wallet, Guy (11)
- Gutman, Aleksandr Efimovich (10)
- Kalina, Martin (10)
- Laugwitz, Detlef (10)
- Łełyk, Mateusz Zbigniew (10)
- Luxemburg, Wilhelmus Anthonius Josephus (10)
- Wilkie, Alex James (10)
- Wong, Tin Lok (10)
- Zlatoš, Pavol Ján (10)
- Blass, Andreas Raphael (9)
- Hsu, Leetsch Charles (9)
- Insall, Matt (9)
- Lyubetsky, Vassily Aleksandrovich (9)
- Sergeev, Yaroslav Dmitrievich (9)
- Tzouvaras, Athanassios (9)
- Anderson, Robert M. (8)
- Clote, Peter G. (8)
- Emel’yanov, Èduard Yur’evich (8)
- Fajardo, Sergio (8)
- Fuchs, Laurent (8)
- Lyantse, Vladyslav Eliĭovych (8)
- Ross, David A. (8)
- Šobot, Boris (8)
- Adamowicz, Zofia (7)
- Arkeryd, Leif O. (7)
- Fenstad, Jens Erik (7)
- Fernández Margarit, Alejandro (7)
- Goze, Michel (7)
- Kołodziejczyk, Leszek Aleksander (7)
- Leth, Steven C. (7)
- Lobry, Claude (7)
- Lutz, Robert (7)
- Nelson, Joseph Edward (7)
- Richter, Michael M. (7)
- van den Dries, Lou (7)
- Wu, Jianglun (7)
- Aldaz, Jésus Munárriz (6)
- Andres, Eric (6)
- Basarab, Serban A. (6)
- Berarducci, Alessandro (6)
- Chollet, Agathe (6)
- Diener, Francine (6)
- Diener, Marc (6)
- Dinis, Bruno (6)
- Drossos, Costas A. (6)
- Feneyrol-Perrin, Yvette (6)
- and 1,420 more Authors
all
top 5
Serial
- J. Symb. Log. (151)
- Ann. Pure Appl. Logic (73)
- Math. Log. Q. (64)
- Proc. Am. Math. Soc. (55)
- Commentat. Math. Univ. Carol. (45)
- Trans. Am. Math. Soc. (45)
- Notre Dame J. Formal Logic (44)
- Arch. Math. Logic (44)
- Z. Math. Logik Grundlagen Math. (43)
- J. Log. Anal. (28)
- Fundam. Math. (26)
- Stud. Log. (25)
- Sib. Math. J. (21)
- Synthese (20)
- Adv. Math. (18)
- C. R. Acad. Sci., Paris, Sér. I (17)
- J. Math. Phys. (15)
- Sov. Math., Dokl. (15)
- Publ. Inst. Math., Nouv. Sér. (14)
- Vladikavkaz. Mat. Zh. (14)
- Isr. J. Math. (13)
- J. Math. Res. Expo. (13)
- Bull. Symb. Log. (13)
- Theor. Comput. Sci. (12)
- Am. Math. Mon. (11)
- Sib. Mat. Zh. (11)
- Ill. J. Math. (10)
- Bull. Belg. Math. Soc. - Simon Stevin (10)
- RIMS Kokyuroku (10)
- Math. Notes (9)
- Int. J. Math. Math. Sci. (9)
- Monatsh. Math. (9)
- Acta Appl. Math. (9)
- Int. J. Theor. Phys. (8)
- J. Lond. Math. Soc., II. Ser. (8)
- J. Reine Angew. Math. (8)
- Math. Japon. (8)
- C. R. Acad. Sci., Paris, Sér. A (8)
- Bull. Aust. Math. Soc. (7)
- Ann. Math. Logic (7)
- J. Philos. Log. (7)
- Math. Scand. (7)
- Sib. Adv. Math. (7)
- Pure Appl. Math. (7)
- Seminarber., Humboldt-Univ. Berlin, Sekt. Math. (7)
- Math. Appl., Dordr. (7)
- Rev. Symb. Log. (7)
- Bol. Mat. (6)
- Log. Anal., Nouv. Sér. (6)
- Sémin. Anal., Univ. Blaise Pascal, Clermont II (6)
- Philos. Math. (3) (6)
- Math. Morav. (6)
- Found. Sci. (6)
- Lect. Notes Math. (6)
- Stud. Logic Found. Math. (6)
- Rev. Roum. Math. Pures Appl. (5)
- Chaos Solitons Fractals (5)
- Ann. Stat. (5)
- Appl. Math. Comput. (5)
- Bull. Lond. Math. Soc. (5)
- Can. Math. Bull. (5)
- Fuzzy Sets Syst. (5)
- J. Pure Appl. Algebra (5)
- Kybernetika (5)
- Math. Nachr. (5)
- Pac. J. Math. (5)
- Real Anal. Exch. (5)
- Topology Appl. (5)
- Ann. Math. Blaise Pascal (5)
- Bol. Mat. (N.S.) (5)
- Log. Methods Comput. Sci. (5)
- Russ. Math. Surv. (4)
- Stochastics (4)
- Algebra Univers. (4)
- Econometrica (4)
- J. Algebra (4)
- Math. Comput. Simul. (4)
- Proc. Lond. Math. Soc. (3) (4)
- Rend. Ist. Mat. Univ. Trieste (4)
- Rep. Fac. Sci., Kagoshima Univ., Math. Phys. Chem. (4)
- Rep. Math. Logic (4)
- Tsukuba J. Math. (4)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (4)
- Bull. Soc. Math. Belg., Sér. B (4)
- J. Qufu Norm. Univ., Nat. Sci. (4)
- Syst. Sci. Math. Sci. (4)
- Expo. Math. (4)
- Log. J. IGPL (4)
- Acta Math. Acad. Paedagog. Nyházi. (N.S.) (4)
- Izv. Altaĭ. Gos. Univ., Ser. Mat. Inform. Fiz. (4)
- Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. (4)
- J. Appl. Ind. Math. (4)
- Houston J. Math. (3)
- Int. J. Math. Educ. Sci. Technol. (3)
- Mosc. Univ. Math. Bull. (3)
- Math. Intell. (3)
- Ann. Inst. Fourier (3)
- Ann. Japan Assoc. Philos. Sci. (3)
- Arch. Math. (3)
- Br. J. Philos. Sci. (3)
- and 475 more Serials
all
top 5
Year of Publication
- 2025 (1)
- 2024 (32)
- 2023 (37)
- 2022 (37)
- 2021 (37)
- 2020 (39)
- 2019 (36)
- 2018 (35)
- 2017 (30)
- 2016 (48)
- 2015 (57)
- 2014 (29)
- 2013 (43)
- 2012 (47)
- 2011 (37)
- 2010 (55)
- 2009 (29)
- 2008 (44)
- 2007 (42)
- 2006 (54)
- 2005 (37)
- 2004 (42)
- 2003 (40)
- 2002 (50)
- 2001 (54)
- 2000 (43)
- 1999 (47)
- 1998 (49)
- 1997 (91)
- 1996 (62)
- 1995 (55)
- 1994 (43)
- 1993 (47)
- 1992 (61)
- 1991 (58)
- 1990 (56)
- 1989 (81)
- 1988 (57)
- 1987 (64)
- 1986 (76)
- 1985 (61)
- 1984 (76)
- 1983 (55)
- 1982 (59)
- 1981 (66)
- 1980 (51)
- 1979 (47)
- 1978 (51)
- 1977 (37)
- 1976 (30)
- 1975 (38)
- 1974 (41)
- 1973 (29)
- 1972 (32)
- 1971 (10)
- 1970 (6)
- 1969 (2)
- 1968 (1)
- 1967 (1)
- 1966 (1)
- 1961 (1)
- 1878 (1)
all
top 3
Main Field
- 03-XX (2,476)
- 26-XX (436)
- 46-XX (225)
- 60-XX (213)
- 54-XX (205)
- 28-XX (187)
- 11-XX (150)
- 68-XX (118)
- 12-XX (115)
- 91-XX (74)
- 00-XX (73)
- 01-XX (70)
- 06-XX (68)
- 34-XX (61)
- 81-XX (56)
- 47-XX (55)
- 05-XX (52)
- 65-XX (46)
- 14-XX (42)
- 22-XX (41)
- 92-XX (36)
- 35-XX (34)
- 13-XX (33)
- 30-XX (32)
- 20-XX (31)
- 62-XX (30)
- 18-XX (27)
- 49-XX (25)
- 08-XX (23)
- 37-XX (22)
- 93-XX (21)
- 51-XX (20)
- 58-XX (18)
- 82-XX (17)
- 90-XX (16)
- 39-XX (15)
- 32-XX (14)
- 43-XX (14)
- 83-XX (14)
- 94-XX (14)
- 40-XX (13)
- 53-XX (11)
- 17-XX (10)
- 42-XX (10)
- 57-XX (10)
- 70-XX (10)
- 74-XX (9)
- 15-XX (8)
- 52-XX (8)
- 76-XX (8)
- 31-XX (7)
- 41-XX (7)
- 16-XX (6)
- 55-XX (6)
- 44-XX (5)
- 78-XX (4)
- 33-XX (3)
- 97-XX (3)
- 45-XX (2)
- 86-XX (2)
- 80-XX (1)
all
top 3
Biographic Reference
- Robinson, Abraham (6)
- Artin, Emil (1)
- Brouwer, Luitzen Egbertus Jan (1)
- Laugwitz, Detlef (1)
- Leibniz, Gottfried Wilhelm (1)
- Martinet, Jean (1)
- Schreier, Otto (1)
- Skolem, Thoralf (1)
- Wang, Hao (1)
- Weyl, Hermann (1)
all
top 3
Software
- Isabelle (7)
- Isabelle/HOL (6)
- ACL2 (5)
- Mizar (4)
- Coq (3)
- Nuprl (3)
- PVS (3)
- GitHub (2)
- MathOverflow (2)
- AVATAR (1)
- Ariel (1)
- CHEMKIN (1)
- CLN (1)
- CVC4 (1)
- Caliban (1)
- Chaospy (1)
- Cinderella (1)
- CindyJS (1)
- Clio (1)
- Cosy (1)
- Cyclist (1)
- DASPK 3.0 (1)
- DLMF (1)
- DiffExp (1)
- Dymola (1)
- ETPS (1)
- EXPFIT4 (1)
- FIRE (1)
- FLINT (1)
- Fermat (1)
- FireFly (1)
- GiNaC (1)
- HOL (1)
- HipSpec (1)
- Hipster (1)
- HyTech (1)
- IMPS (1)
- InKa (1)
- IsaCoSy (1)
- KeYmaera (1)
- Kira (1)
- Kodkod (1)
- LEGO (1)
- LaTeX (1)
- LowMC (1)
- MATCONT (1)
- ML (1)
- Mathematica (1)
- Matlab (1)
- Miranda (1)
- MoCHi (1)
- Modelica (1)
- NQTHM (1)
- Nitpick (1)
- OpenModelica (1)
- ProjectQ (1)
- R (1)
- RANLUX (1)
- Rabbit (1)
- Reduze (1)
- SAS (1)
- SAS/STAT (1)
- SNOW (1)
- SageMath (1)
- SciPy (1)
- TPS (1)
- VAMPIRE (1)
- VPLAN (1)
- WebPlotDigitizer (1)
- Z (1)
- fda (R) (1)
- jemalloc (1)
- longmemo (1)
- tn (1)
- yaml-cpp (1)