Definability and invariance
From MaRDI portal
Publication:2454641
DOI10.1007/s11225-007-9049-6zbMath1125.03030MaRDI QIDQ2454641
Alexandre A. Martins Rodrigues, Newton C. A. Da Costa
Publication date: 16 October 2007
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-007-9049-6
01A60: History of mathematics in the 20th century
03C99: Model theory
03-03: History of mathematical logic and foundations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model theory and algebraic geometry. An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
- Une généralisation de la notion de corps
- On automorphisms of arbitrary mathematical systems
- What are logical notions?
- Sentences of type theory: the only sentences preserved under isomorphisms
- Model Theory
- The Mordell-Lang conjecture for function fields