Solving functional equations at higher types; some examples and some theorems
type: Item
instance of: scholarly article
title: Solving functional equations at higher types; some examples and some theorems
zbMATH Open document ID: 0623.03018
published in: Notre Dame Journal of Formal Logic
publication date: 1986-01-01T00:00:00Z
review text: The solvability of higher type functional equations has been studied by a number of authors. Roughly speaking the literature sorts into four topics: constructive solvability; solvability in all models, i.e., unification; solvability in models of A.C.; and the solvability of special classes of equations. In this note we shall consider yet a fifth topic, namely, the solvability of functional equations in extensions of models.
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03D65
zbMATH DE Number: 4010484
zbMATH Keywords: solvability of higher type functional equations
zbMATH Keywords: solvability of functional equations in extensions of models
author: Richard Statman
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093636524
OpenAlex ID: W2075283223
DOI: 10.1305/NDJFL/1093636524
description: scientific article; zbMATH DE number 4010484