A

Aaronson LX, Hnr Scott (2011) Why Philosophers Should Care About Computational Complexity. [Preprint]

Afriat, Alexander (2008) How Weyl stumbled across electricity while pursuing mathematical justice. [Preprint]

Afriat, Alexander (2012) Logic of gauge. [Preprint]

Afriat, Alexander (2007) A priori prejudice in Weyl's unintended unification of gravitation and electricity. [Preprint]

Afriat, Alexander (2007) A priori prejudice in Weyl's unintended unification of gravitation and electricity. [Preprint]

Andrei , Rodin (2012) Axiomatic Method and Category Theory. [Preprint]

Andréka, Hajnal and Madarász X., Judit and Németi, István and Székely, Gergely (2008) Axiomatizing relativistic dynamics without conservation postulates. [Preprint]

Avon, Mauro (2013) A different approach to logic. [Preprint]

Awodey, Steve (2000) Continuity and logical completeness: an application of sheaf theory and topoi. [Preprint]

Awodey, Steve and Reck, Erich H. (2002) Completeness and Categoricity, Part I: 19th Century Axiomatics to 20th Century Metalogic. [Preprint]

Awodey, Steve and Reck, Erich H. (2002) Completeness and Categoricty, Part II: 20th Century Metalogic to 21st Century Semantics. [Preprint]

B

Barany, Michael (2009) Computer experiments in harmonic analysis. In: UNSPECIFIED.

Barrett, Thomas William and Halvorson, Hans (2016) From Geometry to Conceptual Relativity. [Preprint]

Barrett, Thomas William and Halvorson, Hans (2015) Morita Equivalence. [Preprint]

Barrett, Thomas William and Halvorson, Hans (2015) Quine's Conjecture on Many-Sorted Logic. [Preprint]

Barrett, Thomas William and Halvorson, Hans (2015) Glymour and Quine on Theoretical Equivalence. [Preprint]

Bartlett, Steven James (2015) THE SPECIES PROBLEM AND ITS LOGIC: Inescapable Ambiguity and Framework-relativity. [Preprint]

Batterman, Robert (2008) On the Explanatory Role of Mathematics in Empirical Science. [Preprint]

Batterman, Robert (2006) On the Specialness of Special Functions (The Nonrandom Effusions of the Divine Mathematician). [Preprint]

Batterman, Robert W. (2011) The Tyranny of Scales. [Preprint]

Bernd, Binder (2002) Soliton Coupling Driven by Phase Fluctuations in Auto-Parametric Resonance. [Preprint]

Besnard, Fabien (2010) Time of Philosophers, Time of Physicists, Time of Mathematicians. [Preprint]

Binder, Bernd (2002) Charge as the Stereographic Projection of Geometric Precession on Pseudospheres. [Preprint]

Binder, Bernd (2001) Higher-Dimensional Solitons Stabilized by Opposite Charge. [Preprint]

Binder, Bernd (2002) Spacetime Memory: Phase-Locked Geometric Phases. [Preprint]

Binder, Bernd (2002) Topological Phase Fields, Baecklund Transformations, and Fine Structure. [Preprint]

Butterfield, Jeremy (2005) Against Pointillisme about Geometry. [Preprint]

Butterfield, Jeremy (2005) Against Pointillisme about Mechanics. [Preprint]

Butterfield, Jeremy (2014) Our Mathematical Universe? The Mathematics Millennium Project (U.K.), Cambridge, U.K..

Butterfield, Jeremy (2000) Topos Theory as a Framework for Partial Truth. [Preprint]

C

Caspers, Martijn and Heunen, Chris and Landsman, Nicolaas P. and Spitters, Bas (2009) Intuitionistic quantum logic of an n-level system. [Preprint]

Catren, Gabriel and Page, Julien (2013) On the notion of indiscernibility in the light of Galois-Grothendieck Theory. [Preprint]

Cinà, Giovanni (2013) On the connection between the categorical and the modal logic approaches to Quantum Mechanics. ILLC.

Clarke, Christopher (2014) Multi-Level Selection and the Explanatory Value of Mathematical Decompositions. [Preprint]

Clarke, Christopher (2014) Multi-Level Selection and the Explanatory Value of Mathematical Decompositions. [Preprint]

Corfield, David (2005) Reflections on Michael Friedman's Dynamics of Reason. [Preprint]

Corfield, David Neil (2004) Categorification as a Heuristic Device. [Preprint]

Corfield, David Neil (2004) Categorification as a Heuristic Device. [Preprint]

Corfield, David Neil (2016) Expressing ‘The Structure of’ in Homotopy Type Theory. [Preprint]

Corfield, David Neil (2010) Lautman and the Reality of Mathematics. [Preprint]

Corfield, David Neil (2004) Mathematical Kinds, or Being Kind to Mathematics. [Preprint]

Corfield, David Neil (2015) Reviving the Philosophy of Geometry. [Preprint]

Corfield, David Neil (2016) The vertical unity of concepts in mathematics through the lens of homotopy type theory. [Preprint]

Csatári, Ferenc (2011) Some Remarks on the Physicalist Account of Mathematics. [Preprint]

Curiel, Erik (2014) Measure, Topology and Probabilistic Reasoning in Cosmology. [Preprint]

Curiel, Erik (2015) On the Existence of Spacetime Structure. [Preprint]

Curiel, Erik (2014) On the Existence of Spacetime Structure. [Preprint]

D

Davey, Kevin (2001) Is Mathematical Rigor Necessary In Physics? [Preprint]

Davies, E Brian (2004) A Defence of Mathematical Pluralism. [Preprint]

Davies, E Brian (2006) Epistemological Pluralism. [Preprint]

Davies, E Brian (2006) Scientific Understanding. [Preprint]

Domenech, Graciela and Holik, Federico (2007) A discussion on particle number and quantum indistinguishability. [Preprint]

Donald, Matthew J. (2003) Finitary and Infinitary Mathematics, the Possibility of Possibilities and the Definition of Probabilities. [Preprint]

Durham, Ian (2005) Quantum Puzzles in the Metaworld of Heisenberg, Clauser, and Horne. [Preprint]

Dynneson, Andrew and Alvarez, Aaron (2016) Infinitesimal Calculus as an Epistemic Mediator: A commentary on the use of Squares in Elementary Statistical Theory. [Preprint]

da Costa, Newton C. A. and Krause, Décio (2007) Logical and Philosophical Remarks on Quasi-Set Theory. [Preprint]

de Ronde, Christian and Freytes, Hector and Domenech, Graciela (2014) Quantum mechanics and the interpretation of the orthomodular square of opposition. [Preprint]

E

E. Szabó, László (2003) Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth. [Preprint]

E. Szabó, László (2007) Objective probability-like things with and without objective indeterminism. [Preprint]

Ellerman, David (2009) Counting Distinctions: On the Conceptual Foundations of Shannon's Information Theory. [Published Article or Volume]

Ellerman, David (2013) An Introduction to Logical Entropy and its Relation to Shannon Entropy. [Preprint]

Ellerman, David (2013) An Introduction to Partition Logic. [Published Article or Volume]

Ellerman, David (2010) The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. [Published Article or Volume]

Ellerman, David (2015) On Adjoint and Brain Functors (preprint from Axiomathes). [Preprint]

Ellerman, David (2014) On Concrete Universals: A Modern Treatment using Category Theory. [Preprint]

Ellerman, David (2014) Partitions and Objective Indefiniteness in Quantum Mechanics. [Preprint]

F

Fahmi, Marco (2008) MATHEMATICAL MODELS IN SCIENCE: A DEBATE ABOUT ONTOLOGY. In: UNSPECIFIED.

Fahmi, Marco (2007) The Ontological Commitments of Mathematical Models. In: UNSPECIFIED.

Fazio, Rodolfo E. (2016) Leibniz’s Critique of Infinite Numbers and its Impact in his Metaphysics of Bodies. [Published Article or Volume]

Frans, Joachim and Kosolosky, Laszlo (2014) Revisiting the reliability of published mathematical proofs: where do we go next? [Published Article or Volume]

Frapolli, Maria J. (2015) Non-Representational Mathematical Realism. [Published Article or Volume]

Freytes, Hector and de Ronde, Christian and Domenech, Graciela (2012) The square of opposition in orthomodular logic. [Published Article or Volume]

Friederich, S. (2011) Motivating Wittgenstein's perspective on mathematical sentences as norms. [Published Article or Volume]

Friederich, S. (2010) Structuralism and meta-mathematics. [Published Article or Volume]

Frigg, Roman and Werndl, Charlotte (2011) Entropy - A Guide for the Perplexed. [Preprint]

G

Giovanelli, Marco (2013) Collision of Traditions. The Emergence of Logical Empiricism Between the Riemannian and Helmholtzian Traditions. [Preprint]

Giovanelli, Marco (2012) The Forgotten Tradition. How the Logical Empiricists missed the Philosophical Significance of the work of Riemann, Christoffel and Ricci. [Published Article or Volume]

Giovanelli, Marco (2015) Hermann Cohen’s Das Princip der Infinitesimal-Methode: The History of an Unsuccessful Book. UNSPECIFIED.

Guay, Alexandre and Hepburn, Brian (2008) Symmetry and its Formalisms: Mathematical aspects. [Preprint]

Gwiazda, Jeremy (2015) The Future of the Concept of Infinite Number. [Preprint]

Gwiazda, Jeremy A Potential Problem for Alpha-Theory. None.

Gwiazda, Jeremy (2010) Probability, Hyperreals, Asymptotic Density, and God’s Lottery. UNSPECIFIED.

Gwiazda, Jeremy (2013) Two concepts of completing an infinite number of tasks. [Preprint]

Gwiazda, Jeremy (2008) The probability of an infinite sequence of heads. [Preprint]

Gómez-Torrente, Mario (2015) On the Essence and Identity of Numbers. [Published Article or Volume]

H

Hellman, Geoffrey and Shapiro, Stewart (2012) The Classical Continuum without Points. In: UNSPECIFIED.

Hodesdon, Kate (2013) Mathematical Representation: Playing a Role. [Preprint]

Hoffman, Sarah (2006) You Can’t Mean That: Yablo’s Figuralist Account of Mathematics. In: UNSPECIFIED.

I

Iurato, Giuseppe (2014) On some historical aspects of the theory of Riemann zeta function. [Preprint]

Iurato, Giuseppe (2012) On the role played by the work of Ulisse Dini on implicit function theory in the modern differential geometry foundations: the case of the structure of a differentiable manifold, 1. [Preprint]

J

Judit, X. Madárasz and István, Németi and Gergely, Székely (2005) Twin Paradox and the Logical Foundation of Relativity Theory. [Preprint]

Justus, James (2006) Ecological and Lyapunov Stability. In: UNSPECIFIED.

K

Krause, Decio and Feitosa, Hercules de Araujo (2008) Algebraic aspects of quantum indiscernibility. [Preprint]

Krause, Décio (2004) The Mathematics of Non-Individuality. [Preprint]

Krause, Décio and Arenhart, Jonas R. B. and da Costa, Newton C. A. (2015) Ontology and the mathematization of the scientific enterprise. [Preprint]

Kritchman, Shira and Raz, Ran (2010) The Surprise Examination Paradox and the Second Incompleteness Theorem. [Published Article or Volume]

Kryukov, Alexey (2001) Coordinate formalism on Hilbert manifolds. [Preprint]

Kryukov, Alexey (2001) Coordinate formalism on abstract Hilbert space. [Preprint]

L

Ladyman, James and Presnell, Stuart (2014) Does Homotopy Type Theory Provide a Foundation for Mathematics? [Preprint]

Ladyman, James and Presnell, Stuart (2014) Identity in HoTT, Part I. [Preprint]

Lam, Vincent (2014) Entities without intrinsic physical identity. [Preprint]

Landry, Elaine (2009) Reconstructing Hilbert to Construct Category Theoretic Structuralism. In: UNSPECIFIED.

Laurenz, Hudetz (2015) Linear structures, causal sets and topology. [Preprint]

Leon, Antonio (2008) Criticism of Benacerraf's criticism of modern eleatics. [Preprint]

Leon, Antonio (2006) Hilbert's machine and the Axiom of Infinity. [Preprint]

Leon, Antonio (2010) On bifurcated supertasks and related questions. [Preprint]

Linnebo, Øystein and Pettigrew, Richard (2010) Only up to isomorphism? Category Theory and the Foundations of Mathematics. [Preprint]

Lisker, Roy (1998) Weakly Infinite Cardinals. [Preprint] (Unpublished)

Liston, Michael (2009) On Tins and Tin-openers. In: UNSPECIFIED.

Liu, Yang (2010) On Completeness of the First-order System in the Begriffsschrift. [Preprint]

Lutz, Sebastian Criteria of Empirical Significance: Foundations, Relations, Applications. Zeno Institute of Philosophy, Utrecht University.

Lynds, Peter (2003) Zeno's Paradoxes: A Timely Solution. [Preprint] (Unpublished)

M

Magal, Oran (2013) On the mathematical nature of logic, featuring P. Bernays and K. Gödel. In: UNSPECIFIED.

Marcus, Russell (2007) Intrinsic Explanation and Field's Dispensabilist Strategy. In: UNSPECIFIED.

Marcus, Russell (2015) The Eleatic and the Indispensabilist. [Published Article or Volume]

McCabe, Gordon (2004) Does an elementary particle have a unique intrinsic state? [Preprint]

McCabe, Gordon (2008) The Duality of the Universe. [Preprint]

McCabe, Gordon (2005) Explanation and discovery in aerodynamics. [Preprint]

McCabe, Gordon (2006) Extending cosmological natural selection. [Preprint]

McCabe, Gordon (2007) How to create a universe. [Preprint]

McCabe, Gordon (2007) Joining inner space to outer space. [Preprint]

McCabe, Gordon (2007) Mathematics and explanation in astronomy and astrophysics. [Preprint]

McCabe, Gordon (2005) Possible physical universes. UNSPECIFIED.

McCabe, Gordon (2005) The Standard Model of particle physics in other universes. [Preprint]

McCabe, Gordon (2006) Structural realism and the mind. UNSPECIFIED. (Unpublished)

McCabe, Gordon (2003) The Structure and Interpretation of Cosmology. [Preprint]

McCabe, Gordon (2005) The Topology of Branching Universes. [Preprint]

McCabe, Gordon (2004) Universe creation on a computer. [Preprint]

McCabe, Gordon (2004) What is an elementary particle in the first-quantized Standard Model? [Preprint]

McCabe, Gordon (2009) The non-unique Universe. [Preprint]

McCabe, Gordon (2010) The non-unique Universe. [Preprint]

Molinini, Daniele (2014) Deductive Nomological Model and Mathematics: Making Dissatisfaction more Satisfactory. [Published Article or Volume]

Molnár, Attila and Székely, Gergely (2013) Axiomatizing Relativistic Dynamics using Formal Thought Experiments. In: UNSPECIFIED.

Mosterin, Jesus (2004) How Set Theory Impinges on Logic. UNSPECIFIED.

Muller, F.A. (2011) Cantor-Von Neumann Set-Theory. [Published Article or Volume]

Muller, F.A. (2012) Circular Discernment in Completely Extensive Structures and How to Avoid such Circles Generally. [Preprint]

Muller, F.A. (2003) Deflating Skolem. UNSPECIFIED. (In Press)

Muller, F.A. (2003) The Implicit Definition of the Set-Concept. UNSPECIFIED. (In Press)

Muller, F.A. (2001) Sets, Classes and Categories. UNSPECIFIED.

N

Newton, da Costa and Federico, Holik (2013) A formal framework for the study of the notion of undefined particle number in quantum mechanics. [Preprint]

P

Page, Julien and Catren, Gabriel (2013) On the Galoisian Structure of Heisenberg Indeterminacy Principle. [Preprint]

Parker, Matthew W. (2008) Philosophical Method and Galileo's Paradox of Infinity. [Preprint]

Pashby, Thomas (2015) Understanding Russell's Response to Newman. In: UNSPECIFIED.

Patton, Lydia (2014) Hilbert's objectivity. [Published Article or Volume]

Petrov, Assen (2008) Ten Reasons for Pursuing Multi-Commutative Quantum Theories. [Preprint]

Pincock, Chris (2009) Abstract Representations and Confirmation. In: UNSPECIFIED.

Pitts, J. Brian (2007) Absolute Objects, Counterexamples and General Covariance. In: UNSPECIFIED.

Pitts, J. Brian (2009) Gauge-Invariant Localization of Infinitely Many Gravitational Energies from All Possible Auxiliary Structures. [Preprint]

Pitts, J. Brian (2009) Gauge-Invariant Localization of Infinitely Many Gravitational Energies from All Possible Auxiliary Structures. [Preprint]

Pitts, J. Brian (2011) The Nontriviality of Trivial General Covariance: How Electrons Restrict 'Time' Coordinates, Spinors (Almost) Fit into Tensor Calculus, and 7/16 of a Tetrad Is Surplus Structure. [Preprint]

Pitts, J. Brian (2015) Space-time Philosophy Reconstructed via Massive Nordström Scalar Gravities? Laws vs. Geometry, Conventionality, and Underdetermination. [Preprint]

Pitts, J. Brian (2013) Time and Fermions: General Covariance vs. Ockham's Razor for Spinors. [Published Article or Volume]

R

RODIN, Andrei (2011) DOING AND SHOWING. [Preprint]

ROVELLI, Carlo (2015) Michelangelo's Stone: an Argument against Platonism in Mathematics. [Preprint]

ROVELLI, Carlo (2015) Michelangelo’s Stone: an Argument against Platonism in Mathematics. [Preprint]

Rayo, Agustín (2015) Essence Without Fundamentality. [Published Article or Volume]

Redei, Miklos and Werndl, Charlotte (2011) On the history of the isomorphism problem of dynamical systems with special regard to von Neumann's contribution. [Preprint]

Rescher, Nicholas (2011) LEIBNIZ’S MACHINA DECIPHRATORIA. [Preprint]

Reutlinger, Alexander (2015) Is There A Monist Theory of Causal and Non-Causal Explanations? The Counterfactual Theory of Scientific Explanation. [Preprint]

Rocchi, Paolo and Gianfagna, Leonida (2002) PROBABILISTIC EVENTS AND PHYSICAL REALITY: A COMPLETE ALGEBRA OF PROBABILITY. [Preprint]

Rodin, Andrei (2009) Categories without structures. [Preprint]

Rodin, Andrei (2010) DID LOBACHEVSKY HAVE A MODEL OF HIS "IMAGINARY GEOMETRY"? [Preprint]

Rodin, Andrei (2008) Did Lobachevsky have a model of his Imaginary geometry? [Preprint]

Rodin, Andrei (2007) On Categorical Theory-Building: Beyond the Formal. [Preprint]

Rodin, Andrei (2009) Renewing Foundations - 1. [Preprint]

Rodin, Andrei (2006) Toward a Hermeneutic Categorical Mathematics or why Category theory does not support mathematical structuralism. [Preprint]

Rodin, Andrei (2014) On Constructive Axiomatic Method. [Preprint]

Rodin, Andrei (2016) Venus Homotopically. [Preprint]

Rynasiewicz, Robert and Steinert-Threlkeld, Shane and Suri, Vivek (2010) Mathematical Existence De-Platonized: Introducing Objects of Supposition in the Arts and Sciences. UNSPECIFIED.

Räz, Tim (2014) Mathematical Explanations in Euler’s Königsberg. [Preprint]

Räz, Tim (2013) On the Application of the Honeycomb Conjecture to the Bee’s Honeycomb. [Published Article or Volume]

Räz, Tim (2014) Say My Name. An Objection to Ante Rem Structuralism. [Preprint]

Räz, Tim and Sauer, Tilman (2015) Outline of a dynamical inferential conception of the application of mathematics. [Published Article or Volume]

S

Samaroo, Ryan (2015) Friedman's Thesis. [Preprint]

Sant'Anna, Adonai and Bueno, Otavio and da Costa, Newton (2014) A Set-Theoretic Predicate for Semantics in Natural and Formal Languages. [Preprint]

Santos-Sousa, Mario (2007) Natural Mathematics. In: UNSPECIFIED.

Schmaus, Warren (2014) Was Renouvier as Scientifically Conservative as Comte? In: UNSPECIFIED.

Scholz, Erhard (2014) Paving the way for transitions --- a case for Weyl geometry. [Preprint]

Slowik, Edward (2005) The Fate of Mathematical Place: Objectivity and the Theory of Lived-Space from Husserl to Casey. [Preprint]

Sprenger, Jan (2008) Evidence and Experimental Design in Sequential Trials. In: UNSPECIFIED.

Sprenger, Jan (2008) Evidence and Experimental Design in Sequential Trials. In: UNSPECIFIED.

Srinivasan, Radhakrishnan (2003) Comment on "On the logical consistency of special relativity theory and non-Euclidean geometries: Platonism versus formalism". [Preprint]

Srinivasan, Radhakrishnan (2002) Inertial frames, special relativity and consistency. [Preprint]

Srinivasan, Radhakrishnan (2003) On the logical consistency of special relativity theory and non-Euclidean geometries: Platonism versus formalism. [Preprint]

Srinivasan, Radhakrishnan (2003) Platonism in classical logic versus formalism in the proposed non-Aristotelian finitary logic. [Preprint]

Srinivasan, Radhakrishnan (2002) Quantum superposition justified in a new non-Aristotelian finitary logic. [Preprint]

Srinivasan, Radhakrishnan (2004) Quantum superposition principle justified in a new non-Aristotelian finitary logic. [Preprint]

Sterrett, Susan (2004) How Many Thoughts Can Fit in the Form of a Proposition? [Preprint]

Sterrett, Susan G. (1994) Frege and Hilbert on the Foundations of Geometry (1994 Talk). [Preprint]

Stoeltzner, Michael (2003) On Optimism and Opportunism in Applied Mathematics (Mark Wilson Meets John von Neumann on Mathematical Ontology). [Preprint]

Stoeltzner, Michael (2000) What Lakatos Could Teach the Mathematical Physicist. [Preprint]

Szabo, Laszlo E. (2012) Mathematical Facts in a Physicalist Ontology. [Published Article or Volume]

Szabo, Mate (2009) On Field's Nominalization of Physical Theories. [Preprint]

Székely, Gergely (2008) A Geometrical Characterization of the Twin Paradox and its Variants. [Preprint]

T

Teh, Nicholas and Lal, Raymond (2015) Categorical Generalization and Physical Structuralism. [Preprint]

Tran, Duc (2015) An examination for the Unexpected Hanging Paradox. [Preprint]

Tsementzis, Dimitris (2016) Univalent Foundations as Structuralist Foundations. [Preprint]

U

Uzquiano, Gabriel (2015) Editor’s Introduction. [Published Article or Volume]

V

Vickers, Peter (2007) Was the Early Calculus an Inconsistent Theory? [Preprint]

Vákár, Matthijs (2011) Principal Bundles and Gauge Theories. Universiteit Utrecht.

W

WILCZEK, Piotr (2009) An Algebraic Treatment of the Leibniz Law. [Preprint]

Weinstein, Steven (2003) Objectivity, information, and Maxwell's demon. [Preprint]

Werndl, Charlotte (2012) Evidence for the Deterministic or the Indeterministic Description? -- A Critique of the Literature about Classical Dynamical Systems. [Preprint]

Werndl, Charlotte (2009) The Formulation and Justification of Mathematical Definitions Illustrated By Deterministic Chaos. [Preprint]

Werndl, Charlotte (2009) Justifying Definitions in Mathematics—Going Beyond Lakatos. [Preprint]

Werndl, Charlotte (2014) On Defining Climate and Climate Change. [Preprint]

White, Michael J. (2010) Locke on Newton's Principia: Mathematics or Natural Philosophy? In: UNSPECIFIED.

Wilson, Mark (2007) Frege's Mathematical Setting. [Preprint]

Wilson, Mark (2007) Ghost World: A Context for Frege's Context Principle. [Preprint]

Y

Yanofsky, Noson and Zelcer, Mark (2013) Mathematics via Symmetry. [Preprint]

Z

Zach, Richard (2005) Hilbert's program then and now. [Preprint]

Zafiris, Elias (2003) Complex Systems from the Perspective of Category Theory: I. Functioning of the Adjunction Concept. UNSPECIFIED. (Unpublished)

Zafiris, Elias (2003) Complex Systems from the Perspective of Category Theory: II. Covering Systems and Sheaves. UNSPECIFIED. (Unpublished)

Zahedi, Ramin (A.) (2015) On Discrete Physics (Digital Philosophy/Digital Cosmology) and the Cellular Automaton: A Perfect Mathematical Deterministic Structure for Reality – as A Huge Computational Simulation. [Preprint]

Zednik, Carlos (2014) Heuristics, Descriptions, and the Scope of Mechanistic Explanation. [Preprint]

Š

Švarný, Petr (2012) Wally axiomatics of Branching Continuations. [Preprint]