On automorphisms of arbitrary mathematical systems

DOI10.1080/01445348508837078MaRDI QIDQ3712321zbMATH OpenOpenAlexWikidataFDO

Authors José Sebastião e Silva

Publication date 1985

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445348508837078

zbMATH Keywords

definable predicatesgeneral model-theoretic Galois theorylogical definability

Mathematics Subject Classification ID

Development of contemporary mathematics (01A65) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Abstract model theory (03C95)

Recommendations

• Definability and invariance
• Invariance and definability, with and without equality
• scientific article; zbMATH DE number 976078
• Some definable Galois theory and examples
• Definability and automorphism groups

Cites work

• Computability and λ-definability
• General recursive functions of natural numbers
• scientific article; zbMATH DE number 3697068 (Why is no real title available?)
• scientific article; zbMATH DE number 3026247 (Why is no real title available?)
• scientific article; zbMATH DE number 3099537 (Why is no real title available?)
• Konstruktion nichtrekursiver Funktionen
• Local definability theory
• The constructive second number class
• Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion

Cited in

(7)

• Automorphisms of flag systems
• Invariance and definability, with and without equality
• Definability and invariance
• scientific article; zbMATH DE number 3933065 (Why is no real title available?)
• What are logical notions?
• X Latin American Symposium on Mathematical Logic
• Automatic maps in exotic numeration systems

This page was built for publication: On automorphisms of arbitrary mathematical systems

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