%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Tue Mar 30 20:01:56 MDT 2021 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$+$}{% Milchior:2017:USE% }. \NAMECITE{$ 0 \sim '$}{% Gerdes:2020:RSF% }. \NAMECITE{$<$}{% Milchior:2017:USE% }. \NAMECITE{$^1$}{% Huschenbett:2017:POA% }. \NAMECITE{$^\ell p$}{% McNicholl:2017:CC% }. \NAMECITE{$_0$}{% Schroder:2015:HHQ,% deBrecht:2016:BCC% }. \NAMECITE{$ C[0, 1] $}{% Nemoto:2020:CPD% }. \NAMECITE{$\ell p$}{% McNicholl:2019:IDC% }. \NAMECITE{$H$}{% Golovach:2019:SCN% }. \NAMECITE{$ L^1 $}{% Miyabe:2013:CLC% }. \NAMECITE{$ \omega $}{% Gerdes:2020:RSF% }. \NAMECITE{$ \omega_1 $}{% Carson:2013:AHS% }. \NAMECITE{$Q$}{% Selivanov:2020:WDF% }. \NAMECITE{$T$}{% Normann:2016:CBR% }. \NAMECITE{{}-colouring}{% Golovach:2019:SCN% }. \NAMECITE{{}-Computability}{% Miyabe:2013:CLC% }. \NAMECITE{{}-definable}{% Milchior:2017:USE% }. \NAMECITE{-{REA}}{% Gerdes:2020:RSF% }. \NAMECITE{-spaces}{% Schroder:2015:HHQ% }. \NAMECITE{-spaces1}{% deBrecht:2016:BCC% }. \NAMECITE{{-Wadge}}{% Selivanov:2020:WDF% }. \NAMECITE{{2018}}{% Brattka:2019:PSI,% Brattka:2020:DSM% }. \NAMECITE{above}{% Csima:2020:DCA% }. \NAMECITE{admissible}{% Johnston:2020:CBR% }. \NAMECITE{affine}{% Ben-Amram:2015:MIP% }. \NAMECITE{Algebraic}{% Dorais:2013:RMA% }. \NAMECITE{algebras}{% Armstrong:2019:NST% }. \NAMECITE{algorithm}{% Calude:2018:PAA,% Calude:2020:SAA% }. \NAMECITE{Algorithmic}{% Freer:2014:AAL,% Soler-Toscano:2013:CIN,% Muchnik:2016:SWR% }. \NAMECITE{algorithmically}{% Harrison-Trainor:2019:EAA% }. \NAMECITE{Analog}{% Pocas:2018:ANF,% Milici:2020:DED% }. \NAMECITE{analysis}{% Sanders:2018:GHF% }. \NAMECITE{anonymous}{% Gonen:2017:CIC% }. \NAMECITE{anytime}{% Calude:2018:PAA,% Calude:2020:SAA% }. \NAMECITE{approach}{% Milici:2020:DED% }. \NAMECITE{approximable}{% Konecny:2021:RES% }. \NAMECITE{Approximation}{% Morphett:2012:IAR% }. \NAMECITE{arithmetic}{% Speranski:2015:SNR% }. \NAMECITE{Arithmetical}{% Carson:2013:AHS% }. \NAMECITE{aspect}{% Sanders:2018:GHF% }. \NAMECITE{Aspects}{% Freer:2014:AAL,% Harrison-Trainor:2019:EAA,% Pauly:2016:TAT% }. \NAMECITE{Assembly}{% Seki:2013:BTA% }. \NAMECITE{Asymptotic}{% Astor:2015:ADI,% Hirschfeldt:2016:ADC% }. \NAMECITE{Author}{% Anonymous:2012:AIV,% Anonymous:2013:AIV,% Anonymous:2014:AIV,% Anonymous:2016:AIV,% Anonymous:2017:AIV% }. \NAMECITE{automatic}{% Huschenbett:2017:POA% }. \NAMECITE{Automorphism}{% Ambos-Spies:2018:ABR% }. \NAMECITE{balance}{% Milici:2020:DED% }. \NAMECITE{Bar}{% Longley:2019:BRC% }. \NAMECITE{Barry}{% Elwes:2018:BC,% Lowe:2018:PSI,% Lowe:2016:BCE% }. \NAMECITE{Base}{% deBrecht:2016:BCC% }. \NAMECITE{Base-complexity}{% deBrecht:2016:BCC% }. \NAMECITE{bases}{% Ambos-Spies:2018:ABR% }. \NAMECITE{Behavior}{% Seki:2013:BTA% }. \NAMECITE{{Bendixson}}{% Johnston:2020:CBR,% Normann:2016:CBR% }. \NAMECITE{between}{% Fokina:2019:MCR,% Fujiwara:2021:WCR,% Milici:2020:DED% }. \NAMECITE{bi}{% Bazhenov:2021:DBE% }. \NAMECITE{bi-embeddable}{% Bazhenov:2021:DBE% }. \NAMECITE{block}{% Harris:2015:LMM% }. \NAMECITE{bound}{% Hirschfeldt:2016:ADC% }. \NAMECITE{bounds}{% Carlucci:2020:NBS% }. \NAMECITE{Bridging}{% Ehrig:2013:CDR% }. \NAMECITE{{Cantor}}{% Johnston:2020:CBR,% Normann:2016:CBR% }. \NAMECITE{Cardinal}{% Greenberg:2019:CIN% }. \NAMECITE{case}{% Gonen:2017:CIC% }. \NAMECITE{Categorical}{% Miller:2013:CCF% }. \NAMECITE{categoricity}{% Adams:2017:CCW,% Bazhenov:2021:DBE,% Csima:2020:DCA% }. \NAMECITE{ceers}{% Andrews:2019:JMS% }. \NAMECITE{certain}{% Hertling:2020:FDW% }. \NAMECITE{channels}{% Ibarra:2017:LCC% }. \NAMECITE{characterizations}{% Hirahara:2018:CRC% }. \NAMECITE{Characterizing}{% Gonen:2017:CIC% }. \NAMECITE{choice}{% deBrecht:2020:OC% }. \NAMECITE{circuits}{% Beckmann:2019:FSF% }. \NAMECITE{classes}{% Greenberg:2019:CIN,% Hertling:2020:FDW% }. \NAMECITE{classification}{% Miller:2019:ICC% }. \NAMECITE{classifications}{% deBrecht:2016:BCC% }. \NAMECITE{closed}{% Johnston:2020:CBR% }. \NAMECITE{coarse}{% Hirschfeldt:2016:ADC% }. \NAMECITE{coding}{% Dzhafarov:2017:NRI% }. \NAMECITE{{COH}}{% Cholak:2020:SRC% }. \NAMECITE{Coloring}{% Frittaion:2017:CRR% }. \NAMECITE{colouring}{% Golovach:2019:SCN% }. \NAMECITE{Combinatorial}{% Davis:2020:CPE,% Gonen:2017:CIC% }. \NAMECITE{communication}{% Ibarra:2017:LCC% }. \NAMECITE{Compactness}{% Kreuzer:2012:SWC,% Shafer:2020:SCC% }. \NAMECITE{compatible}{% Gonen:2017:CIC% }. \NAMECITE{Complete}{% Harkins:2014:SRI,% Shafer:2020:SCC% }. \NAMECITE{Complexity}{% Brattka:2020:DSM,% Ng:2014:CRS,% Ben-Amram:2015:MIP,% Fokina:2019:MCR,% Hirahara:2018:CRC,% Kohlenbach:2019:RMW,% Miasnikov:2017:CCC,% Patey:2015:CSP,% deBrecht:2016:BCC% }. \NAMECITE{component}{% Gura:2015:ECC% }. \NAMECITE{Compositions}{% Goh:2020:CMF% }. \NAMECITE{Compression}{% Merkle:2012:CCR% }. \NAMECITE{Computability}{% Adams:2017:CCW,% Brattka:2019:PSI,% Hoyrup:2012:CRN,% Lowe:2016:BCE,% Miyabe:2013:CLC,% Skordev:2013:SCN,% Tucker:2014:COC,% Astor:2019:DCU,% Hirschfeldt:2016:ADC% }. \NAMECITE{Computable}{% Coskey:2012:HER,% Iljazovic:2018:CIP,% McNicholl:2017:CC,% Longley:2019:BRC,% McNicholl:2019:IDC% }. \NAMECITE{Computably}{% Cholak:2012:CEP,% Miller:2013:CCF% }. \NAMECITE{computation}{% Hirahara:2018:CRC,% Milici:2020:DED% }. \NAMECITE{Computational}{% Brattka:2020:DSM,% Miasnikov:2017:CCC,% Sanders:2018:GHF% }. \NAMECITE{computations}{% Barmpalias:2018:PCM% }. \NAMECITE{concerning}{% Cholak:2020:SRC% }. \NAMECITE{cones}{% Astor:2019:DCU% }. \NAMECITE{Confluence}{% Ehrig:2013:CDR% }. \NAMECITE{conjugacy}{% Miasnikov:2017:CCC% }. \NAMECITE{Connected}{% Kihara:2012:ISC,% Gura:2015:ECC% }. \NAMECITE{conservative}{% Towsner:2015:MCE% }. \NAMECITE{Constant}{% Merkle:2012:CCR% }. \NAMECITE{constrained}{% Gonen:2017:CIC% }. \NAMECITE{constructive}{% Fujiwara:2021:WCR,% Nemoto:2020:CPD% }. \NAMECITE{Content}{% Brattka:2020:DSM% }. \NAMECITE{Continua}{% Kihara:2012:ISC% }. \NAMECITE{Continuity}{% Diener:2013:WKL% }. \NAMECITE{Continuous}{% Tucker:2014:COC% }. \NAMECITE{{Cooper}}{% Elwes:2018:BC,% Lowe:2016:BCE,% Lowe:2018:PSI% }. \NAMECITE{copies}{% McNicholl:2017:CC% }. \NAMECITE{copy}{% McNicholl:2019:IDC% }. \NAMECITE{Correspondence}{% Soler-Toscano:2013:CIN% }. \NAMECITE{countable}{% Miller:2019:ICC,% Shafer:2020:SCC% }. \NAMECITE{{Dagstuhl}}{% Brattka:2020:DSM% }. \NAMECITE{Data}{% Ehrig:2013:CDR,% Pocas:2018:ANF% }. \NAMECITE{Decidability}{% Ben-Amram:2015:MIP% }. \NAMECITE{definability}{% Lewis-Pye:2018:SND% }. \NAMECITE{definable}{% Milchior:2017:USE% }. \NAMECITE{Degree}{% Diamondstone:2013:NLD,% Carl:2016:RDT,% McNicholl:2019:IDC% }. \NAMECITE{Degrees}{% Bazhenov:2021:DBE,% Calvert:2014:TDI,% Csima:2020:DCA,% Franklin:2014:DLI,% Wright:2018:DRO,% Ambos-Spies:2018:ABR,% Chih:2019:STL,% Cooper:2018:SJI,% Dzhafarov:2020:RTP,% Franklin:2018:LID,% Ganchev:2018:JHE,% Hertling:2020:FDW,% Lewis-Pye:2018:SND,% Selivanov:2020:WDF% }. \NAMECITE{Dense}{% Astor:2019:DCU,% Nemoto:2020:CPD% }. \NAMECITE{density}{% Astor:2015:ADI,% Hirschfeldt:2016:ADC% }. \NAMECITE{Derivative}{% Hoyrup:2012:CRN% }. \NAMECITE{{Descartes}}{% Milici:2020:DED% }. \NAMECITE{describing}{% Hertling:2020:FDW% }. \NAMECITE{differentiable}{% Nemoto:2020:CPD% }. \NAMECITE{differential}{% Milici:2020:DED% }. \NAMECITE{Dimension}{% Agrawal:2017:DPE% }. \NAMECITE{Diminishable}{% Fernau:2020:DPP% }. \NAMECITE{Discrete}{% Tucker:2014:COC% }. \NAMECITE{Editorial}{% Brattka:2012:E,% Brattka:2016:E% }. \NAMECITE{Effective}{% Faber:2016:EOT,% Harrison-Trainor:2019:EAA% }. \NAMECITE{effectively}{% Johnston:2020:CBR% }. \NAMECITE{Efficient}{% Hitchcock:2012:LER% }. \NAMECITE{elements}{% Csima:2019:RMH% }. \NAMECITE{embeddable}{% Bazhenov:2021:DBE% }. \NAMECITE{engine}{% Lowe:2016:BCE% }. \NAMECITE{Enumerable}{% Cholak:2012:CEP,% Ambos-Spies:2018:ABR% }. \NAMECITE{enumeration}{% Ganchev:2018:JHE% }. \NAMECITE{Equivalence}{% Coskey:2012:HER,% Fokina:2019:MCR% }. \NAMECITE{equivalent}{% Davis:2020:CPE% }. \NAMECITE{{Ershov}}{% Cooper:2018:LEH% }. \NAMECITE{{{Europe}}}{% Lowe:2016:BCE% }. \NAMECITE{evaluation}{% Konecny:2021:RES% }. \NAMECITE{Evaluations}{% Soler-Toscano:2013:CIN% }. \NAMECITE{every}{% Lutz:2015:LME% }. \NAMECITE{exactly}{% Csima:2019:RMH% }. \NAMECITE{existence}{% Fujiwara:2021:WCR,% Gura:2015:ECC,% Nemoto:2020:CPD% }. \NAMECITE{expansions}{% Milchior:2017:USE% }. \NAMECITE{Expressiveness}{% Davidson:2018:EMM% }. \NAMECITE{extension}{% Milici:2020:DED% }. \NAMECITE{Extensions}{% Dorais:2013:RMA,% Towsner:2015:MCE% }. \NAMECITE{extraction}{% Agrawal:2017:DPE% }. \NAMECITE{Feasible}{% Beckmann:2019:FSF% }. \NAMECITE{feasibly}{% Konecny:2021:RES% }. \NAMECITE{{Fermat}}{% Miller:2013:CCF% }. \NAMECITE{Field}{% Dorais:2013:RMA% }. \NAMECITE{Fields}{% Miller:2013:CCF% }. \NAMECITE{Finite}{% Hirschfeldt:2012:FSI,% Backman:2018:TFF% }. \NAMECITE{Finitely}{% Jain:2018:FGS% }. \NAMECITE{first}{% Harrison-Trainor:2019:FOT% }. \NAMECITE{first-order}{% Harrison-Trainor:2019:FOT% }. \NAMECITE{{FO}}{% Milchior:2017:USE% }. \NAMECITE{forcing}{% Patey:2017:IFH% }. \NAMECITE{{Ford}}{% Backman:2018:TFF% }. \NAMECITE{Forests}{% Hertling:2020:FDW% }. \NAMECITE{forming}{% Gerdes:2020:RSF% }. \NAMECITE{foundational}{% Milici:2020:DED% }. \NAMECITE{free}{% Selivanov:2020:WDF% }. \NAMECITE{{Fulkerson}}{% Backman:2018:TFF% }. \NAMECITE{function}{% Pocas:2018:ANF% }. \NAMECITE{functional}{% Sanders:2018:GHF% }. \NAMECITE{Functions}{% Freer:2014:AAL,% Skordev:2013:SCN,% Beckmann:2019:FSF,% Ben-Amram:2015:MIP,% Goh:2020:CMF,% Harris:2015:LMM,% Hertling:2020:FDW,% Konecny:2021:RES,% Nemoto:2020:CPD% }. \NAMECITE{{Gandy}}{% Sanders:2018:GHF% }. \NAMECITE{Generalizations}{% Bazgan:2014:PIT% }. \NAMECITE{generated}{% Jain:2018:FGS% }. \NAMECITE{Generator}{% Abbott:2012:NNQ% }. \NAMECITE{generic}{% Carl:2017:ITR% }. \NAMECITE{genericity}{% Franklin:2018:LID% }. \NAMECITE{Geometric}{% Calvert:2014:TDI% }. \NAMECITE{{G{\"o}del}}{% Normann:2016:CBR% }. \NAMECITE{Graph}{% Ehrig:2013:CDR,% Gura:2015:ECC% }. \NAMECITE{groups}{% Jain:2018:FGS% }. \NAMECITE{halting}{% Calude:2018:PAA,% Calude:2020:SAA% }. \NAMECITE{hardness}{% Golovach:2019:SCN% }. \NAMECITE{Hierarchy}{% Carson:2013:AHS,% Coskey:2012:HER,% Cooper:2018:LEH,% Ganchev:2018:JHE,% Schroder:2015:HHQ% }. \NAMECITE{High}{% Seki:2013:BTA% }. \NAMECITE{higher}{% Basu:2016:MPI% }. \NAMECITE{higher-order}{% Basu:2016:MPI% }. \NAMECITE{{Hindman}}{% Carlucci:2020:NBS,% Csima:2019:RMH% }. \NAMECITE{{Hyland}}{% Sanders:2018:GHF% }. \NAMECITE{hyperimmunity}{% Patey:2017:IFH% }. \NAMECITE{Hyperprojective}{% Schroder:2015:HHQ% }. \NAMECITE{{II}}{% Kristiansen:2019:SRI% }. \NAMECITE{immunity}{% Astor:2015:ADI,% Patey:2018:POI% }. \NAMECITE{Implies}{% Diener:2013:WKL% }. \NAMECITE{Inapproximability}{% Bazgan:2014:PIT% }. \NAMECITE{incentive}{% Gonen:2017:CIC% }. \NAMECITE{Incompleteness}{% Morphett:2012:IAR% }. \NAMECITE{Incomputability}{% Kihara:2012:ISC% }. \NAMECITE{Independence}{% Soler-Toscano:2013:CIN% }. \NAMECITE{Index}{% Anonymous:2012:AIV,% Anonymous:2013:AIV,% Anonymous:2014:AIV,% Anonymous:2016:AIV,% Anonymous:2017:AIV% }. \NAMECITE{induction}{% Davis:2020:CPE% }. \NAMECITE{Infinite}{% Carl:2017:ITR,% Carl:2016:RDT% }. \NAMECITE{Information}{% Hirschfeldt:2012:FSI,% Soler-Toscano:2013:CIN,% Dzhafarov:2017:NRI% }. \NAMECITE{integer}{% Herbert:2016:LIV% }. \NAMECITE{integer-valued}{% Herbert:2016:LIV% }. \NAMECITE{integers}{% Ben-Amram:2015:MIP% }. \NAMECITE{intersection}{% Iljazovic:2018:CIP% }. \NAMECITE{intuitionistic}{% Basu:2016:MPI% }. \NAMECITE{invariants}{% Greenberg:2019:CIN% }. \NAMECITE{inversion}{% Cooper:2018:SJI% }. \NAMECITE{irrational}{% Kristiansen:2017:SRI,% Kristiansen:2019:SRI% }. \NAMECITE{isometry}{% McNicholl:2019:IDC% }. \NAMECITE{Isomorphism}{% Calvert:2014:TDI,% Franklin:2014:DLI,% Harkins:2014:SRI,% Miller:2019:ICC,% Franklin:2018:LID% }. \NAMECITE{issue}{% Brattka:2019:PSI,% Lowe:2018:PSI% }. \NAMECITE{iterated}{% Ben-Amram:2015:MIP% }. \NAMECITE{iteration}{% Longley:2019:BRC% }. \NAMECITE{Iterative}{% Patey:2017:IFH% }. \NAMECITE{{Ivan}}{% Nikolova:2014:STI% }. \NAMECITE{Joins}{% Andrews:2019:JMS% }. \NAMECITE{jump}{% Carl:2017:ITR,% Cooper:2018:SJI,% Ganchev:2018:JHE% }. \NAMECITE{{Kalimullin}}{% Cai:2016:KP% }. \NAMECITE{Kernelization}{% Ehrig:2013:CDR,% Fernau:2020:DPP% }. \NAMECITE{{Kolmogorov}}{% Hirahara:2018:CRC,% Hitchcock:2012:LER% }. \NAMECITE{{K{\"o}nig}}{% Diener:2013:WKL% }. \NAMECITE{Large}{% Diamondstone:2013:NLD% }. \NAMECITE{{Last}}{% Miller:2013:CCF% }. \NAMECITE{lattice}{% Gherardi:2019:POW% }. \NAMECITE{Layerwise}{% Miyabe:2013:CLC% }. \NAMECITE{Leaf}{% Hirst:2020:LM% }. \NAMECITE{{Lemma}}{% Diener:2013:WKL% }. \NAMECITE{limit}{% Csima:2020:DCA% }. \NAMECITE{Limitations}{% Hitchcock:2012:LER% }. \NAMECITE{limitwise}{% Harris:2015:LMM% }. \NAMECITE{linear}{% Shafer:2020:SCC% }. \NAMECITE{Linearisations}{% Cooper:2018:LEH% }. \NAMECITE{Lines}{% Lutz:2015:LME% }. \NAMECITE{{Lipschitz}}{% Freer:2014:AAL% }. \NAMECITE{{L{\"o}f}}{% Barmpalias:2018:PCM% }. \NAMECITE{logic}{% Basu:2016:MPI% }. \NAMECITE{Lossiness}{% Ibarra:2017:LCC% }. \NAMECITE{Low}{% Franklin:2014:DLI,% Chih:2019:STL% }. \NAMECITE{Lowness}{% Franklin:2018:LID,% Herbert:2016:LIV,% Greenberg:2019:CIN% }. \NAMECITE{Machines}{% Schlicht:2012:TRO,% Carl:2016:RDT,% Davidson:2018:EMM% }. \NAMECITE{management}{% Hirst:2020:LM% }. \NAMECITE{{Martin}}{% Barmpalias:2018:PCM,% Holzl:2016:MPT% }. \NAMECITE{{Martin-L{\"o}f}}{% Barmpalias:2018:PCM% }. \NAMECITE{Mass}{% Basu:2016:MPI% }. \NAMECITE{Mathematics}{% Dorais:2013:RMA,% Csima:2019:RMH,% Frittaion:2017:CRR,% Kohlenbach:2019:RMW,% Patey:2015:CSP,% Patey:2017:IFH,% Patey:2018:POI,% Sanders:2021:NRM% }. \NAMECITE{maximal}{% Harris:2015:LMM% }. \NAMECITE{maximum}{% Towsner:2015:MCE% }. \NAMECITE{meanings}{% Davidson:2018:EMM% }. \NAMECITE{Measures}{% Soler-Toscano:2013:CIN% }. \NAMECITE{Measuring}{% Brattka:2020:DSM,% Fokina:2019:MCR% }. \NAMECITE{mechanisms}{% Gonen:2017:CIC% }. \NAMECITE{meets}{% Andrews:2019:JMS% }. \NAMECITE{memory}{% Lowe:2018:PSI% }. \NAMECITE{minimal}{% Astor:2019:DCU,% Gerdes:2020:RSF% }. \NAMECITE{missing}{% Lutz:2015:LME% }. \NAMECITE{modeled}{% Ibarra:2017:LCC% }. \NAMECITE{moduli}{% Kohlenbach:2019:RMW% }. \NAMECITE{monadic}{% Speranski:2015:SNR% }. \NAMECITE{monotonicity}{% Harris:2015:LMM% }. \NAMECITE{Mortality}{% Ben-Amram:2015:MIP% }. \NAMECITE{multivalued}{% Goh:2020:CMF% }. \NAMECITE{Natural}{% Coskey:2012:HER,% Diamondstone:2013:NLD,% Lewis-Pye:2018:SND% }. \NAMECITE{Nets}{% Sanders:2021:NRM% }. \NAMECITE{network}{% Backman:2018:TFF% }. \NAMECITE{networks}{% Pocas:2018:ANF% }. \NAMECITE{{Neumann}}{% Abbott:2012:NNQ% }. \NAMECITE{{Nikodym}}{% Hoyrup:2012:CRN% }. \NAMECITE{non}{% Greenberg:2019:CIN% }. \NAMECITE{non-lowness}{% Greenberg:2019:CIN% }. \NAMECITE{nonstandard}{% Sanders:2018:GHF% }. \NAMECITE{Normalisation}{% Abbott:2012:NNQ% }. \NAMECITE{Notions}{% Armstrong:2019:NST,% Dzhafarov:2017:NRI,% Skordev:2013:SCN% }. \NAMECITE{nowhere}{% Nemoto:2020:CPD% }. \NAMECITE{nowhere-differentiable}{% Nemoto:2020:CPD% }. \NAMECITE{Number}{% Abbott:2012:NNQ% }. \NAMECITE{Numbers}{% Coskey:2012:HER,% Kristiansen:2017:SRI,% Kristiansen:2019:SRI% }. \NAMECITE{Numerical}{% Soler-Toscano:2013:CIN% }. \NAMECITE{{Oberwolfach}}{% Brattka:2019:PSI% }. \NAMECITE{Objects}{% Calvert:2014:TDI% }. \NAMECITE{operations}{% Faber:2016:EOT% }. \NAMECITE{operator}{% Carl:2017:ITR% }. \NAMECITE{Operators}{% Tucker:2014:COC,% Gherardi:2019:POW% }. \NAMECITE{optimal}{% Gonen:2017:CIC% }. \NAMECITE{oracles}{% Carl:2017:ITR% }. \NAMECITE{order}{% Basu:2016:MPI,% Harrison-Trainor:2019:FOT,% Speranski:2015:SNR% }. \NAMECITE{Orders}{% Cholak:2012:CEP,% Patey:2018:POI,% Shafer:2020:SCC% }. \NAMECITE{Ordinal}{% Schlicht:2012:TRO,% Huschenbett:2017:POA% }. \NAMECITE{ordinal-automatic}{% Huschenbett:2017:POA% }. \NAMECITE{ordinals}{% Csima:2020:DCA,% Wright:2018:DRO% }. \NAMECITE{Overt}{% deBrecht:2020:OC% }. \NAMECITE{pair}{% Gerdes:2020:RSF% }. \NAMECITE{pairs}{% Astor:2019:DCU,% Cai:2016:KP% }. \NAMECITE{Parameterized}{% Bazgan:2014:PIT,% Fernau:2020:DPP% }. \NAMECITE{{Pareto}}{% Gonen:2017:CIC% }. \NAMECITE{part}{% Kristiansen:2019:SRI% }. \NAMECITE{Partial}{% Cholak:2012:CEP,% Patey:2018:POI% }. \NAMECITE{{PCAs}}{% Faber:2016:EOT% }. \NAMECITE{piecewise}{% Ben-Amram:2015:MIP% }. \NAMECITE{plain}{% Hirahara:2018:CRC% }. \NAMECITE{Planar}{% Kihara:2012:ISC% }. \NAMECITE{players}{% Gonen:2017:CIC% }. \NAMECITE{point}{% Lutz:2015:LME% }. \NAMECITE{Pointed}{% Barmpalias:2018:PCM,% Holzl:2016:MPT% }. \NAMECITE{points}{% Iljazovic:2018:CIP% }. \NAMECITE{polynomial}{% Fernau:2020:DPP% }. \NAMECITE{Preface}{% Brattka:2019:PSI,% Lowe:2018:PSI% }. \NAMECITE{principles}{% Davis:2020:CPE% }. \NAMECITE{probabilistic}{% Calude:2018:PAA% }. \NAMECITE{problem}{% Calude:2018:PAA,% Cholak:2020:SRC,% Miasnikov:2017:CCC,% Calude:2020:SAA% }. \NAMECITE{problems}{% Basu:2016:MPI,% Fernau:2020:DPP,% Patey:2015:CSP% }. \NAMECITE{problems1}{% Muchnik:2016:SWR% }. \NAMECITE{products}{% Dzhafarov:2020:RTP% }. \NAMECITE{Projection}{% Gherardi:2019:POW% }. \NAMECITE{proof}{% Nemoto:2020:CPD% }. \NAMECITE{pseudorandomness}{% Agrawal:2017:DPE% }. \NAMECITE{Pumping}{% Huschenbett:2017:POA% }. \NAMECITE{qcb}{% Schroder:2015:HHQ,% deBrecht:2016:BCC% }. \NAMECITE{Quantum}{% Abbott:2012:NNQ% }. \NAMECITE{{Radon}}{% Hoyrup:2012:CRN% }. \NAMECITE{{Ramsey}}{% Dzhafarov:2020:RTP% }. \NAMECITE{Random}{% Abbott:2012:NNQ,% Hitchcock:2012:LER,% Merkle:2012:CCR,% Ng:2014:CRS,% Harrison-Trainor:2019:EAA,% Lutz:2015:LME% }. \NAMECITE{randomized}{% Hirahara:2018:CRC% }. \NAMECITE{Randomness}{% Carl:2016:RDT,% Morphett:2012:IAR,% Astor:2015:ADI,% Barmpalias:2018:PCM,% Herbert:2016:LIV% }. \NAMECITE{rank}{% Normann:2016:CBR% }. \NAMECITE{ranks}{% Johnston:2020:CBR% }. \NAMECITE{rationals}{% Frittaion:2017:CRR% }. \NAMECITE{{REA}}{% Gerdes:2020:RSF% }. \NAMECITE{Real}{% Skordev:2013:SCN% }. \NAMECITE{reals}{% Armstrong:2019:NST% }. \NAMECITE{recognizability}{% Carl:2017:ITR% }. \NAMECITE{recognizable}{% Carl:2017:ITR% }. \NAMECITE{recursion}{% Johnston:2020:CBR,% Longley:2019:BRC% }. \NAMECITE{Recursive}{% Ng:2014:CRS% }. \NAMECITE{recursively}{% Ambos-Spies:2018:ABR% }. \NAMECITE{Reducibility}{% Coskey:2012:HER,% Hitchcock:2012:LER,% Miyabe:2013:CLC,% Fujiwara:2021:WCR,% Greenberg:2019:CIN,% Muchnik:2016:SWR% }. \NAMECITE{Reduction}{% Ehrig:2013:CDR% }. \NAMECITE{Reductions}{% Harkins:2014:SRI,% Fokina:2019:MCR% }. \NAMECITE{register}{% Carl:2016:RDT% }. \NAMECITE{regularity}{% Kohlenbach:2019:RMW% }. \NAMECITE{Relations}{% Coskey:2012:HER,% Fokina:2019:MCR,% Hertling:2020:FDW,% Wright:2018:DRO% }. \NAMECITE{Relative}{% Morphett:2012:IAR% }. \NAMECITE{representability}{% Kristiansen:2017:SRI,% Kristiansen:2019:SRI% }. \NAMECITE{Representations}{% Konecny:2021:RES,% Schlicht:2012:TRO% }. \NAMECITE{represented}{% Pauly:2016:TAT% }. \NAMECITE{restrictions}{% Carlucci:2020:NBS% }. \NAMECITE{results}{% Cholak:2020:SRC,% Golovach:2019:SCN,% Speranski:2015:SNR% }. \NAMECITE{Reverse}{% Dorais:2013:RMA,% Csima:2019:RMH,% Frittaion:2017:CRR,% Kohlenbach:2019:RMW,% Patey:2015:CSP,% Patey:2017:IFH,% Patey:2018:POI,% Sanders:2021:NRM% }. \NAMECITE{robust}{% Dzhafarov:2017:NRI% }. \NAMECITE{{S.}}{% Elwes:2018:BC,% Lowe:2018:PSI% }. \NAMECITE{satisfaction}{% Patey:2015:CSP% }. \NAMECITE{satisfiability}{% Milchior:2017:USE% }. \NAMECITE{search}{% Lewis-Pye:2018:SND% }. \NAMECITE{searchable}{% Normann:2016:CBR% }. \NAMECITE{second}{% Speranski:2015:SNR% }. \NAMECITE{second-order}{% Speranski:2015:SNR% }. \NAMECITE{Selection}{% Bazgan:2014:PIT% }. \NAMECITE{Self}{% Hirschfeldt:2012:FSI% }. \NAMECITE{Self-Information}{% Hirschfeldt:2012:FSI% }. \NAMECITE{semiautomatic}{% Jain:2018:FGS% }. \NAMECITE{semicomputability}{% Armstrong:2019:NST% }. \NAMECITE{Seminar}{% Brattka:2020:DSM% }. \NAMECITE{Set}{% Bazgan:2014:PIT,% Beckmann:2019:FSF,% Gerdes:2020:RSF,% Milchior:2017:USE,% Normann:2016:CBR% }. \NAMECITE{Sets}{% Harkins:2014:SRI,% Ng:2014:CRS,% Johnston:2020:CBR% }. \NAMECITE{Setting}{% Carson:2013:AHS% }. \NAMECITE{Shared}{% Nikolova:2014:STI% }. \NAMECITE{Simply}{% Kihara:2012:ISC% }. \NAMECITE{small}{% Beckmann:2019:FSF% }. \NAMECITE{{Solovay}}{% Miyabe:2013:CLC% }. \NAMECITE{Some}{% Cholak:2020:SRC,% Skordev:2013:SCN,% Speranski:2015:SNR,% Carlucci:2020:NBS% }. \NAMECITE{Soskov}{% Nikolova:2014:STI% }. \NAMECITE{spaces}{% Pauly:2016:TAT,% Schroder:2015:HHQ% }. \NAMECITE{spaces1}{% deBrecht:2016:BCC% }. \NAMECITE{special}{% Brattka:2019:PSI,% Lowe:2018:PSI% }. \NAMECITE{Spectra}{% Diamondstone:2013:NLD% }. \NAMECITE{Splitting}{% Chih:2019:STL,% Cooper:2018:SJI% }. \NAMECITE{Splittings}{% Ng:2014:CRS% }. \NAMECITE{{SRT22}}{% Cholak:2020:SRC% }. \NAMECITE{statements}{% Fujiwara:2021:WCR% }. \NAMECITE{statistical}{% Calude:2020:SAA% }. \NAMECITE{strategies}{% Konecny:2021:RES% }. \NAMECITE{Streams}{% Tucker:2014:COC,% Pocas:2018:ANF% }. \NAMECITE{Strength}{% Kreuzer:2012:SWC,% Carlucci:2020:NBS,% Shafer:2020:SCC% }. \NAMECITE{strict}{% Fernau:2020:DPP% }. \NAMECITE{Strings}{% Hitchcock:2012:LER% }. \NAMECITE{Strong}{% Harkins:2014:SRI,% Muchnik:2016:SWR% }. \NAMECITE{structure}{% Andrews:2019:JMS% }. \NAMECITE{structures}{% Adams:2017:CCW,% Harrison-Trainor:2019:EAA,% Huschenbett:2017:POA,% Miller:2019:ICC,% Selivanov:2020:WDF% }. \NAMECITE{subrecursive}{% Kristiansen:2017:SRI,% Kristiansen:2019:SRI% }. \NAMECITE{sufficiently}{% Gonen:2017:CIC% }. \NAMECITE{sums}{% Csima:2019:RMH% }. \NAMECITE{Surjective}{% Golovach:2019:SCN% }. \NAMECITE{symbolic}{% Milici:2020:DED% }. \NAMECITE{System}{% Seki:2013:BTA% }. \NAMECITE{Target}{% Bazgan:2014:PIT% }. \NAMECITE{Temperatures}{% Seki:2013:BTA% }. \NAMECITE{theorem}{% Dzhafarov:2020:RTP,% Holzl:2016:MPT,% Carlucci:2020:NBS,% Csima:2019:RMH,% Diener:2013:WKL,% Miller:2013:CCF% }. \NAMECITE{theorems}{% Chih:2019:STL% }. \NAMECITE{Theory}{% Brattka:2019:PSI,% Carl:2016:RDT,% Harrison-Trainor:2019:FOT,% Johnston:2020:CBR,% Pauly:2016:TAT% }. \NAMECITE{thoughts}{% Nikolova:2014:STI% }. \NAMECITE{Tile}{% Seki:2013:BTA% }. \NAMECITE{Time}{% Tucker:2014:COC,% Carl:2016:RDT,% Carl:2017:ITR% }. \NAMECITE{topological}{% Armstrong:2019:NST,% Hertling:2020:FDW,% Pauly:2016:TAT% }. \NAMECITE{transducers}{% Ibarra:2017:LCC% }. \NAMECITE{Transfinite}{% Backman:2018:TFF% }. \NAMECITE{Transformation}{% Ehrig:2013:CDR% }. \NAMECITE{Tree}{% Schlicht:2012:TRO,% Holzl:2016:MPT% }. \NAMECITE{{Turing}}{% Calvert:2014:TDI,% Cooper:2018:SJI,% Lewis-Pye:2018:SND% }. \NAMECITE{Two}{% Gonen:2017:CIC,% Csima:2019:RMH% }. \NAMECITE{type}{% Faber:2016:EOT,% Harrison-Trainor:2019:FOT% }. \NAMECITE{Types}{% Calvert:2014:TDI% }. \NAMECITE{{Ulm}}{% Harrison-Trainor:2019:FOT% }. \NAMECITE{ultrahomogeneous}{% Adams:2017:CCW% }. \NAMECITE{Undecidability}{% Milchior:2017:USE% }. \NAMECITE{{Uniform}}{% Diener:2013:WKL% }. \NAMECITE{uniqueness}{% Kohlenbach:2019:RMW% }. \NAMECITE{upper}{% Astor:2019:DCU% }. \NAMECITE{using}{% Hirahara:2018:CRC% }. \NAMECITE{valued}{% Herbert:2016:LIV% }. \NAMECITE{via}{% Longley:2019:BRC,% Miller:2013:CCF,% Schlicht:2012:TRO% }. \NAMECITE{Volume}{% Anonymous:2012:AIV,% Anonymous:2013:AIV,% Anonymous:2014:AIV,% Anonymous:2016:AIV,% Anonymous:2017:AIV% }. \NAMECITE{vs}{% Cholak:2020:SRC% }. \NAMECITE{{Wadge}}{% Hertling:2020:FDW,% Selivanov:2020:WDF% }. \NAMECITE{Weak}{% Diener:2013:WKL,% Kreuzer:2012:SWC,% Davis:2020:CPE,% Muchnik:2016:SWR% }. \NAMECITE{weakly}{% Adams:2017:CCW% }. \NAMECITE{Weights}{% Merkle:2012:CCR% }. \NAMECITE{{Weihrauch}}{% Dzhafarov:2020:RTP,% Fujiwara:2021:WCR,% Gherardi:2019:POW,% Greenberg:2019:CIN,% Hertling:2020:FDW,% Kohlenbach:2019:RMW% }. \NAMECITE{words}{% Milchior:2017:USE% }. \NAMECITE{Workshop}{% Brattka:2019:PSI% }.