Anne Sjerp Troelstra

Anne Sjerp Troelstra's AcademicInfluence.com Rankings

Mathematics

#2988

World Rank

#4499

Historical Rank

Measure Theory

#1669

World Rank

#2055

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Anne Sjerp Troelstra's Degrees

PhD Mathematics University of Amsterdam

Why Is Anne Sjerp Troelstra Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Anne Sjerp Troelstra was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation of the University of Amsterdam. He was a constructivist logician, who was influential in the development of intuitionistic logic With Georg Kreisel, he was a developer of the theory of choice sequences. He wrote one of the first texts on linear logic, and, with Helmut Schwichtenberg, he co-wrote an important book on proof theory.

(See a Problem?)

Anne Sjerp Troelstra's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Preventing surgical-site infections in nasal carriers of Staphylococcus aureus. (2010) (1089)
Metamathematical investigation of intuitionistic arithmetic and analysis (1973) (861)
Constructivism in Mathematics: An Introduction (1988) (645)
Basic proof theory (1996) (525)
Constructivism in mathematics (1988) (423)
Lectures on linear logic (1992) (372)
Clostridium difficile Ribotype 027, Toxinotype III, the Netherlands (2005) (174)
Methicillin-resistant Staphylococcus aureus in horses and horse personnel: an investigation of several outbreaks. (2010) (173)
Evidence for in-vivo transfer of mecA DNA between strains of Staphylococcus aureus (2001) (172)
Formal systems for some branches of intuitionistic analysis (1970) (150)
Role of Healthcare Workers in Outbreaks of Methicillin-Resistant Staphylococcus aureus: A 10-Year Evaluation From a Dutch University Hospital (2003) (134)
Costs Associated with a Strict Policy to Eradicate Methicillin-Resistant Staphylococcus aureus in a Dutch University Medical Center: A 10-Year Survey (2002) (133)
Basic proof theory (2nd ed.) (2000) (132)
Phagocytosis of Staphylococcus aureus and Haemophilus influenzae type B opsonized with polyclonal human IgG1 and IgG2 antibodies. Functional hFc gamma RIIa polymorphism to IgG2. (1993) (127)
Ecological replacement of Enterococcus faecalis by multiresistant clonal complex 17 Enterococcus faecium. (2007) (123)
Transmissibility of livestock-associated methicillin-resistant Staphylococcus aureus (ST398) in Dutch hospitals. (2011) (123)
[Endocarditis due to meticillin-resistant Staphylococcus aureus originating from pigs]. (2006) (102)
Principles of intuitionism (1969) (102)
Antibiotic rotation and development of gram-negative antibiotic resistance. (2005) (100)
In-vivo transfer of mecA DNA to Staphylococcus aureus [corrected]. (2001) (100)
Rapid screening of methicillin-resistant Staphylococcus aureus using PCR and chromogenic agar: a prospective study to evaluate costs and effects. (2010) (95)
Choice sequences : a chapter of intuitionistic mathematics (1977) (93)
Aspects of Constructive Mathematics (1977) (88)
Dual effects of soluble CD14 on LPS priming of neutrophils (1997) (82)
Successful control of a hospital-wide outbreak of OXA-48 producing Enterobacteriaceae in the Netherlands, 2009 to 2011. (2014) (81)
Eradication of carriage with methicillin-resistant Staphylococcus aureus: effectiveness of a national guideline. (2011) (69)
Sustained low prevalence of meticillin-resistant Staphylococcus aureus upon admission to hospital in The Netherlands. (2011) (67)
STUDIES IN LOGIC. (66)
Automated surveillance for healthcare-associated infections: opportunities for improvement. (2013) (66)
Saturable CD14-dependent binding of fluorescein-labeled lipopolysaccharide to human monocytes (1997) (64)
Transmissibility of Livestock-associated Methicillin-Resistant Staphylococcus aureus (2013) (63)
Genotyping and preemptive isolation to control an outbreak of vancomycin-resistant Enterococcus faecium. (2006) (61)
Outbreak of a susceptible strain of Acinetobacter species 13 (sensu Tjernberg and Ursing) in an adult neurosurgical intensive care unit. (2002) (60)
Lipopolysaccharide-coated erythrocytes activate human neutrophils via CD14 while subsequent binding is through CD11b/CD18. (1999) (57)
Note on the fan theorem (1974) (54)
On the Early History of Intuitionistic Logic (1990) (54)
Eradication of carriage with methicillin-resistant Staphylococcus aureus: determinants of treatment failure. (2011) (50)
Constructivism in Mathematics, Volume 2 (1991) (50)
On the connection of partially ordered sets with some pseudo-Boolean algebras (1966) (49)
Prevalence of Hospital-Acquired Infections During Successive Surveillance Surveys Conducted at a University Hospital in The Netherlands (2007) (45)
Chapter VI – Realizability (1998) (41)
Costs and benefits of rapid screening of methicillin-resistant Staphylococcus aureus carriage in intensive care units: a prospective multicenter study (2012) (41)
Methicillin-Resistant Staphylococcus Aureus Carriage Among Patients After Hospital Discharge (2005) (41)
From Constructivism to Computer Science (1999) (40)
On Intermediate Propositional Logics (1965) (39)
Independent root cause analysis of contributing factors, including dismantling of 2 duodenoscopes, to an outbreak of multidrug-resistant Klebsiella pneumoniae. (2019) (39)
Natural Deduction for Intuitionistic Linear Logic (1995) (38)
Lawless sequences of natural numbers (1969) (37)
Highly Resistant Gram-Negative Microorganisms Incidence Density and Occurrence of Nosocomial Transmission (TRIANGLe Study) (2011) (36)
Rapid diagnostic testing of methicillin-resistant Staphylococcus aureus carriage at different anatomical sites: costs and benefits of less extensive screening regimens. (2011) (36)
Extensive Hospital-Wide Spread of a Multidrug-Resistant Enterobacter cloacae Clone, with Late Detection Due to a Variable Antibiogram and Frequent Patient Transfer (2006) (35)
Bacterial colonisation of collagen-coated polypropylene vaginal mesh: are additional intraoperative sterility procedures useful? (2009) (34)
Notes on intuitionistic second order arithmetic (1973) (33)
Opsonic antibodies to outer membrane protein P2 of nonencapsulated Haemophilus influenza are strain specific (1994) (32)
Brouwer's theory of the creative subject (1969) (31)
Isolation and characterization of a ciprofloxacin-resistant isolate of Haemophilus influenzae from The Netherlands. (1997) (31)
Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types (1971) (30)
On the Syntax of Martin-Löf's Type Theories (1987) (30)
On the Origin and Development of Brouwer's Concept of Choice Sequence (1982) (29)
A note on non-extensional operations in connection with continuity and recursiveness (1977) (28)
Set Theory, Arithmetic, and Foundations of Mathematics: History of constructivism in the 20th century (2011) (28)
Analysing choice sequences (1983) (28)
Acquisition and Duration of Vancomycin-Resistant Enterococcal Carriage in Relation to Strain Type (2003) (26)
Models and computability (1973) (25)
Failure To Control an Outbreak of qnrA1-Positive Multidrug-Resistant Enterobacter cloacae Infection despite Adequate Implementation of Recommended Infection Control Measures (2007) (24)
Basic proof theory, Second Edition (2000) (24)
Construction in Mathematics. An Introduction, Volume 1 (1990) (24)
Impact of different empirical antibiotic treatment regimens for community-acquired pneumonia on the emergence of Clostridium difficile. (2010) (24)
[Optimisation of the antibiotic policy in the Netherlands. XII. The SWAB guideline for antimicrobial eradication of MRSA in carriers]. (2008) (20)
Quantifying changes in incidences of nosocomial bacteraemia caused by antibiotic-susceptible and antibiotic-resistant pathogens. (2009) (20)
Automated Detection of Healthcare Associated Infections: External Validation and Updating of a Model for Surveillance of Drain-Related Meningitis (2012) (20)
The Theory of Choice Sequences (1968) (19)
Plasmid diversity among genetically related Klebsiella pneumoniae blaKPC-2 and blaKPC-3 isolates collected in the Dutch national surveillance (2020) (19)
Enterococcus faecium genome dynamics during long-term asymptomatic patient gut colonization (2019) (19)
Tutorial on Linear Logic (1992) (19)
Projections of Lawless Sequences (1970) (18)
Realizability and intuitionistic logic (1984) (18)
Within-Host and Population Transmission of bla OXA-48 in K. pneumoniae and E. coli (2015) (18)
Strong normalization for typed terms with surjective pairing (1986) (17)
Acquisition of high-level mupirocin resistance in CoNS following nasal decolonization with mupirocin. (2014) (17)
Comparing the Theory of Representations and Constructive Mathematics (1991) (17)
Changing Modalities (2000) (17)
Intuitionistic formal systems (1973) (16)
Long-term Mortality After Rapid Screening and Decolonization of Staphylococcus Aureus Carriers: Observational Follow-up Study of a Randomized, Placebo-controlled Trial (2016) (15)
Non-extensional equality (1975) (14)
Quantitative flow cytometric analysis of opsonophagocytosis and killing of nonencapsulated Haemophilus influenzae by human polymorphonuclear leukocytes. (1994) (14)
Some models for intuitionistic finite type arithmetic with fan functional (1977) (13)
Risk factors for the acquisition of OXA-48-producing Enterobacteriaceae in a hospital outbreak setting: a matched case-control study. (2016) (13)
[Methicillin-resistant Staphylococcus aureus of livestock origin in Dutch hospitals: high-risk patients need only to be investigated if admitted to hospital]. (2008) (13)
Glycopeptide Resistance in Staphylococcus haemolyticus During Treatment With Teicoplanin (2001) (13)
On a second order propositional operator in intuitionistic logic (1981) (13)
Intuitionistic Extensions of the Reals II (1982) (12)
Surveillance for Hospital-Acquired Infections on Surgical Wards in a Dutch University Hospital (2003) (12)
Choice sequences and informal rigour (1985) (12)
Automated Detection of External Ventricular and Lumbar Drain-Related Meningitis Using Laboratory and Microbiology Results and Medication Data (2011) (11)
Notes on the intuitionistic theory of sequences (II) (1970) (10)
Validation of an Automated Surveillance Approach for Drain-Related Meningitis: A Multicenter Study (2015) (10)
Ω-Bibliography of Mathematical Logic (1987) (10)
Carriage of methicillin-resistant Staphylococcus aureus (MRSA) after discharge from hospital: follow-up for how long? A Dutch multi-centre study. (2001) (10)
A Pilot Study on Infection Control in 10 Randomly Selected European Hospitals: Results of a Questionnaire Survey (2000) (9)
Recommendations of the NVMM Guideline Laboratory detection of highly resistant microorganisms (2012) (9)
Marginalia on Sequent Calculi (1999) (9)
Informal theory of choice sequences (1969) (9)
Trends, seasonality and the association between outpatient antibiotic use and antimicrobial resistance among urinary bacteria in the Netherlands. (2020) (9)
The Discovery of E.W. Beth’s Semantics for Intuitionistic Logic (1999) (8)
Realizability and functional interpretations (1973) (8)
Raman spectroscopy-based identification of nosocomial outbreaks of the clonal bacterium Escherichia coli (2015) (8)
Accuracy of Hospital Discharge Coding Data for the Surveillance of Drain-Related Meningitis (2013) (7)
Trends in fungaemia and antifungal susceptibility in the Netherlands. (2006) (7)
Extended Bar Induction of Type Zero (1980) (7)
Neutralization of Neisseria meningitidis outer membrane vesicles (2011) (7)
Basic Proof Theory: Proof theory of arithmetic (2000) (6)
National surveillance pilot study unveils a multicenter, clonal outbreak of VIM-2-producing Pseudomonas aeruginosa ST111 in the Netherlands between 2015 and 2017 (2021) (6)
Axioms for Intuitionistic Mathematics Incompatible with Classical Logic (1977) (6)
Markov's principle and Markov's rule for theores of choice sequences (1975) (6)
The Interplay Between Logic and Mathematics: Intuitionism (1981) (5)
Choice sequences: a retrospect (1996) (5)
[Methicillin-resistant Staphylococcus aureus in medical and paramedical personnel returned from work in a foreign hospital]. (2000) (5)
Normalization theorems for systems of natural deduction (1973) (5)
Hospital infection control in the Netherlands. (2007) (5)
Epidemiology of carbapenem-resistant and carbapenemase-producing Enterobacterales in the Netherlands 2017–2019 (2022) (5)
Finite and infinite in intuitionistic mathematics (1967) (5)
Concepts and Axioms (1998) (4)
Independent root-cause analysis of contributing factors, including dismantling of 2 duodenoscopes, to investigate an outbreak of multidrug-resistant Klebsiella pneumoniae (4)
Is Methicillin-Resistant Staphylococcus Aureus More Contagious than Methicillin-Susceptible S. Aureus in a Surgical Intensive Care Unit? (2002) (4)
Dry cleaning or wet mopping: comparison of bacterial colony counts in the hospital environment. (2003) (4)
[Omega]-Bibliography of Mathematical Logic (1987) (4)
Optimalization of the antibiotic policy in the Netherlands XI (2012) (4)
Universal risk assessment upon hospital admission for screening of carriage with multidrug-resistant microorganisms (MDRO) in a Dutch tertiary care centre (2016 - 2019). (2020) (3)
The Use of “Brouwer's Principle” in Intuitionistic Topology (1968) (3)
Some remarks on the complexity of Henkin-Kripke models (1978) (3)
[The Dutch MRSA policy should be retained]. (2006) (3)
Special instances of generalized continuity which are conservative over intuitionistic arithmetic (1977) (3)
Is Methicillin-Resistant Staphylococcus aureus More Contagious Than Methicillin-Susceptible S. aureus in a Surgical Intensive Care Unit? (2002) (3)
[Questions and answers about MRSA in farm animals]. (2007) (3)
Vragen en antwoorden over MRSA bij landbouwhuisdieren = Questions and answers on MRSA in agricultural animals (2007) (3)
The scientific work of A. Heyting (1968) (2)
New sets of postulates for intuitionistic topology (1968) (2)
Definability of finite sum types in Martin-Löf's type theories (1983) (2)
[Epidemic of methicillin-resistant Staphylococcus aureus due to the transfer of 2 Dutch burn patients from a hospital outside of the Netherlands; who suffers the consequences?]. (2002) (2)
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 (1982) (2)
Bibliography of Natural History Travel Narratives (2017) (2)
One-point compactifications of intuitionistic locally compact spaces (1968) (2)
Logic and Foundations of Mathematics (1968) (1)
Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation (1972) (1)
[Methicillin resistance Staphylococcus aureus in the horse clinic]. (2008) (1)
Third-generation cephalosporin resistant gram-negative bacteraemia in patients with haematological malignancy; an 11-year multi-centre retrospective study (2022) (1)
Review: Solomon Feferman, J. N. Crossley, A Language and Axioms for Explicit Mathematics; Solomon Feferman, Maurice Boffa, Dirk van Dalen, Kenneth McAloon, Constructive Theories of Functions and Classes (1984) (1)
Topology; separable metric spaces (1969) (1)
Review: Toshio Umezawa, On Logics Intermediate Between Intuitionistic and Classical Predicate Logic (1968) (1)
Methicillin-resistant Staphylococcus aureus in equine practice (2008) (1)
A prospective matched case-control study on the genomic epidemiology of colistin-resistant Enterobacterales from Dutch patients (2022) (1)
Basic Proof Theory (ed. 2) (2000) (1)
Sequences and constructive (lawlike) objects (1969) (1)
Logic and foundations of mathematics : dedicated to A. Heyting on his 70th birthday (1968) (1)
Proof Theory and Constructive Mathematics (2005) (1)
Species revisited; the role of the comprehension principle (1969) (1)
cfr and fexA genes in methicillin-resistant Staphylococcus aureus from humans and livestock in the Netherlands (2022) (1)
Two new species of Rubus sect. Corylifolii Lindl. (Rosaceae) from the east of the Netherlands (2019) (1)
On Ashvinikumar's principle of microscopic completeness (1979) (1)
Supplement to bibliography of natural history travel narratives (2018) (0)
Cut elimination with applications (2000) (0)
Applications of the continuity principles and the fan theorem (1969) (0)
Epidemiology of carbapenem-resistant and carbapenemase-producing Enterobacterales in the Netherlands 2017–2019 (2022) (0)
Constructivism and Proof Theory (draft) (2003) (0)
In Memoriam: Albert G. Dragalin 1941–1998 (1999) (0)
Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory (1990) (0)
Basic Proof Theory: Categorical logic (2000) (0)
VRE-toolkit - How to survive vancomycin-resistant enterococci? (2018) (0)
Constructive and intensional logic (2001) (0)
Review: Tsutomu Hosoi, On Intermediate Logics (1971) (0)
Encyclopedia of Life Support Systems ( EOLSS ) PROOF THEORY AND CONSTRUCTIVE MATHEMATICS (2011) (0)
Marginalia on the sequent calculus (1998) (0)
Kleene's Realizability (for Cor Baayen) (1994) (0)
Subsequent Binding Is Through CD 11 b / CD 18 Activate Human Neutrophils Via CD 14 While Lipopolysaccharide-Coated Erythrocytes (1999) (0)
Guide to Part D: Proof Theory and Constructive Mathematics (1977) (0)
Review: Takashi Nagashima, An Extension of the Craig-Schutte Interpolation Theorem (1968) (0)
Review: Bruno Scarpellini, Proof Theory and Intuitionistic Systems (1974) (0)
Mobile colistin resistance mcr-4.3- and mcr-4.6-harbouring plasmids in livestock- and human-retrieved Enterobacterales in the Netherlands (2023) (0)
JSL volume 50 issue 4 Cover and Back matter and Errata (1985) (0)
Well-orderings and ordinals (1969) (0)
Bounds and permutations (2000) (0)
Normalization for natural deduction (2000) (0)
Proof theory, constructive mathematics (1987) (0)
N-systems and H-systems (2000) (0)
A digital pupillometer. (1966) (0)
P951 Trends in nosocomial bacteraemias: results from a university hospital in the Netherlands (2007) (0)
Constructive or lawlike analysis (1969) (0)
Source Index (2008) (0)
Opsonic Antibodies toOuterMembraneProtein P2of Nonencapsulated Haemophilus influenzae AreStrain Specific (1994) (0)
Raman spectroscopy-based identification of nosocomial outbreaks of the clonal bacterium Escherichia coli (2015) (0)
Checking your history (2016) (0)
Spreads and a theory of real numbers (1969) (0)
Second-order logic (2000) (0)
Ordering relations and order on the real line (1969) (0)
Basic Proof Theory: Solutions to selected exercises (2000) (0)
Basic Proof Theory: Modal and linear logic (2000) (0)
Hosoi Tsutomu. On intermediate logics. Journal of the Faculty of Science, University of Tokyo, section I, vol. 14 (1967), pp. 293–312, and vol. 16 (1969), pp. 1–12. (1971) (0)
REVIEWS-Basic proof theory (2001) (0)
Baseline characteristics of the patient population after multiple imputation of missing values and univariate association between variables and the risk of drain-related meningitis. (2013) (0)
Scarpellini Bruno. Proof theory and intuitionistic systems . Lecture notes in mathematics, no. 212. Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VII + 291 pp. (1974) (0)
Elementary theory of real numbers (1969) (0)
P17.77 Periodic Prevalence Surveys in Neonatal Intensive Care Units in the Netherlands (2006) (0)
Veterinary use of antimicrobial agents and problems of resistance in human bacterial infections (1997) (0)
Quantitative FlowCytometric Analysis ofOpsonophagocytosis andKilling ofNonencapsulated Haemophilus influenzae by HumanPolymorphonuclear (1994) (0)
FP1.08 Failure to control a multidrug-resistant Enterobacter cloacae outbreak despite adequate implementation of recommended infection control measures (2006) (0)
The evolution of the natural history travel narrative (2016) (0)
Chapter 4 . 5 Decreased one-year mortality after rapid screening and decolonisation of S . aureus carriers undergoing clean surgical procedures : Observational follow-up study of a randomized , placebo-controlled trial (2014) (0)
hydroxylase expression in malignant and normal colon tissue from eight participants (2001) (0)

This paper list is powered by the following services:

Other Resources About Anne Sjerp Troelstra

en.wikipedia.org

What Schools Are Affiliated With Anne Sjerp Troelstra?

Anne Sjerp Troelstra is affiliated with the following schools:

Anne Sjerp Troelstra's Academic­Influence.com Rankings