Definability and invariance
From MaRDI portal
Publication:2454641
DOI10.1007/s11225-007-9049-6zbMath1125.03030OpenAlexW1976843614MaRDI 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
History of mathematics in the 20th century (01A60) Model theory (03C99) History of mathematical logic and foundations (03-03)
Related Items (7)
A discussion on quantum non-individuality ⋮ Axiomatization and models of scientific theories ⋮ Invariance and definability, with and without equality ⋮ Galois Theory of Algorithms ⋮ On the notions of indiscernibility and indeterminacy in the light of the Galois-Grothendieck theory ⋮ Quantum mechanics: ontology without individuals ⋮ Non-reflexive logical foundation for quantum mechanics
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
This page was built for publication: Definability and invariance