Atserias, Albert (ed.); Mahajan, Meena (ed.); Nordström, Jakob (ed.); Razborov, Alexander (ed.) Proof complexity and beyond. Abstracts from the workshop held March 24–29, 2024. (English) Zbl 1546.00046 Oberwolfach Rep. 21, No. 1, 871-934 (2024). MSC: 00B05 00B25 68-06 03-06 03F20 68Q06 68Q11 68Q17 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Buss, Samuel R. (ed.); Iemhoff, Rosalie (ed.); Kohlenbach, Ulrich (ed.); Rathjen, Michael (ed.) Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12–17, 2023. (English) Zbl 1546.00054 Oberwolfach Rep. 20, No. 4, 3013-3061 (2023). MSC: 00B05 00B25 03-06 03Fxx × Cite Format Result Cite Review PDF Full Text: DOI
Jeřábek, Emil Models of \(\mathsf{VTC^0}\) as exponential integer parts. (English) Zbl 07738004 Math. Log. Q. 69, No. 2, 244-260 (2023). MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kaplan, Elliot Liouville closed \(H_T\)-fields. (English) Zbl 1525.03098 J. Algebra 628, 265-327 (2023). Reviewer: Piotr Kowalski (Wroclaw) MSC: 03C64 12H05 12J10 03C60 12L12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jeřábek, Emil Elementary analytic functions in \(\mathsf{VTC}^0\). (English) Zbl 1539.03189 Ann. Pure Appl. Logic 174, No. 6, Article ID 103269, 50 p. (2023). Reviewer: Lukasz Stepien (Kraków) MSC: 03F20 03F30 33B10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Berarducci, Alessandro; Kuhlmann, Salma; Mantova, Vincenzo; Matusinski, Mickaël Exponential fields and Conway’s omega-map. (English) Zbl 07676319 Proc. Am. Math. Soc. 151, No. 6, 2655-2669 (2023). MSC: 03C64 16W60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Ehrlich, Philip; Kaplan, Elliot Surreal ordered exponential fields. (English) Zbl 1495.03057 J. Symb. Log. 86, No. 3, 1066-1115 (2021); erratum ibid. 87, No. 2, 871 (2022). Reviewer: Lothar Sebastian Krapp (Konstanz) MSC: 03C64 12J15 12L12 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mantova, Vincenzo; Matusinski, Mickaël Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall. (English) Zbl 1437.03132 Broglia, Fabrizio (ed.) et al., Ordered algebraic structures and related topics. International conference at CIRM, Luminy, France, October 12–16, 2015. Proceedings. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 697, 265-290 (2017). MSC: 03C64 12J15 13N15 03C60 × Cite Format Result Cite Review PDF Full Text: DOI
Carl, Merlin; D’Aquino, Paola; Kuhlmann, Salma On the value group of a model of Peano arithmetic. (English) Zbl 1375.03039 Forum Math. 29, No. 4, 951-957 (2017). Reviewer: Peter Sinclair (Hamilton) MSC: 03C60 03C64 06A05 12J10 12J15 12L12 13A18 12F05 12F10 12F20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Macintyre, Angus Turing meets Schanuel. (English) Zbl 1432.03063 Ann. Pure Appl. Logic 167, No. 10, 901-938 (2016). MSC: 03C60 11U09 03C57 03D45 12L12 × Cite Format Result Cite Review PDF Full Text: DOI
Boughattas, Sedki; Ressayre, Jean-Pierre Arithmetization of the field of reals with exponentiation – extended abstract. (English) Zbl 1144.03027 Theor. Inform. Appl. 42, No. 1, 105-119 (2008). MSC: 03C60 03C64 03H15 12L12 × Cite Format Result Cite Review PDF Full Text: DOI Numdam EuDML
Pitteloud, Daniel Algebraic properties of rings of generalized power series. (English) Zbl 0996.06009 Ann. Pure Appl. Logic 116, No. 1-3, 39-66 (2002). MSC: 06F25 13J05 03C60 03C62 13L05 13F25 12J25 × Cite Format Result Cite Review PDF Full Text: DOI
Lion, Jean-Marie; Rolin, Jean-Philippe Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions). (French) Zbl 0873.32004 Ann. Inst. Fourier 47, No. 3, 859-884 (1997). MSC: 32B05 32B20 14P15 × Cite Format Result Cite Review PDF Full Text: DOI Numdam EuDML
Lion, Jean-Marie; Rolin, Jean-Philippe Homology of semi-pfaffian sets. (Homologie des ensembles semi-pfaffiens.) (French) Zbl 0853.32004 Ann. Inst. Fourier 46, No. 3, 723-741 (1996). MSC: 32C05 32C25 58A99 × Cite Format Result Cite Review PDF Full Text: DOI Numdam EuDML
van den Dries, Lou; Miller, Chris Geometric categories and o-minimal structures. (English) Zbl 0889.03025 Duke Math. J. 84, No. 2, 497-540 (1996). MSC: 03C60 32B20 14P99 × Cite Format Result Cite Review PDF Full Text: DOI
Kuhlmann, Salma On the structure of nonarchimedean exponential fields. I. (English) Zbl 0820.12002 Arch. Math. Logic 34, No. 3, 145-182 (1995). Reviewer: S.Kuhlmann (Heidelberg) MSC: 12J15 12J25 16W99 03C60 × Cite Format Result Cite Review PDF Full Text: DOI
Miller, Chris Expansions of the real field with power functions. (English) Zbl 0823.03018 Ann. Pure Appl. Logic 68, No. 1, 79-94 (1994). Reviewer: A.Prestel (Konstanz) MSC: 03C60 12L12 03C10 × Cite Format Result Cite Review PDF Full Text: DOI
van den Dries, Lou; Miller, Chris On the real exponential field with restricted analytic functions. (English) Zbl 0823.03017 Isr. J. Math. 85, No. 1-3, 19-56 (1994). Reviewer: A.Prestel (Konstanz) MSC: 03C60 12L12 × Cite Format Result Cite Review PDF Full Text: DOI