0484738 - MÚ 2018 RIV DE eng J - Journal Article
Glivický, Petr - Pudlák, Pavel
A wild model of linear arithmetic and discretely ordered modules.
Mathematical Logic Quarterly. Roč. 63, č. 6 (2017), s. 501-508. ISSN 0942-5616. E-ISSN 1521-3870
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : linear arithmetics
OECD category: Pure mathematics
Impact factor: 0.522, year: 2017
Permanent Link: http://hdl.handle.net/11104/0279883
Glivický, Petr - Pudlák, Pavel
A wild model of linear arithmetic and discretely ordered modules.
Mathematical Logic Quarterly. Roč. 63, č. 6 (2017), s. 501-508. ISSN 0942-5616. E-ISSN 1521-3870
EU Projects: European Commission(XE) 339691 - FEALORA
Institutional support: RVO:67985840
Keywords : linear arithmetics
OECD category: Pure mathematics
Impact factor: 0.522, year: 2017
Permanent Link: http://hdl.handle.net/11104/0279883