[FOM] looking for help with terminology
alama at stanford.edu
Tue Jan 8 18:37:50 EST 2008
Neil Tennant <neilt at mercutio.cohums.ohio-state.edu> writes:
> I wonder whether any fom-er can tell me if there is any reasonably
> well-established terminology for the following.
> I want to isolate formulae of the form
> where P is a primitive n-place predicate, and of the form
> y = f(x_1,...,x_n)
> where f is a primitive n-place function sign, and where in both cases the
> x_i are individual variables.
> Formulae of the form P(f(x)) won't qualify; nor will formulae of the form
> f(y)=g(x) or of the form y=f(g(x))---to choose just three examples of
> foils. Yet of course these three formulae count as *atomic*, on the
> standard definition of atomic formulae.
> So I'm looking for a term to designate something narrower than the class
> of atomic formulae.
> Any suggestions?
Hodges calls these "unnested atomic formulas" (see _A Shorter Model
Theory_, p. 51).
Jesse Alama (alama at stanford.edu)
More information about the FOM