The following pages link to John P. Burgess (Q190246):
Displaying 50 items.
- On a derivation of the necessity of identity (Q484964) (← links)
- A remark on Henkin sentences and their contraries (Q558741) (← links)
- Quick completeness proofs for some logics of conditionals (Q754178) (← links)
- The completeness of intuitionistic propositional calculus for its intended interpretation (Q754196) (← links)
- Synthetic mechanics (Q761437) (← links)
- Axiomatizing the logic of comparative probability (Q976539) (← links)
- Read on relevance: A rejoinder (Q1061114) (← links)
- The decision problem for linear temporal logic (Q1062669) (← links)
- Careful choices: A last word on Borel selectors (Q1134155) (← links)
- Relevance: A fallacy? (Q1141632) (← links)
- Axioms for tense logic. I: 'Since' and 'until' (Q1148308) (← links)
- Axioms for tense logic. II: Time periods (Q1148309) (← links)
- Conditional distributions and orthogonal measures (Q1154723) (← links)
- Decidability for branching time (Q1155599) (← links)
- Common sense and ''relevance'' (Q1159608) (← links)
- Why I am not a nominalist (Q1165830) (← links)
- From preference to utility: A problem of descriptive set theory (Q1165844) (← links)
- A selector principle for \(\Sigma^1_1\) equivalence relations (Q1233873) (← links)
- A selection theorem for group actions (Q1248248) (← links)
- Synthetic mechanics revisited (Q2276940) (← links)
- Book review: Volker Halbach, Axiomatic theories of truth (Q2377055) (← links)
- Two undecidable questions about group actions (Q2431009) (← links)
- Book review of: I. Hacking, Why is there philosophy of mathematics at all? (Q2813234) (← links)
- Axioms of infinity as the starting point for rigorous mathematics. (Q2862640) (← links)
- Rigor and Structure (Q2939426) (← links)
- (Q3079621) (← links)
- (Q3090928) (← links)
- (Q3148848) (← links)
- Dummett's case for intuitionism (Q3342527) (← links)
- (Q3464621) (← links)
- (Q3464643) (← links)
- Computability and Logic (Q3525239) (← links)
- (Q3613033) (← links)
- Protocol Sentences for Lite Logicism (Q3613298) (← links)
- Classical hierarchies from a modern standpoint. Part I. C-sets (Q3661846) (← links)
- Classical hierarchies from a modern standpoint. Part II. R-sets (Q3661847) (← links)
- Classical hierarchies form a modern standpoint. Part III. BP-sets (Q3661848) (← links)
- The truth is never simple (Q3772173) (← links)
- Addendum to “The truth is never simple” (Q3792654) (← links)
- Logic and time (Q3856738) (← links)
- (Q3862080) (← links)
- Brouwer and Souslin on Transfinite Cardinals (Q3869341) (← links)
- The unreal future (Q3874178) (← links)
- (Q3892472) (← links)
- A reflection phenomenon in descriptive set theory (Q3895459) (← links)
- Nonexistence of Measurable Optimal Selections (Q4027746) (← links)
- (Q4156785) (← links)
- A measurable selection theorem (Q4156961) (← links)
- (Q4159945) (← links)
- Consistency proofs in model theory: A contribution to Jensenlehre (Q4163210) (← links)
