Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium)

DOI10.2307/2273688zbMath0532.03004OpenAlexW1592761515MaRDI QIDQ3313843

No author found.

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273688

zbMATH Keywords

Herbrand symposiumMarseilles

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Polynomial functions with exponentiation are well ordered
• An ordinal bound for the set of polynomial functions with exponentiation
• Partial morphisms on partial algebras
• On a Formalization of the Non-Definedness Notion
• Calculation of an Order Type: An application of Non‐Standard Methods
• Π12-logic, Part 1: Dilators
• A guide to the identification of admissible sets above structures
• Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen

This page was built for publication: Meeting of the Association for Symbolic Logic, Marseilles, 1981 (the Herbrand Symposium)