Pages that link to "Item:Q2865746"
From MaRDI portal
The following pages link to Preliminaries to classical first-order model theory (Q2865746):
Displaying 13 items.
- Flexary operations (Q491771) (← links)
- Euler's partition theorem (Q491772) (← links)
- Pseudo-canonical formulae are classical (Q502693) (← links)
- A guide to classical and modern model theory (Q1405321) (← links)
- On rewriting rules in Mizar (Q1945908) (← links)
- Custom automations in Mizar (Q1945910) (← links)
- The Gödel completeness theorem for uncountable languages (Q2852157) (← links)
- Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms (Q2865747) (← links)
- First order languages: further syntax and semantics (Q2865748) (← links)
- Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages (Q2865749) (← links)
- Sequent calculus, derivability, provability. Gödel's completeness theorem (Q2865750) (← links)
- (Q4247076) (← links)
- Prime representing polynomial with 10 unknowns -- introduction (Q6489409) (← links)