Branchwise-real trees and bisimulations of potentialist systems

Branchwise-real trees and bisimulations of potentialist systems

<p>This thesis concerns two topics. The first treats R-trees, which are a certain kind of metric space tree in which every point can be branching. Favre and Jonsson posed the following problem in 2004: can the class of partial orders underlying R-trees be characterised by the fact that every b...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Adam-Day, S
Andre forfattere:	Hamkins, J
Format:	Thesis
Sprog:	English
Udgivet:	2023
Fag:	Forcing (Model theory) Combinatorial set theory Modality (Logic)

Lignende værker

Modalities and formal systems
af: Millar, P, et al.
Udgivet: (1969)

An examination of certain counterpart accounts
af: Milford, J
Udgivet: (2022)

A goal-directed decision procedure for hybrid PDL
af: Kaminski, M, et al.
Udgivet: (2014)

Handbook of modal logic /
af: Blackburn, Patrick, 1959-, et al.
Udgivet: (2007)

Modal logic : an Introduction to its syntax and semantics /
af: 374151 Cocchiarella, Nino B., et al.
Udgivet: (2008)

Algorithmic problems for subsemigroups of infinite groups
af: Dong, R
Udgivet: (2023)

Aspects of constructibility /
af: 389467 Devlin, Keith J.
Udgivet: (1973)

Logic and modality
af: Bevan, M
Udgivet: (2022)

Modal logic : The lewis-modal systems /
af: 423681 Zeman, J. Jay
Udgivet: (1973)

Proof methods for modal and intuitionistic logics /
af: Fitting, Melvin, 1942-
Udgivet: (1983)

A characterisation of open bisimilarity using an intuitionistic modal logic
af: Ahrn, Ki Yung, et al.
Udgivet: (2018)

Topics in monitoring and planning for embedded real-time systems
af: Ho, H
Udgivet: (2015)

Schaum's outline of theory and problems of set theory and related topics /
af: 361304 Lipschutz, Seymour
Udgivet: (1998)

Schaum's outline of theory and problems of set theory and related topics /
af: 361304 Lipschutz, Seymour
Udgivet: (1998)

A formalization of set theory without variables /
af: 319988 Tarski, Alfred, et al.
Udgivet: (1987)

An introduction to the numerical operators in primary schools /
af: 366455 Tran, Tu Nguyet, et al.
Udgivet: (1974)

Set theory and the continuum hypothesis /
af: 336426 Cohen, Paul J.
Udgivet: (1966)

Elements of logic and foundations of mathematics in problems /
af: 215296 Marek, Wiktor, et al.
Udgivet: (1982)

Compact systems of sets /
af: Pfanzagl, J. (Johann), et al.
Udgivet: (1966)

Forcing, arithmetic, division rings /
af: 250930 Hirschfeld, Joram, et al.
Udgivet: (1975)

An essay on aggregation theory and practices,
af: Kuh, Edwin
Udgivet: (2011)

Sets, models and recursion theory
Udgivet: (1967)

Logic, proof and sets /
af: 388844 Bittinger, Marvin L.
Udgivet: (1982)

Learning to reason : an introduction to logic, sets and relations /
af: Rodgers, Nancy, 1941-
Udgivet: (2000)

Reference and modality /
af: 391353 Linsky, Leonard

Fuzzification of systems : the genesis of fuzzy set theory and its initial applications - developments up to the 1970s /
af: Seising, Rudolf, 1961-
Udgivet: (2007)

The scene is set [filem]
Udgivet: (1972)

The scene is set [kasetvideo]
Udgivet: (1972)

Admissible sets and structures : an approach to definability theory /
af: 392603 Barwise, Jon
Udgivet: (1975)

Mathematical logic, the theory of algorithms and theory of sets /
af: Adjan, S.
Udgivet: (1977)

Notes on set theory /
af: 387499 Moschovakis, Yiannis N.
Udgivet: (2006)

Classical descriptive set theory /
af: Kechris, A. S., 1946-
Udgivet: (1995)

Fundamentals of contemporary set theory /
af: 389467 Devlin, Keith J.
Udgivet: (1979)

Teori set dan mantik /
af: 191098 Ali Abdul Rahman, et al.
Udgivet: (1999)

Elements of mathematics : theory of sets /
af: 343698 Bourbaki, Nicolas
Udgivet: (1968)

Conditioning by sets [filem]
Udgivet: (1969)

Elementary set theory [filem]
Udgivet: (1969)

Nonwellfounded sets and their applications /
af: 392603 Barwise, Jon
Udgivet: (1990)

Elementary set theory [kasetvideo]
Udgivet: (1969)

Gibbs states on countable sets /
Udgivet: (1974)