The following pages link to (Q5631102):
Displaying 28 items.
- Command algebras, recursion and program transformation (Q911748) (← links)
- Identical particles and the simplicial category (Q1090755) (← links)
- Deadlock and fairness in morphisms of transition systems (Q1105379) (← links)
- Processes and formalisms for unbounded choice (Q1193892) (← links)
- The concept of state and the axiom of choice (Q1244194) (← links)
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Fixpoint semantics and simulation (Q1575253) (← links)
- Linguistic\(\leftrightarrow \)rational agents' semantics (Q1688923) (← links)
- New model categories from old (Q1916400) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- Combinatorial Dichotomies in Set Theory (Q3083465) (← links)
- INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN (Q3188340) (← links)
- Set theory with a filter quantifier (Q3666826) (← links)
- Some results concerning strongly compact cardinals (Q3718697) (← links)
- A result of relative consistency about the predicate WO(δ, <i>x</i>) (Q3882448) (← links)
- The <i>κ</i>-closed unbounded filter and supercpmpact cardinals (Q3947657) (← links)
- A proof-theoretic characterization of the primitive recursive set functions (Q4032873) (← links)
- Boolean extensions which efface the Mahlo property (Q4047548) (← links)
- One hundred and two problems in mathematical logic (Q4079563) (← links)
- A Generalized Topological Measure Theory (Q4081521) (← links)
- On splitting stationary subsets of large cardinals (Q4149454) (← links)
- Chang's conjecture and powers of singular cardinals (Q4175272) (← links)
- Σ<sub>1</sub>-compactness in languages stronger than (Q4175541) (← links)
- Generalized quantifiers and elementary extensions of countable models (Q4182485) (← links)
- FULL REGULARITY FOR A C*-ALGEBRA OF THE CANONICAL COMMUTATION RELATIONS (Q5324590) (← links)
- Sequent calculus and data fusion (Q5947552) (← links)
- Markets with many more agents than commodities Aumann's ``hidden'' assumption (Q5956281) (← links)
- Quantifier-free induction for lists (Q6617170) (← links)
