Document Search Results

Anscombe, Sylvy; Karemaker, Valentijn; Kisakürek, Zeynep; Mehmeti, Vlerë; Pagano, Margherita; Paladino, Laura

A survey of local-global methods for Hilbert’s tenth problem. (English) Zbl 07919511

Abdellatif, Ramla (ed.) et al., Women in numbers Europe IV. Research directions in number theory. Selected papers based on the presentations at the 4th workshop, WINE 4, Utrecht, the Netherlands, August 29 – September 2, 2022. Cham: Springer. Assoc. Women Math. Ser. 32, 29-61 (2024).

MSC: 11U05 11G05 14G05 03B25

Cite Review PDF

Full Text: DOI arXiv

Beloshapka, V. K.

Analytical complexity and signal coding. (English) Zbl 07822055

Russ. J. Math. Phys. 31, No. 1, 44-49 (2024).

MSC: 03Dxx 68Qxx 32Axx

Cite Review PDF

Full Text: DOI

Mazur, Barry; Rubin, Karl; Shlapentokh, Alexandra

Existential definability and diophantine stability. (English) Zbl 1537.11143

J. Number Theory 254, 1-64 (2024); corrigendum ibid. 262, 539-540 (2024).

MSC: 11U05 11G05 03B25

Cite Review PDF

Full Text: DOI arXiv

Li, Dazhu; Ghosh, Sujata; Liu, Fenrong; Tu, Yaxin

A simple logic of the hide and seek game. (English) Zbl 07755335

Stud. Log. 111, No. 5, 821-853 (2023).

MSC: 03-XX

Cite Review PDF

Full Text: DOI Link

Kühne, Lukas; Pendavingh, Rudi; Yashfe, Geva

von Staudt constructions for skew-linear and multilinear matroids. (English) Zbl 1508.05021

Comb. Theory 3, No. 1, Paper No. 16, 27 p. (2023).

MSC: 05B35 03D35 20F10 52B40 52C35 03D40

Cite Review PDF

Full Text: DOI arXiv

Cenzer, Douglas; Porter, Christopher P.

Randomness extraction in computability theory. (English) Zbl 1515.03190

Computability 12, No. 1, 1-21 (2023).

Reviewer: Ludwig Staiger (Halle)

MSC: 03D32 03D10 68Q30

Cite Review PDF

Full Text: DOI arXiv

Sanders, Sam

On the computational properties of the uncountability of the real numbers. (English) Zbl 1541.03128

Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 362-377 (2022).

MSC: 03D65 03B30

Cite Review PDF

Full Text: DOI arXiv

Normann, Dag; Sanders, Sam

On the uncountability of \(\mathbb{R}\). (English) Zbl 1523.03004

J. Symb. Log. 87, No. 4, 1474-1521 (2022).

Reviewer: Jeffry L. Hirst (Boone)

MSC: 03B30 03F35 03D65 03D55 03D30

Cite Review PDF

Full Text: DOI arXiv

Stahl, Rachel D.

Computability and the game of cops and robbers on graphs. (English) Zbl 1491.05134

Arch. Math. Logic 61, No. 3-4, 373-397 (2022).

MSC: 05C57 05C63 91A43 91A24 03D15 03D20 03D25 03D28 03D50

Cite Review PDF

Full Text: DOI

Sanders, Sam

Lifting proofs from countable to uncountable mathematics. (English) Zbl 1518.03014

Inf. Comput. 287, Article ID 104762, 20 p. (2022).

Reviewer: Roman Murawski (Poznań)

MSC: 03F35 03B30

Cite Review PDF

Full Text: DOI

Koutras, Costas D.; Liaskos, Konstantinos; Moyzes, Christos; Nomikos, Christos; Rantsoudis, Christos

Default consequence relations from topology and measure theory. (English) Zbl 07504739

Ann. Math. Artif. Intell. 90, No. 4, 397-424 (2022).

MSC: 68T27 68T30 03C80

Cite Review PDF

Full Text: DOI

Kharazishvili, Alexander

On a geometric statement of Ramsey type. (English) Zbl 07501803

Georgian Math. J. 29, No. 2, 229-232 (2022).

MSC: 03E75 05D10 52C99

Cite Review PDF

Full Text: DOI

Datta, Dhurjati Prasad

Asymptotic linear – nonlinear duality, indeterminism and mathematical intelligence. (English) Zbl 1493.34139

Chaos Solitons Fractals 152, Article ID 111457, 21 p. (2021).

MSC: 34C28 37N25 03F60 03H05

Cite Review PDF

Full Text: DOI

Li, Dazhu; Ghosh, Sujata; Liu, Fenrong; Tu, Yaxin

On the subtle nature of a simple logic of the hide and seek game. (English) Zbl 1540.03056

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 201-218 (2021).

MSC: 03B60 03B25

Cite Review PDF

Full Text: DOI

Bocharnikov, V. P.; Sveshnikov, S. V.

\(p\)-adic representation of subsets of a bounded number set. (English. Russian original) Zbl 1484.12012

Program. Comput. Softw. 47, No. 4, 225-234 (2021); translation from Programmirovanie 47, No. 4, 3-13 (2021).

MSC: 12J12 03E99

Cite Review PDF

Full Text: DOI

Chan, Hing Lun; Norrish, Michael

Mechanisation of the AKS algorithm. (English) Zbl 1465.68301

J. Autom. Reasoning 65, No. 2, 205-256 (2021).

MSC: 68V20 03B35 11A51 11Y11 11Y16 68Q25

Cite Review PDF

Full Text: DOI

Durand, Bruno; Romashchenko, Andrei

The expressiveness of quasiperiodic and minimal shifts of finite type. (English) Zbl 1461.37022

Ergodic Theory Dyn. Syst. 41, No. 4, 1086-1138 (2021).

MSC: 37B52 37B51 37B10 03D80 52C23

Cite Review PDF

Full Text: DOI arXiv HAL

Brooke-Taylor, Andrew D.; Calderoni, Filippo; Miller, Sheila K.

Invariant universality for quandles and fields. (English) Zbl 1484.03092

Fundam. Math. 251, No. 1, 1-16 (2020).

MSC: 03E15 12F05 12F20 20N02

Cite Review PDF

Full Text: DOI arXiv Link

Lambotte, Quentin; Point, Françoise

On expansions of \((\mathbf{Z},+,0)\). (English) Zbl 1481.03014

Ann. Pure Appl. Logic 171, No. 8, Article ID 102809, 35 p. (2020).

MSC: 03C45 03B25 03C10 03C35

Cite Review PDF

Full Text: DOI arXiv

Brooke-Taylor, Andrew D.; Miller, Sheila K.

The quandary of quandles: a Borel complete knot invariant. (English) Zbl 1482.20039

J. Aust. Math. Soc. 108, No. 2, 262-277 (2020).

Reviewer: Mohamed Elhamdadi (Tampa)

MSC: 20N02 20N05 03E15 57K12

Cite Review PDF

Full Text: DOI

Aubrun, Nathalie; Barbieri, Sebastián; Moutot, Etienne

The domino problem is undecidable on surface groups. (English) Zbl 1539.03136

Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 46, 14 p. (2019).

MSC: 03D35 05C25 20F34

Cite Review PDF

Full Text: DOI arXiv

Aladova, E.

Geometric view on homogeneous groups. (English) Zbl 1431.20003

Plotkin, Eugene (ed.), Groups, algebras and identities. Research workshop of the Israel Science Foundation ‘Groups, algebras and identities’. In honor of Boris Plotkin’s 90th birthday, Bar-Ilan University and The Hebrew University of Jerusalem, Israel, March 20–24, 2016. Providence, RI: American Mathematical Society (AMS); Ramat Gan: Bar-Ilan University. Contemp. Math. 726, 77-86 (2019).

MSC: 20A15 03C60 20F05 20F16 20F18

Cite Review PDF

Full Text: DOI

Moriakov, Nikita

On effective Birkhoff’s ergodic theorem for computable actions of amenable groups. (English) Zbl 1436.03234

Theory Comput. Syst. 62, No. 5, 1269-1287 (2018).

MSC: 03D45 37A30 03D32

Cite Review PDF

Full Text: DOI arXiv

OA License

Rybalov, Alexander Nikolaevich

Generic Kleene fixed point theorem. (Russian. English summary) Zbl 1431.03053

Sib. Èlektron. Mat. Izv. 14, 732-736 (2017).

MSC: 03D30

Cite Review PDF

Full Text: DOI

Wong, Willie Wai-Yeung

A comment on the construction of the maximal globally hyperbolic Cauchy development. (English) Zbl 1288.83009

J. Math. Phys. 54, No. 11, 113511, 8 p. (2013).

MSC: 83C05 70S20 35L15 53Z05 03E25

Cite Review PDF

Full Text: DOI arXiv

Raskin, M. A.

Computable measures coprojection consistent with ordering relation is not necessarily computable. (English. Russian original) Zbl 1283.03077

Mosc. Univ. Math. Bull. 67, No. 2, 61-63 (2012); translation from Vestn. Mosk. Univ., Ser. I 67, No. 2, 17-20 (2012).

MSC: 03D32 03D35

Cite Review PDF

Full Text: DOI

Chatelin, Françoise

A computational journey into the mind. (English) Zbl 1251.30054

Nat. Comput. 11, No. 1, 67-79 (2012).

MSC: 30G35 17A30 03F60

Cite Review PDF

Full Text: DOI

Ollinger, Nicolas

Two-by-two substitution systems and the undecidability of the domino problem. (English) Zbl 1142.03357

Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 476-485 (2008).

MSC: 03D35 05B45

Cite Review PDF

Full Text: DOI HAL

Found 28 Documents (Results 1–28)

A survey of local-global methods for Hilbert’s tenth problem. (English) Zbl 07919511

Analytical complexity and signal coding. (English) Zbl 07822055

Existential definability and diophantine stability. (English) Zbl 1537.11143

A simple logic of the hide and seek game. (English) Zbl 07755335

von Staudt constructions for skew-linear and multilinear matroids. (English) Zbl 1508.05021

Randomness extraction in computability theory. (English) Zbl 1515.03190

On the computational properties of the uncountability of the real numbers. (English) Zbl 1541.03128

On the uncountability of \(\mathbb{R}\). (English) Zbl 1523.03004

Computability and the game of cops and robbers on graphs. (English) Zbl 1491.05134

Lifting proofs from countable to uncountable mathematics. (English) Zbl 1518.03014

Default consequence relations from topology and measure theory. (English) Zbl 07504739

On a geometric statement of Ramsey type. (English) Zbl 07501803

Asymptotic linear – nonlinear duality, indeterminism and mathematical intelligence. (English) Zbl 1493.34139

On the subtle nature of a simple logic of the hide and seek game. (English) Zbl 1540.03056

\(p\)-adic representation of subsets of a bounded number set. (English. Russian original) Zbl 1484.12012

Mechanisation of the AKS algorithm. (English) Zbl 1465.68301

The expressiveness of quasiperiodic and minimal shifts of finite type. (English) Zbl 1461.37022

Invariant universality for quandles and fields. (English) Zbl 1484.03092

On expansions of \((\mathbf{Z},+,0)\). (English) Zbl 1481.03014

The quandary of quandles: a Borel complete knot invariant. (English) Zbl 1482.20039

The domino problem is undecidable on surface groups. (English) Zbl 1539.03136

Geometric view on homogeneous groups. (English) Zbl 1431.20003

On effective Birkhoff’s ergodic theorem for computable actions of amenable groups. (English) Zbl 1436.03234

Generic Kleene fixed point theorem. (Russian. English summary) Zbl 1431.03053

A comment on the construction of the maximal globally hyperbolic Cauchy development. (English) Zbl 1288.83009

Computable measures coprojection consistent with ordering relation is not necessarily computable. (English. Russian original) Zbl 1283.03077

A computational journey into the mind. (English) Zbl 1251.30054

Two-by-two substitution systems and the undecidability of the domino problem. (English) Zbl 1142.03357

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software