Pages that link to "Item:Q995670"
From MaRDI portal
The following pages link to An institution-independent proof of the Beth definability theorem (Q995670):
Displaying 20 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Beth definability, interpolation and language splitting (Q542122) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089) (← links)
- An institution-independent proof of Craig interpolation theorem (Q1876090) (← links)
- Some general results about proof normalization (Q1931341) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Beth definability and the Stone-Weierstrass theorem (Q2033009) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- An Institution-independent Generalization of Tarski's Elementary Chain Theorem (Q3431971) (← links)
- Uniqueness, definability and interpolation (Q3795662) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- Partialising institutions (Q6185812) (← links)