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:
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: