Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
V. Harnik and M. Makkai, Applications of Vaught sentences and the covering theorem, J.S.L., vol. 41 (1976), pp. 171–187.
C. Mizutani, Definability theorem for the intuitionistic predicate logic with equality, to appear.
N. Motohashi, A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions, Proc. Japan Acad., vol. 48 (1970), pp. 153–156.
N. Motohashi, Approximation theorems of uniqueness conditions by existence conditions, to appear.
N. Motohashi, A theorem in the theory of definition, J. Japan Math. Soc., vol. 22 (1970), pp. 490–494.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Motohashi, N. (1981). Homogeneous formulas and definability theorems. In: Müller, G.H., Takeuti, G., Tugué, T. (eds) Logic Symposia Hakone 1979, 1980. Lecture Notes in Mathematics, vol 891. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090982
Download citation
DOI: https://doi.org/10.1007/BFb0090982
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11161-0
Online ISBN: 978-3-540-38633-9
eBook Packages: Springer Book Archive