On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications
C. Bonotto, A. Bressan (1983)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On nonmonotone inductive definability”
On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications
On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
C. Bonotto, A. Bressan (1983)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
On strong regularity of relations
Josef Šlapal (1994)
Mathematica Bohemica
Similarity:
There exists a natural extension of the notion of preorder from binary relations onto relations whose arities are arbitrary ordinals. In the article we find a condition under which extended preorders coincide with preorders if viewed categorically.
A combinatorial analysis of functions provably recursive in
Z. Ratajczyk (1988)
Fundamenta Mathematicae
Similarity:
Some remarks on set theory XI
P. Erdös, A. Hajnal (1974)
Fundamenta Mathematicae
Similarity:
Set theory with free construction principles
Marco Forti, Furio Honsell (1983)
Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
Similarity:
On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy
C. Bonotto, A. Bressan (1984)
Rendiconti del Seminario Matematico della Università di Padova
Similarity: