Definability and invariance

DOI10.1007/S11225-007-9049-6MaRDI QIDQ2454641zbMATH OpenOpenAlexFDO

Authors N. C. A. da Costa, Alexandre A. Martins Rodrigues

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

zbMATH Keywords

DefinabilityGalois theoryGeneralized Galois theoryInvarianceModel theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Model theory (03C99)

Recommendations

• Invariance and definability, with and without equality
• scientific article; zbMATH DE number 1088200
• scientific article; zbMATH DE number 6984345
• scientific article; zbMATH DE number 1342210
• Definability and descent
• Abstract Computability and Invariant Definability
• scientific article; zbMATH DE number 2151710
• Definability under duality
• scientific article; zbMATH DE number 1467185
• Definability via enumerations

Cites work

• scientific article; zbMATH DE number 3833933 (Why is no real title available?)
• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 3280051 (Why is no real title available?)
• scientific article; zbMATH DE number 3107086 (Why is no real title available?)
• Model Theory
• Model theory and algebraic geometry. An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
• On automorphisms of arbitrary mathematical systems
• Sentences of type theory: the only sentences preserved under isomorphisms
• The Mordell-Lang conjecture for function fields
• Une généralisation de la notion de corps
• What are logical notions?

Cited in

(22)

• Invariance and definability, with and without equality
• Definable invariants of bilinear mappings
• 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
• Generalized definitional reflection and the inversion principle
• Definability aspects of the Denjoy integral
• Galois theory of algorithms
• Invariance and non-determinacy
• scientific article; zbMATH DE number 5667216 (Why is no real title available?)
• On automorphisms of arbitrary mathematical systems
• scientific article; zbMATH DE number 1185401 (Why is no real title available?)
• Axiomatization and models of scientific theories
• scientific article; zbMATH DE number 733392 (Why is no real title available?)
• scientific article; zbMATH DE number 1523032 (Why is no real title available?)
• scientific article; zbMATH DE number 6984345 (Why is no real title available?)
• A discussion on quantum non-individuality
• On Definitions in an Infinitary Language
• scientific article; zbMATH DE number 3204589 (Why is no real title available?)
• Mutual definability does not imply definitional equivalence, a simple example
• What do symmetries tell us about structure?
• Definability with bounded number of bound variables

This page was built for publication: Definability and invariance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2454641)