On automorphisms of arbitrary mathematical systems

DOI10.1080/01445348508837078zbMath0586.03026OpenAlexW1976561408WikidataQ58440474 ScholiaQ58440474MaRDI QIDQ3712321

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

logical definabilitydefinable predicatesgeneral model-theoretic Galois theory

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)

Related Items (3)

What are logical notions? ⋮ Definability and invariance ⋮ X Latin American Symposium on Mathematical Logic

Cites Work

• Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
• Konstruktion nichtrekursiver Funktionen
• General recursive functions of natural numbers
• Local definability theory
• Computability and λ-definability
• The constructive second number class
• Unnamed Item
• Unnamed Item
• Unnamed Item

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