The following pages link to (Q4395613):
Displaying 16 items.
- Infinity in logic and computation. International conference, ILC 2007, Cape Town, South Africa, November 3--5, 2007. Revised selected papers (Q732868) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- Infinitary logics and 0-1 laws (Q1193591) (← links)
- Infinitary definitions of equivalence relations in models of PA (Q1377633) (← links)
- Lindenbaum and pair extension lemma in infinitary logics (Q1799275) (← links)
- Infinitary logic and inductive definability over finite structures (Q1893734) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- An infinitary system for the least fixed-point logic restricted to finite models (Q2866740) (← links)
- An Infinitary Model of Linear Logic (Q2948550) (← links)
- Lectures on Infinitary Model Theory (Q3188067) (← links)
- (Q3639040) (← links)
- (Q3984864) (← links)
- (Q4335229) (← links)
- On equivalence of infinitary formulas under the stable model semantics (Q4592970) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- (Q4856959) (← links)