8 citations
- University of VeronaIT3 papers
- Cosmetics EuropeBE2 papers
- University of VictoriaCA2 papers
- East Carolina UniversityUS1 paper
- École de Technologie SupérieureCA1 paper
- Ericsson (Canada)CA1 paper
- Laboratoire de Mathématiques Blaise PascalFR1 paper
- MacEwan UniversityCA1 paper
- Memorial University of NewfoundlandCA1 paper
- PSG INSTITUTE OF TECHNOLOGY AND APPLIED RESEARCHIN1 paper
- UiT The Arctic University of NorwayNO1 paper
- Université Blaise PascalFR1 paper
Showing math.LOShow all
2 papers · 1 filter
math.LO2018★ 7 cited
Undecidability of
Carlos Martinez-Ranero, Javier Utreras, Carlos R. Videla
It is shown that the compositum of all degree 2 extensions of has undecidable theory.
math.LO2011
Definability and Decidability in Infinite Algebraic Extensions
Alexandra Shlapentokh, Carlos Videla
We use a generalization of a construction by Ziegler to show that for any field and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$…